Abstract
We propose to map functional system requirements, specified with SysML, directly into system architecture, by exploiting the composition relation between component interfaces. Our research challenge is to guarantee formally that the final system fulfill the set of all requirements. Our approach is based on component-based systems (CBS) specified with SysML models and Interface Automata (IA) to capture their behaviors. From a SysML Requirement Diagram (RD), we build a Block Definition Diagram (BDD) to specify system architecture, by taking, one by one, the lowest level of requirements. At each new added requirement, we add a new component satisfying this requirement, by the composition, in the partial architecture obtained in a precedent step. Then we verify whether the new component is compatible with the components in the partial architecture, and if the requirements are preserved.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Van Lamsweerde, A.: From system goals to software architecture. Formal Methods for Software Architectures, 25–43 (2003)
Barais, O., Duchien, L., Le Meur, A.F.: A framework to specify incremental software architecture transformations. In: EUROMICRO Conference SEAA, pp. 62–69 (2005)
Dromey, R.G.: From requirements to design: Formalizing the key steps. In: Software Engineering and Formal Methods, pp. 2–11 (2003)
Dromey, R.G.: Architecture as an emergent property of requirements integration. In: Second International SofTware Requirements to Architectures Workshop, pp. 77–84 (2003)
Lau, K.-K., Nordin, A., Rana, T., Taweel, F.: Constructing component-based systems directly from requirements using incremental composition. In: Proc. 36th EUROMICRO Conference SEAA, pp. 85–93. IEEE (2010)
The Object Mangagement Group (OMG): OMG Systems Modeling Language Specification Version 1.2. (2010), http://www.omg.org/spec/SysML/1.2/
de Alfaro, L., Henzinger, T.A.: Interface automata. In: ESEC/SIGSOFT FSE, pp. 109–120 (2001)
Carrillo, O., Chouali, S., Mountassir, H.: Formalizing and verifying compatibility and consistency of sysml blocks. SIGSOFT Softw. Eng. Notes 37(4), 1–8 (2012)
Chouali, S., Hammad, A.: Formal verification of components assembly based on sysml and interface automata. ISSE 7(4), 265–274 (2011)
Lee, E.A., Xiong, Y.: A behavioral type system and its application in ptolemy II. Formal Aspects of Computing 16(3), 210–237 (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chouali, S., Carrillo, O., Mountassir, H. (2013). Specifying System Architecture from SysML Requirements and Component Interfaces. In: Drira, K. (eds) Software Architecture. ECSA 2013. Lecture Notes in Computer Science, vol 7957. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-39031-9_36
Download citation
DOI: https://doi.org/10.1007/978-3-642-39031-9_36
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-39030-2
Online ISBN: 978-3-642-39031-9
eBook Packages: Computer ScienceComputer Science (R0)