A Formal Semantics for Sequence Diagrams and a Strategy for System Analysis

Lucas Lima, Juliano Iyoda, Augusto Sampaio

Abstract

We propose a semantics for Sequence Diagrams based on the COMPASS Modelling Language (CML): a formal specification language to model systems of systems. A distinguishing feature of our semantics is that it is defined as part of a larger effort to define the semantics of several diagrams of SysML, a UML profile for systems engineering. We have defined a fairly comprehensive semantics for Sequence Diagrams, which comprises sequential and parallel constructors, loops, breaks, alternatives, synchronous and asynchronous messages. We illustrate our semantics with a scenario of a case study of a system of systems. We also discuss an analysis strategy which involves an integrated view of several diagrams.

References

  1. Cavarra, A. and K├╝ster-Filipe, J. (2005). Combining sequence diagrams and ocl for liveness. Electron. Notes Theor. Comput. Sci., 115:19-38.
  2. Cengarle, M. V. and Knapp, A. (2005). Operational semantics of UML 2.0 interactions. Technical report, Technische Universitt Mnchen and Ludwig-Maximilians Universitt Mnchen.
  3. Dan, L. and Danning, L. (2010). Towards a formal behavioral semantics for UML interactions. In Proceedings of the 2010 Third International Symposium on Information Science and Engineering, ISISE 7810, pages 213-218. IEEE.
  4. Eichner, C., Fleischhack, H., Meyer, R., Schrimpf, U., and Stehno, C. (2005). Compositional semantics for UML 2.0 sequence diagrams using Petri Nets. In SDL Forum, volume 3530 of LNCS, pages 133-148. Springer.
  5. Fitzgerald, J. and Larsen, P. G. (2009). Modelling Systems: Practical Tools and Techniques in Software Development. Cambridge University Press.
  6. Gongzheng, L. and Guangquan, Z. (2010). An approach to check the consistency between the UML 2.0 dynamic 2Artisan Studio at http://www.atego.com/products/artisanstudio/ 3http://www.ines.org.br diagrams. In 5th International Conference on Computer Science and Education (ICCSE), 2010, pages 1913 -1917.
  7. Haugen, O., Husa, K. E., Runde, R. K., and Stolen, K. (2005). Stairs towards formal design with sequence diagrams. Software and System Modeling, 4(4):355- 367.
  8. Hoare, C. A. R. (1985). Communicating and Sequential Processes. Prentice Hall.
  9. Jamshidi, M. and Jamshidi, M. (2009). Systems of Systems Engineering: Principles and Applications. CRC PressINC.
  10. Knapp, A. and Wuttke, J. (2007). Model checking of UML 2.0 interactions. In Models in Software Engineering, volume 4364 of LNCS, pages 42-51. Springer Berlin Heidelberg.
  11. Lund, M. S. (2007). Operational analysis of sequence diagram specifications. Ph.D. Thesis, University of Oslo.
  12. Micskei, Z. and Waeselynck, H. (2011). The many meanings of uml 2 sequence diagrams: a survey. Softw. Syst. Model., 10(4):489-514.
  13. Miyazawa, A., Lima, L., Cornelio, M., Iyoda, J., and Cavalcanti, A. (2013). Final Report on Combining SysML and CML. Technical Report D22.4, COMPASS Deliverable.
  14. Object Management Group (2012). OMG Systems Modeling Language (OMG SysMLT M ). Technical report, Object Management Group. OMG Document Number: formal/12-06-02.
  15. OMG (2005). MOF QVT Final Adopted Specification. OMG.
  16. Rasch, H. and Wehrheim, H. (2003). Checking consistency in UML diagrams: Classes and state machines. In Formal Methods for Open Object-Based Distributed Systems, volume 2884 of LNCS, pages 229-243. Springer Berlin / Heidelberg.
  17. Storrle, H. (2004). Trace semantics of interactions in uml 2.0. Technical report, Institut fr Informatik, LudwigMaximilians-Universitt Mnchen.
  18. Woodcock, J., Cavalcanti, A., Coleman, J., Didier, A., Larsen, P. G., Miyazawa, A., and Oliveira, M. (2012). CML Definition 0. Technical Report D23.1, COMPASS Deliverable.
Download


Paper Citation


in Harvard Style

Lima L., Iyoda J. and Sampaio A. (2014). A Formal Semantics for Sequence Diagrams and a Strategy for System Analysis . In Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-007-9, pages 317-324. DOI: 10.5220/0004711603170324


in Bibtex Style

@conference{modelsward14,
author={Lucas Lima and Juliano Iyoda and Augusto Sampaio},
title={A Formal Semantics for Sequence Diagrams and a Strategy for System Analysis},
booktitle={Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2014},
pages={317-324},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004711603170324},
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 - A Formal Semantics for Sequence Diagrams and a Strategy for System Analysis
SN - 978-989-758-007-9
AU - Lima L.
AU - Iyoda J.
AU - Sampaio A.
PY - 2014
SP - 317
EP - 324
DO - 10.5220/0004711603170324