ML for the working programmer
High-level Petri nets: theory and application
High-level Petri nets: theory and application
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Use Case Maps as Architectural Entities for Complex Systems
IEEE Transactions on Software Engineering
Verification support for workflow design with UML activity graphs
Proceedings of the 24th International Conference on Software Engineering
Timing Analysis of UML Activity Diagrams
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Semantics of Control-Flow in UML 2.0 Activities
VLHCC '04 Proceedings of the 2004 IEEE Symposium on Visual Languages - Human Centric Computing
Transformation methodology for UML 2.0 activity diagram into colored Petri nets
ACST'07 Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology
Applying UML and software simulation for process definition, verification, and validation
Information and Software Technology
MARTE: a profile for RT/E systems modeling, analysis--and simulation?
Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops
A formalism for reasoning about UML activity diagrams
Nordic Journal of Computing
Automatic Test Case Generation for Interacting Services
Service-Oriented Computing --- ICSOC 2008 Workshops
Specification and verification of time requirements with CCSL and Esterel
Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Synthesizing hierarchical state machines from expressive scenario descriptions
ACM Transactions on Software Engineering and Methodology (TOSEM)
On translating UML models into graph transformation systems
Journal of Visual Languages and Computing
An ASM semantics of token flow in UML 2 activity diagrams
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Analysis of UML activities using dynamic meta modeling
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
Evaluation of a use-case-driven requirements analysis tool employing web UI prototype generation
WSEAS Transactions on Information Science and Applications
Formal definition of syntax and semantics for documenting variability in activity diagrams
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
An evaluation of a use case driven requirements analysis using web UI prototype generation tool
ACS'09 Proceedings of the 9th WSEAS international conference on Applied computer science
Contracts for multi-instance UML activities
FMOODS'11/FORTE'11 Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems
Proceedings of the 10th ACM international conference on Generative programming and component engineering
Reactive semantics for distributed UML activities
FMOODS'10/FORTE'10 Proceedings of the 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Defining variability in activity diagrams and Petri nets
Science of Computer Programming
| Hi-index | 0.00 |
One of the major changes in going from UML 1.5 to UML 2.0 is the reengineering of activity diagrams. This paper examines activity diagramies as described in the current version of the UML 2.0 standard by defining a denotational semantics. It covers basic control flow and data flow, but excludes hierarchy, expansion nodes, and exception handling (see [Storrle, H., Semantics of Control-Flow in UML 2.0 Activities, in: P. Bottoni, C. Hundhausen, S. Levialdi and G. Tortora, editors, Proc. IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) (2004), pp. 235-242, Storrle, H., Semantics of Exceptions in UML 2.0 Activities (2004), submitted to Journal of Software and Systems Modeling, May, 9^t^h, available at www.pst.informatik.uni-muenchen.de/~stoerrle, Storrle, H., Semantics of Expansion Nodes in UML 2.0 Activities, in: I. Porres, editor, Proc. 2^n^d Nordic Ws. on UML, Modeling, Methods and Tools (NWUML'04), 2004] for these issues). The paper shows, where the constructs proposed in the standard are not so easily formalized, and how the formalisation may be used for formal analysis.