Abstract
Regarding the increasing complexity of today’s systems, system engineering domain knows a constant evolution in term of processes and paradigms (Object Oriented, Component Oriented). SysML constitutes a new trends of system engineering which allows to model the system as a set of blocks. In this paper, we propose a bottom-up approach to build a system, based on its partial specifications. Our goal consists on proposing a methodology which allows to a system architect, in order to build a reliable system, to start from an abstract specification of a system, that we model as a SysML composite block, and then select a set of suitable blocks to meet this specification. The approach is based on reusing and adapting formally SysML blocks using a converter-complement block, which plays the role of a mediator between the reused blocks and the rest part of the system.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
OMG: OMG Systems Modeling Language (OMG SysML\(^{\rm {TM}}\)) Version 1.3 (2012). http://www.omg.org
de Alfaro L., Henzinger T.A.: Interface automata. In: ESEC/SIGSOFT FSE, pp. 109–120 (2001)
Inverardi, P., Tivoli, M.: Software architecture for correct components assembly. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol. 2804, pp. 92–121. Springer, Heidelberg (2003)
Poizat, P., Salaün, G., Tivoli, M.: An adaptation-based approach to incrementally build component systems. Electr. Notes Theor. Comput. Sci. 182, 155–170 (2007)
Chouali, S., Hammad, A.: Formal verification of components assembly based on SysML and interface automata. ISSE 7(4), 265–274 (2011)
Canal, C., Poizat, P., Salaün, G.: Adaptation de composants logiciels: une approche automatisée basée sur des expressions régulières de vecteurs de synchronisation. In: CAL, pp. 31–39. France, Nantes (2006)
Bracciali, A., Brogi, A., Canal, C.: A formal approach to component adaptation. J. Syst. Softw. 74(1), 45–54 (2005)
Karlsson, D., Eles, P., Peng, Z.: Formal verification of component-based designs. Design Autom. Emb. Syst. 11(1), 49–90 (2007)
Canal, C., Poizat, P., Salaün, G.: Synchronizing behavioural mismatch in software composition. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol. 4037, pp. 63–77. Springer, Heidelberg (2006)
Chouali, S., Mouelhi, S., Mountassir, H.: Adaptation sémantique des protocoles des composants par les automates d’interface. TSI, Technique et Science Informatiques 31(6), 769–796 (2012)
Carrillo, O., Chouali, S., Mountassir, H.: Formalizing and verifying compatibility and consistency of SysML blocks. ACM SIGSOFT Softw. Eng. Notes 37(4), 1–8 (2012)
Dahmani, D., Boukala, M.C., Mountassir, H.: A petri net approach for reusing and adapting components with atomic and non-atomic synchronisation. In: Proceedings of the International Workshop on Petri Nets and Software Engineering, pp. 129–141, Tunis, Tunisia (2014)
Canal, C., Salaün, G.: Adaptation of asynchronously communicating software. In: Franch, X., Ghose, A.K., Lewis, G.A., Bhiri, S. (eds.) ICSOC 2014. LNCS, vol. 8831, pp. 437–444. Springer, Heidelberg (2014)
Canal, C., Poizat, P., Salaün, G.: Model-based adaptation of behavioral mismatching components. IEEE Trans. Software Eng. 34(4), 546–563 (2008)
Bhaduri, P., Ramesh, S.: Interface synthesis and protocol conversion. Formal Asp. Comput. 20(2), 205–224 (2008)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Bouaziz, H., Chouali, S., Hammad, A., Mountassir, H. (2015). SysML Blocks Adaptation. In: Butler, M., Conchon, S., Zaïdi, F. (eds) Formal Methods and Software Engineering. ICFEM 2015. Lecture Notes in Computer Science(), vol 9407. Springer, Cham. https://doi.org/10.1007/978-3-319-25423-4_27
Download citation
DOI: https://doi.org/10.1007/978-3-319-25423-4_27
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-25422-7
Online ISBN: 978-3-319-25423-4
eBook Packages: Computer ScienceComputer Science (R0)