884 search results - page 32 / 177 » A semantics of sequence diagrams |
SACMAT
2006
ACM
15 years 3 months ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
EPK
2006
14 years 11 months ago
2006
: In this paper, Event Process Chains (EPCs) and activity diagrams (ADs) of the Unified Modeling Language (UML) are compared with respect to (1) their syntax and its expressiveness...
ICDAR
2007
IEEE
15 years 4 months ago
2007
IEEE
An integrated map of all utility services in a locale would facilitate better management of the road infrastructure and the utilities themselves. To meet this goal, there exists a...
SOSYM
2002
14 years 9 months ago
2002
The Unified Modeling Language (UML) has gained wide acceptance in very short time because of its variety of well-known and intuitive graphical notations. However, this comes at the...
MKM
2004
Springer
15 years 3 months ago
2004
Springer
We describe an extension of first-order logic with sequence variables and sequence functions. We define syntax, semantics and inference system for the extension so that Completen...