Towards automated inconsistency handling in design models

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

Volumn 6051 LNCS, Issue , 2010, Pages 348-362

  Da Silva, Marcos Aurélio Almeida ^a   Mougenot, Alix ^a   Blanc, Xavier ^a   Bendraou, Reda ^a  

^a UNIVERSITÉ PIERRE ET MARIE CURIE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CONFIGURABLE; DESIGN MODELS; INCONSISTENCY HANDLING; MODEL-DRIVEN ENGINEERING; SEARCH SPACES;

DESIGN; INFORMATION SYSTEMS; SYSTEMS ENGINEERING;

MODELS;

EID: 79956316918     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-13094-6_28     Document Type: Conference Paper

References (15)

1. Selic, B.: The pragmatics of model-driven development. IEEE Software 20(5), 19-25 (2003).
2. Hessellund, A., Czarnecki, K., Wasowski, A.: Guided development with multiple domain-specific languages. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 46-60. Springer, Heidelberg (2007).
3. Balzer, R.: Tolerating inconsistency. In: Proc. Int' Conf. Software engineering (ICSE 1991), vol. 1, pp. 158-165 (1991). (Pubitemid 21689983)
4. 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.
5. 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).
6. 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). (Pubitemid 44618560)
7. Elaasar, M., Brian, L.: An overview of UML consistency management. Technical Report SCE-04-18 (August 2004).
8. 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).
9. 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, Los Alamitos (2003).
10. OMG: Unified Modeling Language: Super Structure version 2.1 (January 2006).
11. OMG: Meta Object Facility (MOF) 2.0 Core Specification (January 2006).
12. Egyed, A., Letier, E., Finkelstein, A.: Generating and evaluating choices for fixing inconsistencies in UML design models. In: Proc. ACM/IEEE Int'l Conf. Automated Software Engineering (ASE 2008), pp. 99-108. ACM, New York (2008).
13. Russell, S.J., Norvig, P.: Artificial Intelligence: A Modern Approach. Pearson Education, London (2003).
14. Mougenot, A., Darrasse, A., Blanc, X.: Uniform random generation of huge metamodel instances. In: Paige, R.F., Hartman, A., Rensink, A. (eds.) ECMDA-FA 2009. LNCS, vol. 5562, pp. 130-145. Springer, Heidelberg (2009).
15. Dam, K.H., Winikoff, M.: Generation of repair plans for change propagation. In: Luck, M., Padgham, L. (eds.) AOSE 2007. LNCS, vol. 4951, pp. 132-146. Springer, Heidelberg (2008). (Pubitemid 351702264)