Abstract
As modern systems become more complex, design approaches model different aspects of the system separately. When considering (intra and inter) system interactions, it is usual to model individual scenarios using UML’s sequence diagrams. Given a set of scenarios we then need to check whether these are consistent and can be combined for a better understanding of the overall behaviour. This paper addresses this by presenting a novel formal technique for composing behavioural models at the metamodel level through exact metamodel restriction (EMR). In our approach a sequence diagram can be completely described by a set of logical constraints at the metamodel level. When composing sequence diagrams we take the union of the sets of logical constraints for each diagram and additional behavioural constraints that describe the matching composition glue. A formal semantics for composition in accordance with the glue guides our model transformation to Alloy. Alloy’s fully automated constraint solver gives us the solution. Our technique has been implemented as an Eclipse plugin SD2Alloy.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Allen, R., Garlan, D.: Formalizing architectural connection. In: ICSE 1994, pp. 71–80. IEEE Computer Society Press (1994)
Alwanain, M., Bordbar, B., Bowles, J.: Automated composition of sequence diagrams via alloy. In: Pires, L., Hammoudi, S., Filipe, J., das Neves, R. (eds.) MODELSWARD 2014, pp. 384–391. SciTePress (2014)
Araújo, J., Whittle, J.: Aspect-oriented compositions for dynamic behavior models. In: Moreira, A., Chitchyan, R., Araújo, J., Rashid, A. (eds.) Aspect-Oriented Requirements Engineering, pp. 45–60. Springer, Heidelberg (2013)
Araújo, J., Whittle, J., Kim, D.: Modeling and composing scenario-based requirements with aspects. In: RE 2004, pp. 58–67. IEEE Computer Society Press (2004)
Berre, D.L., Parrain, A.: The SAT4j library, release 2.2 - system description. J. Satisfiability, Boolean Model. Comput. 7, 59–64 (2010)
Bowles, J., Bordbar, B.: A formal model for integrating multiple views. In: ACSD 2007, pp. 71–79. IEEE Computer Society Press (2007)
Chechik, M., Nejati, S., Sabetzadeh, M.: A relationship-based approach to model integration. Innovations Syst. Softw. Eng. 8(1), 3–18 (2012)
Fiadeiro, J.L., Lopes, A., Wermelinger, M.: Chapter 5. A mathematical semantics for architectural connectors. In: Backhouse, R., Gibbons, J. (eds.) Generic Programming. LNCS, vol. 2793, pp. 178–221. Springer, Heidelberg (2003)
Grønmo, R., Runde, R., Møller-Pedersen, B.: Confluence of aspects for sequence diagrams. Softw. Syst. Model. 12(4), 789–824 (2013)
Grønmo, R., Sørensen, F., Møller-Pedersen, B., Krogdahl, S.: Semantics-based weaving of UML sequence diagrams. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol. 5063, pp. 122–136. Springer, Heidelberg (2008)
Harel, D., Marelly, R.: Come, Let’s Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer, Heidelberg (2003)
Jackson, D.: Software Abstractions: Logic. Language and Analysis. MIT Press, Cambridge (2006)
Klein, J., Hélouët, L., Jézéquel, J.: Semantic-based weaving of scenarios. In: AOSD 2006, pp. 27–38. ACM (2006)
Küster-Filipe, J.: Modelling concurrent interactions. Theoret. Comput. Sci. 351, 203–220 (2006)
Liang, H., Diskin, Z., Dingel, J., Posse, E.: A general approach for scenario integration. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 204–218. Springer, Heidelberg (2008)
Micskei, Z., Waeselynck, H.: The many meanings of UML 2 sequence diagrams: a survey. Softw. Syst. Model. 10, 489–514 (2011)
OMG: UML: Superstructure. Version 2.4.1. OMG, document id: formal/2011-08-06 (2011). http://www.omg.org. Accessed 6 January 2012
Reddy, R., Solberg, A., France, R., Ghosh, S.: Composing sequence models using tags. In: Proceedings of MoDELS Workshop on Aspect Oriented Modeling (2006)
Rubin, J., Chechik, M., Easterbrook, S.: Declarative approach for model composition. In: MiSE 2008, pp. 7–14. ACM (2008)
Whittle, J., Araújo, J., Moreira, A.: Composing aspect models with graph transformations. In: Proceedings of the 2006 International Workshop on Early Aspects at ICSE, pp. 59–65. ACM (2006)
Widl, M., Biere, A., Brosch, P., Egly, U., Heule, M., Kappel, G., Seidl, M., Tompits, H.: Guided merging of sequence diagrams. In: Czarnecki, K., Hedin, G. (eds.) SLE 2012. LNCS, vol. 7745, pp. 164–183. Springer, Heidelberg (2013)
Winskel, G., Nielsen, M.: Models for concurrency. In: Abramsky, S., Gabbay, D., Maibaum, T. (eds.) Handbook of Logic in Computer Science, Semantic Modelling, vol. 4, pp. 1–148. Oxford Science Publications, Oxford (1995)
Zhang, D., Li, S., Liu, X.: An approach for model composition and verification. In: NCM 2009, pp. 1102–1107. IEEE Computer Society Press (2009)
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
Bowles, J.K.F., Bordbar, B., Alwanain, M. (2015). A Logical Approach for Behavioural Composition of Scenario-Based Models. 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_16
Download citation
DOI: https://doi.org/10.1007/978-3-319-25423-4_16
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)