Formal Component Model Framework

ZHANG Xiaodong,CHAI Yueting,REN Shouju

DOI: https://doi.org/10.3321/j.issn:1000-0054.2000.03.017

2000-01-01

Abstract:Component theories are becoming more and more important in software engineering. A formal component model framework, which employs partial order event multisets rather than formal languages to describe the behavior patterns of components, was proposed to standardize components specifications and designs. Both sequentially controlled components and concurrently controlled components can be dealt with in a consistent way under this framework. The concepts of component model, task contract and system model, in combination with the verification approaches of component completeness, services satisfiability and system consistency, can be directly used to guide the design of simulation algorithms for in a components supporting environment.