Structured nodes in UML 2.0 activities
Nordic Journal of Computing
An approach to workflow modeling and analysis
eclipse '05 Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange
What business process modelers can learn from programmers
Science of Computer Programming
Functional verification of task partitioning for multiprocessor embedded systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
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
Modelling inter-process dependencies with high-level business process modelling languages
APCCM '08 Proceedings of the fifth Asia-Pacific conference on Conceptual Modelling - Volume 79
Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Transactions on Petri Nets and Other Models of Concurrency I
A formalism for reasoning about UML activity diagrams
Nordic Journal of Computing
Semantics and Verification of Data Flow in UML 2.0 Activities
Electronic Notes in Theoretical Computer Science (ENTCS)
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
Enhanced use case map traversal semantics
SDL'07 Proceedings of the 13th international SDL Forum conference on Design for dependable systems
A triple graph grammar (TGG) approach for mapping UML 2 activities into Petri nets
SEPADS'10 Proceedings of the 9th WSEAS international conference on Software engineering, parallel and distributed systems
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
Towards a semantics of activity diagrams with semantic variation points
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Simplified bi-directional transformation of UML activities into Petri nets
SEPADS'11 Proceedings of the 10th WSEAS international conference on Software engineering, parallel and distributed systems
Performability modeling of exceptions-aware systems in multiformalism tools
ASMTA'11 Proceedings of the 18th international conference on Analytical and stochastic modeling techniques and applications
ADDiff: semantic differencing for activity diagrams
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Pattern-based analysis of the control-flow perspective of UML activity diagrams
ER'05 Proceedings of the 24th international conference on Conceptual Modeling
Model-Driven performance analysis of UML design models based on stochastic process algebra
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
On formalizing UML2 activities using TPNets: case studies
VECoS'11 Proceedings of the Fifth international conference on Verification and Evaluation of Computer and Communication Systems
Verification of problem-based learning systems using modified petri nets
Expert Systems with Applications: An International Journal
Hi-index | 0.00 |
The recent major revision of the UML has introduced significant changes and additions. In particular, the metamodel portion underlying Activity Diagrams has been completely reengineered, with Activity being the central concept, the successor of ActivityGraph in UML 1.5. In this paper, a denotational and compositional semantics for Activities is defined as a mapping from Activities into Procedural Petri nets. The semantics excludes data type annotations and all features based on them, but includes all kinds of control flow, including non well-formed concurrency and, particularly, procedure calling.