Improving inconsistency resolution with side-effect evaluation and costs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4735 LNCS, Issue , 2007, Pages 136-150

  Küster, Jochen M ^a   Ryndina, Ksenia ^a  

^a IBM RESEARCH ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

MATHEMATICAL MODELS; PROBLEM SOLVING; SOFTWARE ENGINEERING;

CONSISTENCY MANAGEMENT; INCONSISTENCY RESOLUTION;

LIFE CYCLE;

EID: 38049089767     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75209-7_10     Document Type: Conference Paper

References (24)

1. IBM Insurance Application Architecture, http://www.ibm.com/industries/ financialservices/doc/content/solution/278918103.html
2. IBM WebSphere Business Modeler, http://www.ibm.com/software/integration/ wbimodeler/
3. UML2.0 Superstructure, formal/05-07-04. OMG Document (2005)
4. Ebert, J., Engels, G.: Specialization of Object Life Cycle Definitions. Fachberichte Informatik 19/95, University of Koblenz-Landau (1997)
5. Engels, G., Küster, J.M., Groenewegen, L., Heckel, R.: A Methodology for Specifying and Analyzing Consistency of Object-Oriented Behavioral Models. In: ESEC'01. Proceedings of the 8th European Software Engineering Conference, pp. 186-195. ACM Press, New York (2001)
6. Finkelstein, A., Gabbay, D., Hunter, A., Kramer, J., Nuseibeh, B.: Inconsistency Handling in Multi-Perspective Specifications. IEEE Transactions on Software Engineering 20(8), 569-578 (1994)
7. Ghezzi, C., Nuseibeh, B.A.: Special Issue on Managing Inconsistency in Software Development (1). IEEE Transactions on Software Engineering 24(11) (November 1998)
8. Giese, H., Wagner, R.: Incremental Model Synchronization with Triple Graph Grammars. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 543-557. Springer, Heidelberg (2006)
9. Kappel, G., Schrefl, M.: Object/Behavior Diagrams. In: Proceedings of the 7th International Conference on Data Engineering, Washington, DC, USA, pp. 530539. IEEE Computer Society, Los Alamitos (1991)
10. Kleppe, A., Warmer, J.: The Object Constraint Language, 2nd edn. AddisonWesley, Reading (2003)
11. Küster, J.M.: Consistency Management of Object-Oriented Behavioral Models. PhD thesis, University of Paderborn (March 2004)
12. Mens, T., Van Der Staeten, R., Warny, J.-F.: Graph-Based Tool Support to Improve Model Quality. In: Proceedings of the 1st Workshop on Quality in Modeling co-located with MoDELS 2006, Technical report 0627, Technische Universiteit Eindhoven, pages 47-62 (2006)
13. Mens, T., Van Der Straeten, R., D'Hondt, M.: Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 200-214. Springer, Heidelberg (2006)
14. Nentwich, C., Emmerich, W., Finkelstein, A.: Consistency Management with Repair Actions. In: Proceedings of the 25th International Conference on Software Engineering, Portland, Oregon, USA, May 3-10, 2003, pp. 455-464. IEEE Computer Society, Los Alamitos (2003)
15. Nickel, U.A., Niere, J., Zündorf, A.: Tool Demonstration: The FUJABA Environment. In: ICSE. Proceedings of the 22nd International Conference on Software Engineering, Limerick, Ireland, pp. 742-745. ACM Press, New York (2000)
16. Nuseibeh, B., Easterbrook, S., Russo, A.: Making Inconsistency Respectable in Software Development. Journal of Systems and Software 58(2), 171-180 (2001)
17. Ryndina, K., Küster, J.M., Gall, H.: Consistency of Business Process Models and Object Life Cycles. In: Kühne, T. (ed.) Workshops and Symposia at MoDELS 2006. LNCS, vol. 4364, pp. 80-90. Springer, Heidelberg (2007)
18. Lohmann, S., Westfechtel, B., Becker, S., Herold, S.: A Graph-Based Algorithm for Consistency Maintenance in Incremental and Interactive Integration Tools. Journal of Software and Systems Modeling (to appear, 2007)
19. Schürr, A.: Specification of Graph Translators with Triple Graph Grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol. 903, pp. 151163. Springer, Heidelberg (1995)
20. Spanoudakis, G., Zisman, A.: Handbook of Software Engineering and Knowledge Engineering, chapter Inconsistency Management in Software Engineering: Survey and Open Research Issues, pp. 329-380. World Scientific Publishing Co. (2001)
21. Van Der Straeten, R.: Inconsistency Management in Model-Driven Engineering. PhD thesis, Vrije Universiteit Brussel (September 2005)
22. Van Der Straeten, R., D'Hondt, M.: Model Refactorings through Rule-Based Inconsistency Resolution. In: SAC. Proceedings of the 2006 ACM Symposium on Applied Computing, Dijon, France, April 23-27, 2006, pp. 1210-1217. ACM, New York (2006)
23. Taentzer, G.: AGG: A Graph Transformation Environment for Modeling and Validation of Software. In: Pfaltz, J.L., Nagl, M., Bohlen, B. (eds.) AGTIVE 2003. LNCS, vol. 3062, pp. 446-453. Springer, Heidelberg (2004)
24. Wagner, R., Giese, H., Nickel, U.: A Plug-In for Flexible and Incremental Consistency Management. In: Proceedings Workshop on Consistency Problems in UML-based Software Development, San Francisco, USA, Technical Report. Blekinge Institute of Technology, San Francisco (October 2003)