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 Cengarle | 1 | 175 | 17.82 |
Peter Graubmann | 2 | 139 | 17.83 |
Stefan Wagner | 3 | 748 | 55.74 |