Incremental inconsistency detection with low memory overhead

Software - Practice and Experience

Volumn 44, Issue 5, 2014, Pages 621-641

  Falleri, Jean Rémy ^a   Blanc, Xavier ^a   Bendraou, Reda ^b   Da Silva, Marcos Aurélio Almeida ^b   Teyton, Cédric ^a  

^a UNIVERSITÉ DE BORDEAUX   (France)

^b Paris Universitas   (France)

Author keywords

logic programming; model consistency; model driven engineering; program analysis; software engineering

Indexed keywords

SOFTWARE ENGINEERING;

INCONSISTENCY DETECTION; INCREMENTALIZATION; LARGE MODELS; MEMORY CONSUMPTION; MODEL BASED DEVELOPMENT; MODEL CONSISTENCY; MODEL-DRIVEN ENGINEERING; PROGRAM ANALYSIS;

LOGIC PROGRAMMING;

EID: 84898000143     PISSN: 00380644     EISSN: 1097024X     Source Type: Journal    
DOI: 10.1002/spe.2171     Document Type: Conference Paper

References (31)

1. Hessellund A, Czarnecki K, Wasowski A,. Guided development with multiple domain-specific languages. In Proceedings of the Model Driven Engineering Languages and Systems, 10th International Conference, MoDELS 2007, Nashville, USA, September 30-October 5, 2007, Vol. 4735. Springer, 2007; 46-60.
2. Selic B,. The pragmatics of model-driven development. IEEE Software 2003; 20 (5): 19-25. DOI: 10.1109/MS.2003.1231146.
3. Egyed A,. Automatically detecting and tracking inconsistencies in software design models. IEEE Transactions on Software Engineering 2011; 37 (2): 188-204. DOI: 10.1109/TSE.2010.38.
4. Spanoudakis G, Zisman A,. Inconsistency management in software engineering: survey and open research issues. In Handbook of Software Engineering and Knowledge Engineering. World Scientific, 2001; 329-380.
5. Egyed A,. Fixing inconsistencies in UML design models. In 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007. IEEE Computer Society, 2007; 292-301.
6. Finkelstein S, Jacobs D, Brendle R,. Principles for inconsistency. CIDR 2009, Fourth Biennial Conference on Innovative Data Systems Research, Asilomar, CA, USA, January 4-7, 2009, Online Proceedings, 2009. Available from: http//www.cidrdb.org [last accessed 12 October 2012].
7. Hill MD,. What is scalability? ACM SIGARCH Computer Architecture News December 1990; 18 (4): 18-21. DOI: 10.1145/121973.121975.
8. Boehm BW, In H,. Identifying quality-requirement conflicts. IEEE Software 1996; 13 (2): 25-35. DOI: 10.1109/52.506460.
9. Finkelstein A, Gabbay DM, Hunter A, Kramer J, Nuseibeh B,. Inconsistency handling in multperspective specifications. IEEE Transactions on Software Engineering 1994; 20 (8): 569-578.
10. Grundy JC, Hosking JG, Mugridge WB,. Inconsistency management for multiple-view software development environments. IEEE Transactions on Software Engineering 1998; 24 (11): 960-981. DOI: 10.1109/32.730545.
11. Nentwich C, Capra L, Emmerich W, Finkelstein A,. xlinkit: a consistency checking and smart link generation service. Acm Transactions On Internet Technology 2002; 2 (2): 151-185. DOI: 10.1145/514183.514186.
12. Straeten RVD, Mens T, Simmonds J, Jonckers V,. Using description logic to maintain consistency between UML models. In UML 2003-The Unified Modeling Language, Modeling Languages and Applications, 6th International Conference, San Francisco, CA, USA, October 20-24, 2003, Proceedings, Lecture Notes in Computer Science, Vol. 2863, Stevens P, Whittle J, Booch G, (eds). Springer, 2003; 326-340. DOI: 10.1007/978-3-540-45221-828.
13. Paige RF, Brooke PJ, Ostroff JS,. Metamodel-based model conformance and multiview consistency checking. ACM Transactions on Software Engineering and Methodology 2007; 16 (3). DOI: 10.1145/1243987.1243989.
14. Blanc X, Mounier I, Mougenot A, Mens T,. Detecting model inconsistency through operation-based model construction. In 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, Schäfer W, Dwyer MB, Gruhn V, (eds). ACM, 2008; 511-520, DOI: 10.1145/1368088.1368158.
15. Egyed A,. Instant consistency checking for the UML. In 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006, Osterweil LJ, Rombach HD, Soffa ML, (eds). ACM, 2006; 381-390. DOI: 10.1145/1134339.
16. Cabot J, Teniente E,. Incremental evaluation of OCL constraints. In Advanced Information Systems Engineering, 18th International Conference, CAiSE 2006, Luxembourg, Luxembourg, June 5-9, 2006, Proceedings, Lecture Notes in Computer Science, Vol. 4001, Dubois E, Pohl K, (eds). Springer, 2006; 81-95, DOI: 10.1007/11767138-7.
17. Xu C, Cheung S-C, Chan WK,. Incremental consistency checking for pervasive context. In 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006, Osterweil LJ, Rombach HD, Soffa ML, (eds). ACM, 2006; 292-301, DOI: 10.1145/1134327.
18. Blanc X, Mougenot A, Mounier I, Mens T,. Incremental detection of model inconsistencies based on model operations. In Proceedings of the Advanced Information Systems Engineering, 21st International Conference, CAiSE 2009, Amsterdam, The Netherlands, June 8-12, 2009. Proceedings, Lecture Notes in Computer Science, Vol. 5565, Eck Pv, Gordijn J, Wieringa R, (eds). Springer, 2009; 32-46, DOI: 10.1007/978-3-642-02144-2-8.
19. Noir JL, Delande O, Exertier D, Silva MAAd, Blanc X,. Operation based model representation: experiences on inconsistency detection. In Modelling Foundations and Applications-7th European Conference, ECMFA 2011, Birmingham, UK, June 6-9, 2011 Proceedings, Lecture Notes in Computer Science, Vol. 6698, France RB, Küster JM, Bordbar B, Paige RF, (eds). Springer, 2011; 85-96, DOI: 10.1007/978-3-642-21470-7-7.
20. Elaasar M, Briand LC,. An overview of UML consistency management. Technical Report SCE-04-18, Department of Systems and Computer Engineering, Carleton University, ON, Canada, 2004.
21. Schobbens P-Y, Heymans P, Trigaux J-C,. Feature diagrams: a survey and a formal semantics. In 14th IEEE International Conference on Requirements Engineering (RE 2006), 11-15 September 2006, Minneapolis/St.Paul, Minnesota, USA. IEEE Computer Society, 2006; 136-145, DOI: 10.1109/RE.2006.23.
22. Jouault F, Tisi M,. Towards incremental execution of ATL transformations. In Theory and Practice of Model Transformations, Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings Lecture Notes in Computer Science, Vol. 6142, Tratt L, Gogolla M, (eds). Springer, 2010; 123-137, DOI: 10.1007/978-3-642-13688-7-9.
23. Rose LM, Kolovos DS, Drivalos N, Williams JR, Paige RF, Polack FAC, Fernandes KJ,. Concordance: a framework for managing model integrity. In Modelling Foundations and Applications, 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings Lecture Notes in Computer Science, Vol. 6138, Kühne T, Selic B, Gervais M-P, Terrier F, (eds). Springer, 2010; 245-260, DOI: 10.1007/978-3-642-13595-8-20.
24. Eichberg M, Kahl M, Saha D, Mezini M, Ostermann K,. Automatic incrementalization of prolog based static analyses. In Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Lecture Notes in Computer Science, Vol. 4354, Hanus M, (ed.). Springer, 2007; 109-123, DOI: 10.1007/978-3-540-69611-7-7.
25. Menet L, Lamolle M, Duc CL,. Incremental validation of models in a MDE approach applied to the modeling of complex data structures. In On the Move to Meaningful Internet Systems: OTM 2010 Workshops-Confederated International Workshops and Posters: International Workshops: AVYTAT, ADI, DATAVIEW, EI2N, ISDE, MONET, OnToContent, ORM, P2P-CDVE, SeDeS, SWWS and OTMA. Hersonissos, Crete, Greece, October 25-29, 2010. Proceedings Lecture Notes in Computer Science, Vol. 6428, Meersman R, Dillon TS, Herrero P, (eds). Springer, 2010; 120-129, DOI: 10.1007/978-3-642-16961-8-28.
26. Bergmann G, Horváth Á, Ráth I, Varró D, Balogh A, Balogh Z, ökrös A,. Incremental evaluation of model queries over EMF models. In Model Driven Engineering Languages and Systems-13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I, Lecture Notes in Computer Science, Vol. 6394, Petriu DC, Rouquette N, Haugen O, (eds). Springer, 2010; 76-90, DOI: 10.1007/978-3-642- 16145-2-6.
27. Xu C, Cheung SC, Chan WK, Ye C,. Partial constraint checking for context consistency in pervasive computing. ACM Transactions on Software Engineering and Methodology 2010; 19 (3). DOI: 10.1145/1656250.1656253.
28. Wagner R, Giese H, Nickel U,. A plug-in for flexible and incremental consistency management. Proceedings of the International Conference on the Unified Modeling Language 2003 (Workshop 7: Consistency Problems in UML-based Software Development), San Francisco, USA, Technical Report, Blekinge Institute of Technology, San Francisco, 2003.
29. Sterling L, Shapiro EY,. The Art of Prolog-Advanced Programming Techniques, 2nd ed. MIT Press, 1994.
30. OMG. Unified modeling language specification: superstructure (Version 2.4.1). Technical Report, OMG, 2011.
31. Mougenot A, Darrasse A, Blanc X, Soria M,. Uniform random generation of huge metamodel instances. In Model Driven Architecture-Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings Lecture Notes in Computer Science, Vol. 5562, Paige RF, Hartman A, Rensink A, (eds). Springer, 2009; 130-145, DOI: 10.1007/978-3-642-02674-4-10.