Symbolic execution techniques for test purpose definition
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
Symbolic model based testing for component oriented systems
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
Unambiguous UML composite structures: the OMEGA2 experience
SOFSEM'11 Proceedings of the 37th international conference on Current trends in theory and practice of computer science
Innovations in Systems and Software Engineering
| Hi-index | 0.00 |
UML2 composite structures are a natural solution for the basic modeling issues associated with component-oriented approaches. They provide mechanisms for defining reusable "pieces" of design, which are well-encapsulated through explicit interaction ports. While intuitive in principle, the semantics of request propagation across ports may cause semantic ambiguities if the composition mechanisms are not used consistently, thus leading to meaningless composite structures (that cannot be safely reused within the context of a particular environment). To ensure consistent usage, this article proposes an empirical study that provides an intuitive description of composite structure semantics focusing on request propagations across ports. It supplements this description by highlighting cases conducive to semantic ambiguities and offers practical solutions and a rationale for building composite structures that avoid them. Among possible solutions, the opportuneness of encapsulating explicit behaviors in ports is discussed.