Model refactorings through rule-based inconsistency resolution

Proceedings of the ACM Symposium on Applied Computing

Volumn 2, Issue , 2006, Pages 1210-1217

  Van Der Straeten, Ragnhild ^a   D'Hondt, Maja ^b  

^a VRIJE UNIVERSITEIT BRUSSEL   (Belgium)

^b UNIV LILLE   (France)

Author keywords

Description logics; Inconsistency management; Model refactoring; Rule based systems

Indexed keywords

ABSTRACTING; COMPUTER SIMULATION; DATA STRUCTURES; MATHEMATICAL MODELS; SOFTWARE ENGINEERING;

DESCRIPTION LOGICS; INCONSISTENCY MANAGEMENT; MODEL REFACTORING; RULE-BASED SYSTEMS;

LOGIC PROGRAMMING;

EID: 33751069809     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1141277.1141564     Document Type: Conference Paper

References (26)

1. D. Astels. Refactoring with UML. In Proc. Int'l Conf. eXtreme Programming and Flexible Processes in Software Engineering, pages 67-70, Alghero, Sardinia, Italy, 2002.
2. F. Baader, D. McGuinness, D. Nardi, and P. Patel-Schneider. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, 2003.
3. M. Boger, T. Sturm, and P. Fragemann. Refactoring browser for UML. In Proc. Int'l Conf. eXtreme Programming and Flexible Processes in Software Engineering, pages 77-81, Alghero, Sardinia, Italy, 2002.
4. S. Easterbrook. Handling conflict between domain descriptions with computer-supported negotiation. Knowledge Acquisition, 3(3):255-289, 1991.
5. G. Engels, R. Heckel, J. M. Küster, and L. Groenewegen. Consistency-preserving model evolution through transformations. In J.-M. Jézéquel, H. Hußmann, and S. Cook, editors, Proc. Int'l Conf. UML 2002 - The Unified Modeling Language., number 2460 in LNCS, pages 212-227, Dresden, Germany, October 2002. springer.
6. A. Finkelstein, D. M. Gabbay, A. Hunter, J. Kramer, and B. Nuseibeh. Inconsistency handling in multi-perspective specifications. In European Software Engineering Conference, pages 84-99. springer, 1993.
7. M. Fowler. Refactoring: Improving the Design of Existing Programs. Addison-Wesley, 1999.
8. Gentleware. Poseidon, http://www.gentleware.com/products/poseidonpe.php3, March 18 2004.
9. V. Haarslev and R. Möller. RACER system description. In Int'l Joint Conf. Automated Reasoning (IJCAR 2001), 2001.
10. A. Kozlenkov and A. Zisman. Discovering, recording, and handling inconsistencies in software specifications. International Journal of Computer and Information Science, 5(2), June 2004.
11. M. M. Lehman, J. F. Ramil, P. Wernick, D. E. Perry, and W. M. Turski. Metrics and laws of software evolution - the nineties view. In Proc. Int 'l Symposium Software Metrics, pages 20-32. IEEE Computer Society Press, 1997.
12. T. Mens, S. Demeyer, and D. Janssens. Formalising behaviour preserving program transformations. In Proceedings of the First International Conference on Graph Transformation, pages 286-301. springer, 2002.
13. T. Mens and T. Tourwé. A survey of software refactoring. Trans. Software Engineering, 30(2): 126-139, February 2004.
14. B. Nuseibeh, S. Easterbrook, and A. Russo. Leveraging inconsistency in software development. IEEE Computer, 33(4):24-29, 2000.
15. Object Management Group. Unified Modeling Language 2.0 Superstructure Draft Adopted Specification, ptc/03-08-02, February 2005.
16. W. F. Opdyke. Refactoring Object-Oriented Frameworks. PhD thesis, Urbana-Champaign, IL, USA, 1992.
17. I. Porres. Model refactorings as rule-based update transformations. In P. Stevens, J. Whittle, and G. Booch, editors, Proc. Int'l Conf. UML 2003, volume 2863 of LNCS, pages 159-. springer, 2003.
18. S. Sendall and W. Kozaczynski. Model transformation: The heart and soul of model-driven software development. IEEE Software, 20(5):42-45, September/October 2003.
19. G. Spanoudakis and A. Finkelstein. Reconciling requirements: a method for managing interference, inconsistency and conflict. Ann. Softw. Eng., 3:433-457, 1997.
20. G. Spanoudakis and A. Zisman. Inconsistency Management in software engineering: Survey and open research issues, volume 1, pages 329-380. World Scientific Pub. Co., 2001.
21. G. Sunyé, D. Pollet, Y. LeTraon, and J.-M. Jézéquel. Refactoring UML models. In Proc. UML 2001, volume 2185 of LNCS, pages 134-138. springer, 2001.
22. R. Van Der Straeten. Inconsistency Management in Model-driven Engineering. An Approach using Description Logics. PhD thesis, Vrije Universiteit Brussel, Brussels, Belgium, September 2005.
23. R. Van Der Straeten, V. Jonckers, and T. Mens. Supporting model refactorings through behaviour inheritance consistencies. In T. Baar, A. Strohmeier, A. Moreira, and S. Mellor, editors, UML 2004 - The Unified Modeling Language, volume 3273 of LNCS, pages 305-319. springer, 2004.
24. R. Van Der Straeten, T. Mens, J. Simmonds, and V. Jonckers. Using description logics to maintain consistency between UML models. In P. Stevens, J. Whittle, and G. Booch, editors, UML 2003 - The Unified Modeling Language, volume 2863 of LNCS, pages 326-340. springer, 2003.
25. A. van Lamsweerde, E. Letier, and R. Darimont. Managing conflicts in goal-driven requirements engineering. IEEE Trans. Softw. Eng., 24(11):908-926, 1998.
26. J. Zhang, Y. Lin, and J. Gray. Generic and domain-specific model refactoring using a model transformation engine. In S. Beydeda, M. Book, and V. Gruhn, editors, Model-driven Software Development, chapter 9, pages 199-218. Springer, 2005.