A Logical Approach for Behavioural Composition of Scenario-Based Models

  • Juliana Küster Filipe BowlesEmail author
  • Behzad Bordbar
  • Mohammed Alwanain
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9407)


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.


Sequence diagrams Behavioural composition Event structures Alloy 


  1. 1.
    Allen, R., Garlan, D.: Formalizing architectural connection. In: ICSE 1994, pp. 71–80. IEEE Computer Society Press (1994)Google Scholar
  2. 2.
    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)Google Scholar
  3. 3.
    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)CrossRefGoogle Scholar
  4. 4.
    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)Google Scholar
  5. 5.
    Berre, D.L., Parrain, A.: The SAT4j library, release 2.2 - system description. J. Satisfiability, Boolean Model. Comput. 7, 59–64 (2010)Google Scholar
  6. 6.
    Bowles, J., Bordbar, B.: A formal model for integrating multiple views. In: ACSD 2007, pp. 71–79. IEEE Computer Society Press (2007)Google Scholar
  7. 7.
    Chechik, M., Nejati, S., Sabetzadeh, M.: A relationship-based approach to model integration. Innovations Syst. Softw. Eng. 8(1), 3–18 (2012)CrossRefGoogle Scholar
  8. 8.
    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) CrossRefGoogle Scholar
  9. 9.
    Grønmo, R., Runde, R., Møller-Pedersen, B.: Confluence of aspects for sequence diagrams. Softw. Syst. Model. 12(4), 789–824 (2013)CrossRefGoogle Scholar
  10. 10.
    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) CrossRefGoogle Scholar
  11. 11.
    Harel, D., Marelly, R.: Come, Let’s Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  12. 12.
    Jackson, D.: Software Abstractions: Logic. Language and Analysis. MIT Press, Cambridge (2006)Google Scholar
  13. 13.
    Klein, J., Hélouët, L., Jézéquel, J.: Semantic-based weaving of scenarios. In: AOSD 2006, pp. 27–38. ACM (2006)Google Scholar
  14. 14.
    Küster-Filipe, J.: Modelling concurrent interactions. Theoret. Comput. Sci. 351, 203–220 (2006)MathSciNetCrossRefzbMATHGoogle Scholar
  15. 15.
    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) CrossRefGoogle Scholar
  16. 16.
    Micskei, Z., Waeselynck, H.: The many meanings of UML 2 sequence diagrams: a survey. Softw. Syst. Model. 10, 489–514 (2011)CrossRefGoogle Scholar
  17. 17.
    OMG: UML: Superstructure. Version 2.4.1. OMG, document id: formal/2011-08-06 (2011). Accessed 6 January 2012
  18. 18.
    Reddy, R., Solberg, A., France, R., Ghosh, S.: Composing sequence models using tags. In: Proceedings of MoDELS Workshop on Aspect Oriented Modeling (2006)Google Scholar
  19. 19.
    Rubin, J., Chechik, M., Easterbrook, S.: Declarative approach for model composition. In: MiSE 2008, pp. 7–14. ACM (2008)Google Scholar
  20. 20.
    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)Google Scholar
  21. 21.
    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) CrossRefGoogle Scholar
  22. 22.
    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)Google Scholar
  23. 23.
    Zhang, D., Li, S., Liu, X.: An approach for model composition and verification. In: NCM 2009, pp. 1102–1107. IEEE Computer Society Press (2009)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Juliana Küster Filipe Bowles
    • 1
    Email author
  • Behzad Bordbar
    • 2
  • Mohammed Alwanain
    • 2
  1. 1.School of Computer ScienceUniversity of St AndrewsSt AndrewsUK
  2. 2.School of Computer ScienceUniversity of BirminghamBirminghamUK

Personalised recommendations