|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
| | ||
| Search | ||
| ||
| ASCII Text | x | ||
| Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Steve Easterbrook, Pamela Zave, "Matching and Merging of Variant Feature Specifications," IEEE Transactions on Software Engineering, vol. 38, no. 6, pp. 1355-1375, Nov.-Dec., 2012. | |||
| BibTex | x | ||
| @article{ 10.1109/TSE.2011.112, author = {Shiva Nejati and Mehrdad Sabetzadeh and Marsha Chechik and Steve Easterbrook and Pamela Zave}, title = {Matching and Merging of Variant Feature Specifications}, journal ={IEEE Transactions on Software Engineering}, volume = {38}, number = {6}, issn = {0098-5589}, year = {2012}, pages = {1355-1375}, doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.2011.112}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - JOUR JO - IEEE Transactions on Software Engineering TI - Matching and Merging of Variant Feature Specifications IS - 6 SN - 0098-5589 SP1355 EP1375 EPD - 1355-1375 A1 - Shiva Nejati, A1 - Mehrdad Sabetzadeh, A1 - Marsha Chechik, A1 - Steve Easterbrook, A1 - Pamela Zave, PY - 2012 KW - Computational modeling KW - Semantics KW - Hierarchical systems KW - Pragmatics KW - Parameterization KW - Electronic mail KW - Voice mail KW - parameterization KW - Model management KW - match KW - merge KW - hierarchical state machines KW - statecharts KW - behavior preservation KW - variability modeling VL - 38 JA - IEEE Transactions on Software Engineering ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TSE.2011.112
Web Extra: View Supplemental Material(PDF)
Model Management addresses the problem of managing an evolving collection of models by capturing the relationships between models and providing well-defined operators to manipulate them. In this paper, we describe two such operators for manipulating feature specifications described using hierarchical state machine models: Match, for finding correspondences between models, and Merge, for combining models with respect to known or hypothesized correspondences between them. Our Match operator is heuristic, making use of both static and behavioral properties of the models to improve the accuracy of matching. Our Merge operator preserves the hierarchical structure of the input models, and handles differences in behavior through parameterization. This enables us to automatically construct merges that preserve the semantics of hierarchical state machines. We report on tool support for our Match and Merge operators, and illustrate and evaluate our work by applying these operators to a set of telecommunication features built by AT&T.
Index Terms:
Computational modeling,Semantics,Hierarchical systems,Pragmatics,Parameterization,Electronic mail,Voice mail,parameterization,Model management,match,merge,hierarchical state machines,statecharts,behavior preservation,variability modeling
Citation:
Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Steve Easterbrook, Pamela Zave, "Matching and Merging of Variant Feature Specifications," IEEE Transactions on Software Engineering, vol. 38, no. 6, pp. 1355-1375, Nov.-Dec. 2012, doi:10.1109/TSE.2011.112
Usage of this product signifies your acceptance of the Terms of Use.

