Automated Composition of Sequence Diagrams via Alloy

Mohammed Alwanain, Behzad Bordbar, Juliana K. F. Bowles

2014

Abstract

Design of large systems often involves the creation of models that describe partial specifications. Model composition is the process of combining partial models to create a single coherent model. This paper presents an automatic composition technique for creating a sequence diagram from partial specifications captured in multiple sequence diagrams with the help of Alloy. Our contribution is twofold: a novel true-concurrent semantics for sequence diagram composition, and a model-driven transformation of sequence diagrams onto Alloy that preserves the semantics of composition defined. We have created a tool called SD2Alloy that implements the automated technique and works as follows: two given sequence diagrams are transformed in two Alloy models, and then combined according to a set of logical constraints, determined by our compositional semantics, into a final composed Alloy model. The technique can also be used to detect problems and inconsistencies in the composition of diagrams.

References

  1. Akehurst, D., Bordbar, B., Evans, M., Howells, W., and McDonald-Maier, K. (2006). SiTra: Simple transformations in Java. In MoDELS'06, LNCS 4199, pages 351-364. Springer.
  2. Araújo, J., Whittle, J., and Kim, D. (2004). Modeling and composing scenario-based requirements with aspects. In RE 2004, pages 58-67. IEEE.
  3. Berre, D. L. and Parrain, A. (2010). The SAT4j library, release 2.2 - system description. Journal on Satisfiability, Boolean Modeling and Computation, 7:59-64.
  4. Anastasakis, K., Bordbar, B., Georg, G., and Ray, I. (2007). UML2Alloy: A challenging model transformation. In Model Driven Engineering Languages and Systems, pages 436-450. Springer.
  5. Harel, D. and Marelly, R. (2003). Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer.
  6. Jackson, D. (2006). Software Abstractions: logic, language and analysis. MIT Press.
  7. Kleppe, A., Warmer, J., and Bast, W. (2003). MDA Explained: The model driven architecture: practice and promise. Addison-Wesley.
  8. Küster-Filipe, J. (2006). Modelling concurrent interactions. Theoretical Computer Science, 351:203-220.
  9. Küster-Filipe, J. and Bordbar, B. (2007). A formal model for integrating multiple views. In ACSD 2007, pages 71-79. IEEE.
  10. Lanusse, A., Tanguy, Y., Espinoza, H., Mraidha, C., Gerard, S., Tessier, P., Schnekenburger, R., Dubois, H., Liang, H., Diskin, Z., Dingel, J., and Posse, E. (2008). A general approach for scenario integration. In MoDELS'08, LNCS 5301, pages 204-218. Springer.
  11. Micskei, Z. and Waeselynck, H. (2011). The many meanings of UML 2 sequence diagrams: a survey. Software and Systems Modeling, 10:489-514.
  12. OMG (2011). UML: Superstructure. Version 2.4.1. OMG, http://www.omg.org. Document id: formal/2011-08- 06. [accessed 1-6-2012].
  13. Rosa, M. L., Dumas, M., Uba, R., and Dijkman, R. (2010). Merging business process models. On the Move to Meaningful Internet Systems: OTM 2010, pages 96- 113.
  14. Rubin, J., Chechik, M., and Easterbrook, S. (2008). Declarative approach for model composition. In MiSE'08, pages 7-14. ACM.
  15. Widl, M., Biere, A., Brosch, P., Egly, U., Heule, M., Kappel, G., Seidl, M., and Tompits, H. (2013). Guided merging of sequence diagrams. In SLE 2012, LNCS 7745, pages 164-183. Springer.
  16. Winskel, G. and Nielsen, M. (1995). Models for Concurrency. In Abramsky, S., Gabbay, D., and Maibaum, T., editors, Handbook of Logic in Computer Science, Vol. 4, Semantic Modelling, pages 1-148. Oxford Science Publications.
Download


Paper Citation


in Harvard Style

Alwanain M., Bordbar B. and K. F. Bowles J. (2014). Automated Composition of Sequence Diagrams via Alloy . In Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-007-9, pages 384-391. DOI: 10.5220/0004715003840391


in Bibtex Style

@conference{modelsward14,
author={Mohammed Alwanain and Behzad Bordbar and Juliana K. F. Bowles},
title={Automated Composition of Sequence Diagrams via Alloy},
booktitle={Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2014},
pages={384-391},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004715003840391},
isbn={978-989-758-007-9},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Automated Composition of Sequence Diagrams via Alloy
SN - 978-989-758-007-9
AU - Alwanain M.
AU - Bordbar B.
AU - K. F. Bowles J.
PY - 2014
SP - 384
EP - 391
DO - 10.5220/0004715003840391