Matching and merging of statecharts specifications

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2007, Pages 54-63

  Nejati, Shiva ^a   Sabetzadeh, Mehrdad ^a   Chechik, Marsha ^a   Easterbrook, Steve ^a   Zave, Pamela ^b  

^a UNIVERSITY OF TORONTO   (Canada)

^b AT AND T LABS RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

HEURISTIC METHODS; MATHEMATICAL MODELS; PARAMETER ESTIMATION; SEMANTICS;

STATECHARTS MODELS; STATECHARTS SPECIFICATIONS;

HIERARCHICAL SYSTEMS;

EID: 34548726133     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE.2007.50     Document Type: Conference Paper

References (33)

1. M. Alanen and I. Porres. Difference and union of models. In UML, pages 2-17, 2003.
2. F. Bernstein. Applying model management to classical meta data problems. In CIDR, pages 209-220, 2003.
3. P. Bernstein, S. Melnik, M. Petropoulos, and C. Quix. Industrial-strength schema matching. SIGMOD Record, 33(4):38-43, 2004.
4. G. Bond. An introduction to ECharts: The concise user manual. Technical report, AT&T, 2006. Available at: http://echarts.org.
5. G. Bond, E. Cheung, K. Purdy, P. Zave, and J. Ramming. An open architecture for next-generation telecommunication services. ACM Trans. Inter. Tech., 4(1):83-123, 2004.
6. G. Brunet, M. Chechik, S. Easterbrook, S. Nejati, N. Niu, and M. Sabetzadeh. A manifesto for model merging. In Wkshp. on Global Integrated Model Mgmt., 2006.
7. S. Easterbrook and M. Chechik. A framework for multi-valued reasoning over inconsistent viewpoints. In ICSE, pages 749-750, 2001.
8. H. Gomaa. Designing Software Product Lines with UML: From Use Cases to Pattern-based Software Architectures. Addison Wesley, first edition, 2004.
9. D. Harel and M. Politi. Modeling Reactive Systems With Statecharts : The Statemate Approach. McGraw Hill, 1998.
10. J. H. Hayes, A. Dekhtyar, and J. Osborne. Improving requirements tracing via information retrieval. In RE, pages 138-147, 2003.
11. M. Jackson and P. Zave. Distributed feature composition: a virtual architecture for telecommunications services. IEEE TSE, 24(10):831-847, 1998.
12. D. Kozen. Results on the prepositional μ-calculus. TCS, 27, 1983.
13. K. Letkeman. Comparing and merging uml models in ibm rational software architect. Technical report, IBM, 2006.
14. N. Maiden and A. Sutcliffe. Exploiting reusable specifications through analogy. CACM, 35(4):55-64, 1992.
15. D. Mandelin, D. Kimelman, and D. Yellin. A Bayesian approach to diagram matching with application to architectural models. In ICSE, pages 222-231, 2006.
16. C. Manning and H. Schütze. Foundations of Statistical Natural Language Processing. MIT Press, 1999.
17. A. Mehra, J. Grundy, and J. Hosking. A generic approach to supporting diagram differencing and merging for collaborative design. In ASE, pages 204-213, 2005.
18. S. Melnik. Generic Model Management: Concepts And Algorithms, volume 2967 oí LNCS. Springer, 2004.
19. R. Milner. Communication and Concurrency. Prentice-Hall, New York, 1989.
20. S. Nejati. Statecharts merging: Mathematical underpinnings. Technical Report CSRG-546, U. of Toronto, 2007.
21. R. D. Nicola, U. Montanari, and E Vaandrager. Back and forth bisimulations. In CONCUR, pages 152-165,1990.
22. J. Niu, J. M. Atlee, and N. A. Day. Template semantics for model-based notations. IEEE TSE, 29(10):866-882, 2003.
23. T. Pedersen, S. Patwardhan, and J. Michelizzi. WordNet:: Similarity - measuring the relatedness of concepts. In AAAI, pages 1024-1025, 2004.
24. E. Rahm and P. Bernstein. A survey of approaches to automatic schema matching. VLDBJ., 10(4):334-350, 2001.
25. K. Ryan and B. Mathews. Matching conceptual graphs as an aid to requirements re-use. In RE, pages 112-120, 1993.
26. M. Sabetzadeh and S. Easterbrook. Analysis of inconsistency in graph-based viewpoints: A category-theoretic approach. In ASE, pages 12-21, 2003.
27. M. Sabetzadeh and S. Easterbrook. View merging in the presence of incompleteness and inconsistency. RE J., 2006.
28. M. Sabetzadeh, S. Nejati, S. Easterbrook, and M. Chechik. TReMer: A tool for relationship-driven model merging. In FM, 2006. Demo.
29. O. Sokolsky, S. Kannan, and I. Lee. Simulation-based graph similarity. In TACAS, pages 426-440, 2006.
30. G. Spanoudakis and A. Finkelstein. Reconciling requirements: A method for managing interference, inconsistency and conflict. Annals of Soft. Eng., 3:433-457, 1997.
31. S. Uchitel and M. Chechik. Merging partial behavioural models. In FSE, pages 43-52, 2004.
32. J. Whittle and J. Schumann. Generating Statechart designs from scenarios. In ICSE, pages 314-323, 2000.
33. A. Zito, Z. Diskin, and J. Dingel. Package merge in UML 2: Practice vs. theory? In MoDELS, pages 185-199,2006.