A Contractual Specification of Functional and Non-Functional Requirements of Domain-Specific Components
Unlike traditional software engineering that aims to satisfy the requirements of a single system, domain-specific component-based engineering focuses on providing reusable solution for a family of systems. To be adopted in a safety-critical environment it must handle quality requirements and offer mechanisms to ensure the reliability level of the components and the system. For this purpose, the contract-based approach is a lightweight formal method for designing and specifying systems requirements, it can be introduced in an early stage during the design phase.
In this paper, we present a multilevel contract model and a domain-specific modeling language that aims to address reliability and quality issues for component oriented systems by expressing and specifying a set of its properties and constraints.
Keywords: Contract, Domain-Specific Components, Domain-Specific Language, Feature-Oriented Domain Analysis.
Download Full-Text
ABOUT THE AUTHORS
Maryem Rhanoui
IMS Team, SIME Laboratory, ENSIAS, Mohammed V Souissi University
Bouchra El Asri
IMS Team, SIME Laboratory, ENSIAS, Mohammed V Souissi University
Maryem Rhanoui
IMS Team, SIME Laboratory, ENSIAS, Mohammed V Souissi University
Bouchra El Asri
IMS Team, SIME Laboratory, ENSIAS, Mohammed V Souissi University