会议专题

Merging of Use Case Models:Semantic Foundations

Use case models are the artifact of choice for captur ing functional requirements. This typically collaborative activity makes merging a necessity. Use cases however, are often neglected when it comes to model merging, since they are commonly treated as text only items. By defining a formal syntax and semantics for use case models, manipulated within a generic metamodel for operation-based merging, we show how use case models can be effectively merged. This formal foundation allows for the modeling of use cases; defining meaningful change operations on them; and for detecting modeling inconsistencies, inconformities, and conflicts. Several practical examples validate the concepts presented: existing and planned tool support is introduced. Index Terms--Model merging, use case model, operationbased merging, inconsistency, inconformity, conflict, finite state machine, model transformation, change plane.

Stephen Barrett Daniel Sinnig Patrice Chalin Greg Butler

Faculty of Engineering and Computer Science Concordia University, Montreal, Quebec, Canada

国际会议

Third International Symposium on Theoretical Aspects of Software Engineering TASE 2009(第三届软件工程理论国际研讨会)

天津

英文

182-189

2009-07-29(万方平台首次上网日期,不代表论文的发表时间)