From UML state machines to Petri nets: History attribute translation strategies

IECON 2011 - 37th Annual Conference of the IEEE Industrial Electronics Society ◽

10.1109/iecon.2011.6119924 ◽

2011 ◽

Author(s):

Rui Pais ◽

Luis Gomes ◽

Joao Paulo Barros

Keyword(s):

State Machines ◽

Translation Strategies ◽

Uml State Machines ◽

History Attribute

Download Full-text

Formalizing non-concurrent UML state machines using colored petri nets

ACM SIGSOFT Software Engineering Notes ◽

10.1145/2237796.2237819 ◽

2012 ◽

Vol 37 (4) ◽

pp. 1-8 ◽

Author(s):

Étienne André ◽

Christine Choppy ◽

Kais Klai

Keyword(s):

Colored Petri Nets ◽

State Machines ◽

Uml State Machines

Download Full-text

Using UML state machines and petri nets for the quantitative investigation of ETCS

Proceedings of the 1st international conference on Performance evaluation methodolgies and tools - valuetools '06 ◽

10.1145/1190095.1190138 ◽

2006 ◽

Author(s):

J. Trowitzsch ◽

A. Zimmermann

Keyword(s):

State Machines ◽

Quantitative Investigation ◽

Uml State Machines

Download Full-text

Formalising concurrent UML state machines using coloured Petri nets

Formal Aspects of Computing ◽

10.1007/s00165-016-0388-9 ◽

2016 ◽

Vol 28 (5) ◽

pp. 805-845 ◽

Author(s):

Étienne André ◽

Mohamed Mahdi Benmoussa ◽

Christine Choppy

Keyword(s):

Coloured Petri Nets ◽

State Machines ◽

Uml State Machines

Download Full-text

Translating UML State Machines to Coloured Petri Nets Using Acceleo: A Report

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.150.1 ◽

2014 ◽

Vol 150 ◽

pp. 1-7 ◽

Author(s):

Étienne André ◽

Mohamed Mahdi Benmoussa ◽

Christine Choppy

Keyword(s):

Coloured Petri Nets ◽

State Machines ◽

Uml State Machines

Download Full-text

Formalising Concurrent UML State Machines Using Coloured Petri Nets

Advances in Intelligent Systems and Computing - Knowledge and Systems Engineering ◽

10.1007/978-3-319-11680-8_38 ◽

2015 ◽

pp. 473-486 ◽

Author(s):

Étienne André ◽

Mohamed Mahdi Benmoussa ◽

Christine Choppy

Keyword(s):

Coloured Petri Nets ◽

State Machines ◽

Uml State Machines

Download Full-text

A software development process based on UML state machines

2020 International Conference on Advanced Aspects of Software Engineering (ICAASE) ◽

10.1109/icaase51408.2020.9380117 ◽

2020 ◽

Author(s):

Eric Cariou ◽

Lea Brunschwig ◽

Olivier Le Goaer ◽

Franck Barbier

Keyword(s):

Software Development ◽

Development Process ◽

State Machines ◽

Software Development Process ◽

Uml State Machines

Download Full-text

Enhancing UML State Machines with Aspects

Model Driven Engineering Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-75209-7_36 ◽

2007 ◽

pp. 529-543 ◽

Author(s):

Gefei Zhang ◽

Matthias Hölzl ◽

Alexander Knapp

Keyword(s):

State Machines ◽

Uml State Machines

Download Full-text

Towards C# Application Development Using UML State Machines: A Case Study

Lecture Notes in Electrical Engineering - Emerging Trends in Computing, Informatics, Systems Sciences, and Engineering ◽

10.1007/978-1-4614-3558-7_68 ◽

2012 ◽

pp. 793-803 ◽

Author(s):

Anna Derezińska ◽

Marian Szczykulski

Keyword(s):

State Machines ◽

Application Development ◽

Uml State Machines

Download Full-text

Secure State UML: Modeling and Testing Security Concerns of Software Systems Using UML State Machines

Research Journal of Applied Sciences Engineering and Technology ◽

10.19026/rjaset.7.734 ◽

2014 ◽

Vol 7 (18) ◽

pp. 3786-3790

Author(s):

S. Batool ◽

S. Asghar

Keyword(s):

Software Systems ◽

State Machines ◽

Uml Modeling ◽

Uml State Machines ◽

Security Concerns

Download Full-text

Formalising UML State Machines for Model Checking

Lecture Notes in Computer Science - «UML»’99 — The Unified Modeling Language ◽

10.1007/3-540-46852-8_31 ◽

1999 ◽

pp. 430-444 ◽

Author(s):

Johan Lilius ◽

Iván Porres Paltor

Keyword(s):

Model Checking ◽

State Machines ◽

Uml State Machines

Download Full-text