On the meaning of SysML activity diagrams

Proceedings of the International Symposium and Workshop on Engineering of Computer Based Systems

Volumn , Issue , 2009, Pages 95-105

  Jarraya, Yosr ^a   Debbabi, Mourad ^a   Bentahar, Jamal ^a  

^a Concordia University ^*  (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ACTIVITY DIAGRAM; ADVANCED CONTROL; CONCURRENT CONTROL; CONTROL FLOWS; OPERATIONAL SEMANTICS; PROBABILISTIC BEHAVIOR; SYSTEMS DESIGN; VERIFICATION AND VALIDATION;

CONCURRENCY CONTROL; GRAPHIC METHODS; SEMANTICS;

SYSTEMS ANALYSIS;

EID: 67650272815     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ECBS.2009.25     Document Type: Conference Paper

References (24)

1. INCOSE Technical Board, "INCOSE Systems Engineering Handbook - A "What To" Guide for all Systems Engineering Practitioners," INCOSE, Technical Report TP-2003-016-02, June 2004.
2. Object Management Group, OMG Systems Modeling Language (OMG SysML) Available Specification 1.0, September 2007.
3. C. Bock, "UML 2 Activity Model Support for Systems Engineering Functional Flow Diagrams," Journal of the International Council on Systems Engineering, vol. 6, no. 4, pp. 123-137, October 2003.
4. R. W. S. Rodrigues, "Formalising UML Activity Diagrams Using Finite State Processes," Online Proceedings of UML 2000 Workshop on Dynamic Behaviour in UML Models: Semantic Questions, 2000.
5. D. Yang and S. sheng Zhang, "Using π-Calculus to Formalize UML Activity Diagram for Business Process Modeling," in the 10th International Conference and Workshop on the Engineering of Computer Based Systems (ECBS), 2003, pp. 47-54.
6. F. Scuglík, "Relation Between UML 2 Activity Diagrams and CSP Algebra," WSEAS Transactions on Computers, vol. 4, no. 10, pp. 1234-1240, 2005.
7. N. Tabuchi, N. Sato, and H. Nakamura, "Model-Driven Performance Analysis of UML Design Models Based on Stochastic Process Algebra," in Proceedings of the European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA), ser. Lecture Notes in Computer Science, A. Hartman and D. Kreische, Eds., vol. 3748. Springer, 2005, pp. 41-58.
8. H. Störrle, " Semantics of Control-Flow in UML 2.0 Activities," in IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC). Rome, Italy: IEEE Computer Society, 2004, pp. 235-242.
9. H. Storrle, "Semantics of Exceptions in UML 2.0 Activities," Ludwig-Maximilians-Universität München, Institut für Informatik, Tech. Rep. 0403, 2004.
10. H. Störrle, "Semantics and Verification of Data Flow in UML 2.0 Activities," Electronic Notes in Theoretical Computer Science, vol. 127, no. 4, pp. 35-52, 2005.
11. Object Management Group, OMG Unified Modeling Language: Superstructure 2.1, April 2006.
12. H. Störrle and J. H. Hausmann, "Towards a Formal Semantics of UML 2.0 Activities," in Software Engineering, ser. LNI, P. Liggesmeyer, K. Pohl, and M. Goedicke, Eds., vol. 64. GI, 2005, pp. 117-128.
13. G. D. Plotkin, "A Structural Approach to Operational Semantics," University of Aarhus, Technical Report DAIMI FN-19, 1981.
14. Y. Jarraya, A. Soeanu, M. Debbabi, and F. Hassaïne, "Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams," in the Proceedings of the 14th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems(ECBS'07), 26-29 March, Tucson, AZ, U.S.A. IEEE Computer Society, 2007, pp. 515-522.
15. D. Flater, P. A. Martin, and M. L. Crane, "Rendering UML Activity Diagrams as Human-Readable Text," National Institute of Standards and Technology (NIST), Technical Report NISTIR 7469, November 2007.
16. A. Viehl, T. Schänwald, O. Bringmann, and W. Rosenstiel, "Formal Performance Analysis and Simulation of UML/SysML Models for ESL Design," in the Proceedings of the Conference on Design, Automation and Test in Europe (DATE). European Design and Automation Assoc., 2006, pp. 242-247.
17. E. Böger, A. Cavarra, and E. Riccobene, "An ASM Semantics for UML Activity Diagrams," in the Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology (AMAST). London, UK: Springer-Verlag, 2000, pp. 293-308.
18. J. P. López-Grao, J. Merseguer, and J. Campos, "From UML Activity Diagrams to Stochastic Petri Nets: Application to Software Performance Engineering," ACM SIGSOFT Software Engineering Notes, vol. 29, no. 1, pp. 25-36, 2004.
19. S. Sarstedt and W. Guttmann, "An ASM Semantics of Token Flow in UML 2 Activity Diagrams," in Ershov Memorial Conference, ser. Lecture Notes in Computer Science, I. Virbitskaite and A. Voronkov, Eds., vol. 4378. Springer, 2006, pp. 349-362.
20. B. Dénes and R. Heckel, "Rule-Level Verification of Business Process Transformations using CSP," in Proceedings of the Sixth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT), K. Ehrig and H. Giese, Eds., vol. 6, United Kingdom, May 2007, pp. 13-27.
21. J. H. Hausmann, "Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Languages," Ph.D. dissertation, University Paderborn, 2005.
22. J. Misra and W. R. Cook, "Computation Orchestration," Software and Systems Modeling, vol. 6, no. 1, pp. 83-110, 2007.
23. E. Best, R. Devillers, and M. Koutny, Petri Net Algebra. New York, NY, USA: Springer-Verlag New York, Inc., 2001.
24. M. Kwiatkowska, G. Norman, and D. Parker, "Quantitative Analysis with the Probabilistic Model Checker PRISM," Electronic Notes in Theoretical Computer Science, vol. 153, no. 2, pp. 5-31, 2005.