Abstract
In this work, we propose a semantics for Activity Diagrams based on the COMPASS Modelling Language (CML): a formal specification language to model systems which is based on the CSP and VDM specification languages. 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 Activity Diagrams, which comprises action, object and control nodes constructors, control and object flow, interruptible regions among other features. We illustrate our semantics with diagrams of an emergency response system. We also discuss an analysis strategy which involves an integrated view of diagrams like block definition and state machines.
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
Preview
Unable to display preview. Download preview PDF.
References
Abdelhalim, I., Sharp, J., Schneider, S., Treharne, H.: Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP. In: Dong, J.S., Zhu, H. (eds.) ICFEM 2010. LNCS, vol. 6447, pp. 371–387. Springer, Heidelberg (2010)
INCOSE Technical Board. Systems engineering handbook. INCOSE-TP-2003-002-03 (2006)
Boufenara, S., Belala, F., Barkaoui, K.: Mapping uml 2.0 activities to zero-safe nets. Software Engineering & Applications (2010)
Davies, J., Crichton, C.: Concurrency and refinement in the unified modeling language. Formal Aspects of Computing 15(2-3), 118–145 (2003)
Fitzgerald, J., Larsen, P.G.: Modelling Systems: Practical Tools and Techniques in Software Development. Cambridge University Press (2009)
Friedenthal, S., Moore, A., Steiner, R.: A Practical Guide to SysML: The Systems Modeling Language, 2nd edn. Morgan Kaufmann Publishers Inc., San Francisco (2011)
Hoare, T., He, J.: Unifying Theories of Programming. Prentice Hall (1998)
Jarraya, Y., Debbabi, M., Bentahar, J.: On the meaning of sysml activity diagrams. In: Proceedings of the 2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, ECBS 2009, pp. 95–105. IEEE Computer Society, Washington, DC (2009)
Miyazawa, A., Lima, L., Cornelio, M., Iyoda, J., Cavalcanti, A.: Final Report on Combining SysML and CML. Technical Report D22.4, COMPASS Deliverable (March 2013)
Object Management Group. OMG Unified Modeling Language (OMG UML), superstructure, version 2.4.1. Technical report, OMG (2011)
Object Management Group. OMG Systems Modeling Language (OMG SysMLTM). Technical report, Object Management Group, OMG Document Number: formal/12-06-02 (2012)
Raschke, A.: Translation of uml 2 activity diagrams into finite state machines for model checking. In: Proceedings of the 2009 35th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2009, pp. 149–154. IEEE Computer Society, Washington, DC (2009)
Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice Hall PTR, Upper Saddle River (1997)
Staines, T.S.: Intuitive mapping of uml 2 activity diagrams into fundamental modeling concept petri net diagrams and colored petri nets. In: Proceedings of the 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, ECBS 2008, pp. 191–200. IEEE Computer Society, Washington, DC (2008)
Varró, D., et al.: Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools. In: Schürr, A., Nagl, M., Zündorf, A., et al. (eds.) AGTIVE 2007. LNCS, vol. 5088, pp. 540–565. Springer, Heidelberg (2008)
Woodcock, J., Cavalcanti, A., Coleman, J., Didier, A., Larsen, P.G., Miyazawa, A., Oliveira, M.: CML Definition 0. Technical Report D23.1, COMPASS Deliverable (June 2012)
Woodcock, J., Cavalcanti, A., Fitzgerald, J., Larsen, P., Miyazawa, A., Perry, S.: Features of CML: a Formal Modelling Language for Systems of Systems. In: Proceedings of the 7th International Conference on System of System Engineering. IEEE Systems Journal, vol. 6 (2012)
Xu, D.: et al. Towards Formalizing UML Activity Diagrams in CSP. In: Proceedings of the 2008 International Symposium on Computer Science and Computational Technology, ISCSCT 2008, vol. 2, pp. 450–453. IEEE Computer Society, Washington, DC (2008)
Xu, D., Miao, H., Philbert, N.: Model Checking UML Activity Diagrams in FDR. In: ACIS International Conference on Computer and Information Science, pp. 1035–1040 (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lima, L., Didier, A., Cornélio, M. (2013). A Formal Semantics for SysML Activity Diagrams. In: Iyoda, J., de Moura, L. (eds) Formal Methods: Foundations and Applications. SBMF 2013. Lecture Notes in Computer Science, vol 8195. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-41071-0_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-41071-0_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-41070-3
Online ISBN: 978-3-642-41071-0
eBook Packages: Computer ScienceComputer Science (R0)