Modeling Transactions in UML Activity Diagrams via Nonsequential Automata

Júlio Machado (1), Paulo Blauth Menezes (2)

e-mails: juliopm@inf.pucrs.br, blauth@inf.ufrgs.br

(1) Pontificia Universidade Católica do Rio Grande do Sul - Faculdade de Informática Porto Alegre Brasil
(2) Universidade Federal do Rio Grande do Sul - Instituto de Informática Porto Alegre Brasil

Abstract

When modeling concurrent or parallel systems, we must be aware that basic activities of each system may be constituted by smaller activities, i.e. transitions are conceptually refined into transactions.

Nevertheless, the Unified Modeling Language (UML) seems to lack compositional constructs for defining atomic activities.

We discuss nonsequential automata for the formal interpretation of the concept of composing transitions into transactions under UML activity diagrams.

Transactions are formally defined through a special morphism between automata that maps transitions from the source automaton to transactions of the target (more concrete) automata.

UML activity diagrams are then extended with a proper stereotype for defining transactions.

Keywords:Formal Specification, UML, Nonsequential Automata, Concurrent and Distributed Systems

BibTex

@INPROCEEDINGS{machado04:164,
                  AUTHOR       = {Júlio Machado and Paulo Blauth Menezes},
                  TITLE        = {Modeling Transactions in UML Activity Diagrams via Nonsequential Automata},
                  BOOKTITLE    = {30ma Conferencia Latinoamericana de Informática (CLEI2004)},
                  YEAR         = {2004},
                  editor       = {Mauricio Solar and David Fernández-Baca and Ernesto Cuadros-Vargas},
                  pages        = {543--553},
                  address      = {},
                  month        = Sep,
                  organization = {Sociedad Peruana de Computación},
                  note         = {ISBN 9972-9876-2-0},
                  file         = {http://clei2004.spc.org.pe/es/html/pdfs/164.pdf}
}

PDF de este artículo
PDF de CLEI2004 (incluye todos los artículos)
Página principal CLEI 2004
Generado por Sociedad Peruana de Computación