Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Proceedings of the 25th International Conference on Software Engineering
Support for Evolving Software Architectures in the ArchWare ADL
WICSA '04 Proceedings of the Fourth Working IEEE/IFIP Conference on Software Architecture
SaveCCM - A Component Model for Safety-Critical Real-Time Systems
EUROMICRO '04 Proceedings of the 30th EUROMICRO Conference
Hi-index | 0.00 |
The paper proposes an approach to light-weight formal specification for interfaces, connectors, contracts and integration of component systems based on UML 2.0 superstructure. Both of static and dynamic contracts are provided with formal models. Dynamic contract can be verified through finding a legal environment in an optimistical way for the integrated components, whose contracts are depicted with interface protocol state machines. The consistency for component refinement is also studied. These formal models form the foundation for model checking, compositional reasoning, and real-time architecture development of component-based safety critical systems.