Operation based model representation: Experiences on inconsistency detection

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

Volumn 6698 LNCS, Issue , 2011, Pages 85-96

  Le Noir, Jerome ^a   Delande, Olivier ^a   Exertier, Daniel ^b   Da Silva, Marcos Aurélio Almeida ^c   Blanc, Xavier ^d  

^a THALES RESEARCH AND TECHNOLOGY   (France)

^b THALES   (France)

^c UNIVERSITÉ PIERRE ET MARIE CURIE   (France)

^d UNIVERSITÉ BORDEAUX 1   (France)

Author keywords

[No Author keywords available]

Indexed keywords

DESIGN MODELS; DOMAIN SPECIFIC LANGUAGES; INCONSISTENCY DETECTION; INDUSTRIAL CONTEXT; INDUSTRIAL MODELS; MODEL REPRESENTATION; OBJECT BASED; SPACE COMPLEXITY; TIME AND SPACE COMPLEXITY;

LEGACY SYSTEMS; COMPUTER PROGRAMMING LANGUAGES; PROBLEM ORIENTED LANGUAGES;

JAVA PROGRAMMING LANGUAGE; ENGINES;

EID: 79959258986     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-21470-7_7     Document Type: Conference Paper

References (13)

1. Selic, B.: The pragmatics of model-driven development. IEEE Software 20(5), 19-25 (2003)
2. International Organization for Standardization: ISO/IEC FCD 42010: Systems and software engineering - Architecture Description (June 2010)
3. OMG: Meta Object Facility (MOF) 2.0 Core Specification (January 2006)
4. Mens, T., Van Der Straeten, R., D'Hondt, M.: Detecting and resolving model inconsistencies using transformation dependency analysis. In: Wang, J., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 200-214. Springer, Heidelberg (2006)
5. Balzer, R.: Tolerating inconsistency. In: Proc. Int' Conf. Software engineering (ICSE 1991), vol. 1, pp. 158-165 (1991)
6. Spanoudakis, G., Zisman, A.: Inconsistency management in software engineering: Survey and open research issues. In: Handbook of Software Engineering and Knowledge Engineering, pp. 329-380. World Scientific, Singapore
7. Van Der Straeten, R., Mens, T., Simmonds, J., Jonckers, V.: Using description logic 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)
8. Elaasar, M., Brian, L.: An overview of UML consistency management. Technical Report SCE-04-18 (August 2004)
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, New York (2008)
10. Finkelstein, A., Kramer, J., Nuseibeh, B., Finkelstein, L., Goedicke, M.: Viewpoints: A Framework for Integrating Multiple Perspectives in System Development. International Journal of Software Engineering and Knowledge Engineering 2(1), 31-57 (1992)
11. 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)
12. Blanc, X., Mougenot, A., Mounier, I., Mens, T.: Incremental detection of model inconsistencies based on model operations. In: van Eck, P., Gordijn, J., Wieringa, R. (eds.) CAiSE 2009. LNCS, vol. 5565, pp. 32-46. Springer, Heidelberg (2009)
13. Voirin, J.L.: Model-driven architecture building for constrained systems. In: CSDM 2010 (2010)