Reactive semantics for distributed UML activities

Authors:
Frank Alexander Kraemer;Peter Herrmann
Affiliations:
Department of Telematics, Norwegian University of Science and Technology (NTNU), Trondheim, Norway;Department of Telematics, Norwegian University of Science and Technology (NTNU), Trondheim, Norway
Venue:
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
Year:
2010

Citing 12
Cited 9

Applications of temporal logic to the specification and verification of reactive systems: a survey of current trends

Current trends in concurrency. Overviews and tutorials
Engineering real time systems: an object-oriented methodology using SDL

Engineering real time systems: an object-oriented methodology using SDL
Protocol synthesis and re-synthesis with optimal allocation of resources based on extended petri nets

Distributed Computing
Symbolic model checking of UML activity diagrams

ACM Transactions on Software Engineering and Methodology (TOSEM)
Towards a Formal Account of a Foundational Subset for Executable UML Models

MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Towards a UML virtual machine: implementing an interpreter for UML 2 actions and activities

CASCON '08 Proceedings of the 2008 conference of the center for advanced studies on collaborative research: meeting of minds
Tool support for the rapid composition, analysis and implementation of reactive services

Journal of Systems and Software
Automated Encapsulation of UML Activities for Incremental Development and Verification

MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
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
Model-driven construction of embedded applications based on reusable building blocks: an example

SDL'09 Proceedings of the 14th international SDL conference on Design for motes and mobiles

Modeling a distributed intrusion detection system using collaborative building blocks

ACM SIGSOFT Software Engineering Notes
A tool-supported method for the design and implementation of secure distributed applications

ESSoS'11 Proceedings of the Third international conference on Engineering secure software and systems
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
Towards automatic generation of formal specifications to validate and verify reliable distributed systems: a method exemplified by an industrial case study

Proceedings of the 10th ACM international conference on Generative programming and component engineering
Engineering android applications based on UML activities

Proceedings of the 14th international conference on Model driven engineering languages and systems
Analyzing realizability of choreographies using initiating and responding flows

Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation
Behavioral singletons to consistently handle global states of security patterns

DAIS'12 Proceedings of the 12th IFIP WG 6.1 international conference on Distributed Applications and Interoperable Systems
Security asset elicitation for collaborative models

Proceedings of the Workshop on Model-Driven Security
Compositional verification of application-level security properties

ESSoS'13 Proceedings of the 5th international conference on Engineering Secure Software and Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We define a reactive semantics for a subset of UML activities that is suitable as precise design language for reactive software systems. These semantics identify run-to-completion steps for execution on the level of UML activities as so-called activity steps. We show that activities adhering to these semantics and a set of rules lead to event-driven and bounded specifications that can be implemented automatically by model transformations and executed efficiently using runtime support systems.