Skip to main content
SpringerLink
Log in

Semantic Foundations of SysML Activity Diagrams

  • Chapter
  • First Online:
Verification and Validation in Systems Engineering

  • 2824 Accesses

Abstract

In this chapter, we propose to study the semantic foundations of SysML activity diagrams. A formalization of the semantics will allow us to build a sound and rigorous framework for the V&V of design models expressed using these diagrams. To this end, we design a dedicated formal language, called activity calculus (AC), used in order to mathematically express and analyze the behaviors captured by SysML activity diagrams.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 89.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 139.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 139.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. L. Aceto, W. J. Fokkink, and C. Verhoef. Structural Operational Semantics, chapter 3, pages 197–292. In Bergstra, J. A., Ponse, A., and Smolka, S. A., editors, Handbook of Process Algebra. Elsevier Science, Amsterdam, 2001.

    Chapter  Google Scholar 

  2. E. Best, R. Devillers, and M. Koutny. Petri Net Algebra. Springer, New York, NY, USA, 2001.

    Google Scholar 

  3. D. Flater, P. A. Martin, and M. L. Crane. Rendering UML Activity Diagrams as Human-Readable Text. Technical Report NISTIR 7469, National Institute of Standards and Technology (NIST), November 2007.

    Google Scholar 

  4. Object Management Group. OMG Systems Modeling Language (OMG SysML) Specification v1.0, September 2007. OMG Available Specification.

    Google Scholar 

  5. Object Management Group. OMG Unified Modeling Language: Superstructure 2.1.2, November 2007.

    Google Scholar 

  6. G. D. Plotkin. A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, University of Aarhus, 1981.

    Google Scholar 

  7. F. Scuglík. Relation Between UML2 Activity Diagrams and CSP Algebra. WSEAS Transactions on Computers, 4(10):1234–1240, 2005.

    Google Scholar 

  8. H. Störrle. Semantics of Control-Flow in UML 2.0 Activities. In 2004 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2004), pages 235–242, Rome, Italy, 2004. IEEE Computer Society.

    Google Scholar 

  9. H. Störrle. Semantics and Verification of Data Flow in UML 2.0 Activities. Electrical Notes in Theoretical Computer Science, 127(4):35–52, 2005.

    Article  Google Scholar 

  10. N. Tabuchi, N. Sato, and H. Nakamura. Model-Driven Performance Analysis of UML Design Models Based on Stochastic Process Algebra. In the Proceedings of the First European Conference on Model Driven Architecture – Foundations and Applications (ECMDA-FA), volume 3748 of Lecture Notes in Computer Science, pages 41–58, 2005. Springer, Berlin.

    Google Scholar 

  11. M. Tribastone and S. Gilmore. Automatic Translation of UML Sequence Diagrams into PEPA Models. In the Proceedings of the Fifth International Conference on Quantitative Evaluation of Systems September 2008 (QEST), St Malo, France, pages 205–214. IEEE Press, 2008.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Security Laboratory, Faculty of Engineering and Computer Science, Concordia Institute for Information Systems Engineering (CIISE), Concordia University, 1455, Boulevard de Maisonneuve West, EV 7-642, Montreal, Quebec, H3G 1M8, Canada

    Dr. Mourad Debbabi, Dr. Yosr Jarraya & Andrei Soeanu

  2. Capabilities for Asymmetric and Radiological Defence and Simulation, Defence Research and Development Canada – Ottawa, 3701 Carling Avenue, Ottawa, ON, Canada, K1A 0Z4

    Dr. Fawzi Hassaïne

  3. Department of Electrical and Computer Engineering, Faculty of Engineering and Computer Science, Concordia University, 1455, Boulevard de Maisonneuve West, EV 13-173, Montreal, Quebec, H3G 1M8, Canada

    Luay Alawneh

Authors
  1. Dr. Mourad Debbabi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Dr. Fawzi Hassaïne
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Dr. Yosr Jarraya
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Andrei Soeanu
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Luay Alawneh
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Mourad Debbabi .

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Debbabi, M., Hassaïne, F., Jarraya, Y., Soeanu, A., Alawneh, L. (2010). Semantic Foundations of SysML Activity Diagrams. In: Verification and Validation in Systems Engineering. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15228-3_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-15228-3_11

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-15227-6

  • Online ISBN: 978-3-642-15228-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation