Title
Semantics of UML 2.0 Interactions with Variabilities
Abstract
Means for the representation of variability in UML 2.0 interactions, as presented in a previous work, are further formalised and given a mathematically formal semantics. In this way, UML 2.0 interactions can be used in the conception and development of system families within domain and application engineering tasks. Following the transition from domain to application engineering as a configuration endeavour, resolution of the variability according to a given configuration is captured by a denotational semantics for plain interactions extended to the features for the specification of variability. An example based on a previous case study explicates the semantics hereby defined.
Year
DOI
Venue
2006
10.1016/j.entcs.2006.05.020
Electronic Notes in Theoretical Computer Science
Keywords
Field
DocType
UML interactions,variability,system families,product lines,formal semantics
Denotational semantics of the Actor model,Operational semantics,Programming language,UML tool,Unified Modeling Language,Computer science,Action semantics,Denotational semantics,Theoretical computer science,Applications of UML,Semantics
Journal
Volume
ISSN
Citations 
160
1571-0661
17
PageRank 
References 
Authors
0.99
5
3
Name
Order
Citations
PageRank
María Victoria Cengarle117517.82
Peter Graubmann213917.83
Stefan Wagner374855.74