Ordering actions in sequence diagrams of UML

Proceedings of the International Conference on Information Technology Interfaces, ITI

Volumn , Issue , 2001, Pages 3-14

  Cardoso, J ^a   Sibertin Blanc, C ^a  

^a UNIVERSITY OF TOULOUSE CAPITOLE   (France)

Author keywords

formal semantics; Interaction diagram in UML; Petri nets

Indexed keywords

GRAPHIC METHODS; INFORMATION TECHNOLOGY; PETRI NETS; SEMANTICS;

ACTIVITY DIAGRAM; FORMAL SEMANTICS; INTERACTION DIAGRAM; META MODEL; OPERATIONAL SEMANTICS; PARTIAL ORDER; SEMANTIC LINK; SEQUENCE DIAGRAMS;

UNIFIED MODELING LANGUAGE;

EID: 84898884377     PISSN: 13301012     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ITI.2001.937990     Document Type: Conference Paper

References (9)

1. CARDOSO J., SIBERTIN-BLANC C, SOULÉ-DUPUY C, "Une sémantique formelle des diagrammes d'interaction d'UML via les réseaux de Petri", In proceedings of Formalisation des Activités Concurrentes, 25-26 April 2001, Toulouse, France, pg 133-152.
2. GENRICH H., LAUTENBACH K., " System modelling with High Level Petri Nets ". Theoretical Computer Science 13, North Holland, 1981.
3. GEHRKE T., GOLTZ U., WHRHEIM H., "The dynamic models ofUML: towards a Semantics and its Application in the Development Process". ISSN 0941-3014.
4. LEE W.L., CHA S.D., KWON Y.R., " Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering ", IEEE Trans, on Software Engineering 24, 12, Dec. 1998.
5. MURATA T., " Petri Nets: Properties, Analysis and Applications "; In Proc. of the IEEE, vol 77, no84, April 1989.
6. UML V1.3, http://www.omg.org/technology/uml/index.htm, Juin 2000
7. PALUDETTO M., DELATOUR J., " UML et les réseaux de Petri: vers une sémantique des modèles dynamiques et une méthodologie de développement des systèmes temps réel ", Revue L'objet, Vol.5, No3-4, pp.443-467, Dec. 1999.
8. PETTIT R.G., GOMAA H., "Validation of Dynamic Behavior in UML Using Colored Petri Nets", In proc. of UML'2000, 2000.
9. SlBERTIN-BLANC C, "Communicative and Cooperative Nets". In Proceedings of the 15th International Conference on Application and Theory of Petri Nets, Zaragoza (Sp), LNCS 815, Springer-Verlag, 1994.