Incremental detection of model inconsistencies based on model operations

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

Volumn 5565 LNCS, Issue , 2009, Pages 32-46

  Blanc, Xavier ^a   Mougenot, Alix ^b   Mounier, Isabelle ^b   Mens, Tom ^c  

^a INRIA   (France)

^b UNIVERSITÉ PIERRE ET MARIE CURIE   (France)

^c UNIVERSITY OF MONS   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRUCTION OPERATIONS; INCONSISTENCY DETECTION; MODEL EVOLUTION; MODEL-BASED; SOFTWARE DEVELOPMENT;

CONSTRUCTION INDUSTRY; INFORMATION SYSTEMS; SYSTEMS ENGINEERING;

MODEL CHECKING;

EID: 69849110799     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02144-2_8     Document Type: Conference Paper

References (20)

1. Selic, B.: The pragmatics of model-driven development. IEEE Software 20(5), 19-25 (2003)
2. Finkelstein, A.C.W., et al.: Inconsistency handling in multiperspective specifica-tions. IEEE Trans. Softw. Eng. 20, 569-578 (1994)
3. Balzer, R.: Tolerating inconsistency. In: Proc. Int' Conf. Software engineering (ICSE 1991), vol.1, pp. 158-165 (1991)
4. Fradet, P., Le Metayer, D., Peiin, M.: Consistency checking for multiple view software architectures. In: Proc. Joint Conf. ESEC/FSE 1999, vol.41, pp. 410-428. Springer, Heidelberg (1999)
5. Nentwich, C., Emmerich, W., Finkelstein, A.: Consistency management with repair actions. In: Proc. Int'l Conf. Software Engineering (ICSE 2003), Washington, DC, USA, pp. 455-464. IEEE Computer Society Press, Los Alamitos (2003)
6. Egyed, A.: Instant consistency checking for UML. In: Proceedings Int'l Conf. Software Engineering (ICSE 2006), pp. 381-390. ACM Press, New York (2006)
7. Mens, T., et al.: 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)
8. Malgouyres, H., Motet, G.: A UML model consistency verification approach based on meta-modeling formalization. In: SAC 2006, pp. 1804-1809. ACM, New York (2006)
9. Blanc, X., Mougenot, A., Mounier, I., Mens, T.: Detecting model inconsistency through operation-based model construction. In: Robby (ed.) Proc. Int'l Conf. Software engineering (ICSE 2008), vol.1, pp. 511-520. ACM Press, New York (2008)
10. Egyed, A.: Fixing inconsistencies in UML design models. In: Proc. Int'l Conf. Software Engineering (ICSE 2007), pp. 292-301. IEEE Computer Society, Los Alamitos (2007)
11. Spanoudakis, G., Zisman, A.: Inconsistency management in software engineering: Survey and open research issues. Handbook of Software Engineering and Knowledge Engineering, 329-380 (2001)
12. Van Der Straeten, R., Mens, T., Simmonds, J., Jonckers, V.: Using description logics to maintain consistency between UML models. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol.2863, pp. 326-340. Springer, Heidelberg (2003)
13. Elaasar, M., Brian, L.: An overview of UML consistency management. Technical Report SCE-04-18 (August 2004)
14. OMG: Unified Modeling Language: Super Structure version 2.1 (January 2006)
15. OMG: Meta Object Facility (MOF) 2.0 Core Specification (January 2006)
16. Wagner, R., Giese, H., Nickel, U.A.: A plug-in for flexible and incremental consistency management. In: Workshop on consistency problems in UML-based Software Development - Satellite Workshop of MODELS (2003)
17. Cabot, J., Teniente, E.: Incremental evaluation of ocl constraints. In: Dubois, E., Pohl, K. (eds.) CAiSE 2006. LNCS, vol.4001, pp. 81-95. Springer, Heidelberg (2006)
18. ISO/IEC 42010: Systems and software engineering architectural description. ISO/IEC WD3 42010 and IEEE P42010/D3 (2008)
19. Boiten, E., et al.: Issues in multiparadigm viewpoint specification. In: Foundations of Software Engineering, pp. 162-166 (1996)
20. Kowalski, R.A., Sadri, F., Soper, P.: Integrity checking in deductive databases. In: Proc. Int'l Conf. Very Large Data Bases (VLDB), pp. 61-69. Morgan Kaufmann, San Francisco (1987)