Paper Info
Title
Reactive semantics for distributed UML activities
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.
Year
DOI
Venue
2010
10.1007/978-3-642-13464-7_3
FMOODS/FORTE
Keywords
Field
DocType
runtime support system,model transformation,run-to-completion step,bounded specification,reactive software system,uml activity,precise design language,so-called activity step,reactive semantics,reactive system,reactive systems,software systems
Design language,Programming language,UML tool,Unified Modeling Language,Computer science,Software system,Applications of UML,Reactive system,Semantics,Bounded function
Conference
Volume
ISSN
ISBN
6117
0302-9743
3-642-13463-7
Citations 
PageRank 
References 
13
0.67
19
Authors
2
Name
Order
Citations
PageRank
Frank Alexander Kraemer126221.13
Peter Herrmann219013.04