Incremental consistency checking of dynamic constraints

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

Volumn 6013 LNCS, Issue , 2010, Pages 203-217

  Groher, Iris ^a   Reder, Alexander ^a   Egyed, Alexander ^a  

^a JOHANNES KEPLER UNIVERSITY LINZ   (Austria)

Author keywords

Consistency checking; Dynamic constraints; Incremental checking

Indexed keywords

CONSISTENCY CHECKING; CONSTRAINT LANGUAGE; CUSTOMIZABLE; DESIGN CHANGE; DYNAMIC CONSTRAINTS; INCREMENTAL CHECKING; MANUAL ANNOTATION; META MODEL; MODEL CONSTRAINTS; SOFTWARE DESIGN MODEL; SOFTWARE MODEL;

COMPUTER SOFTWARE; DESIGN; SOFTWARE DESIGN;

MODEL CHECKING;

EID: 77951286975     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-12029-9_15     Document Type: Conference Paper

References (21)

1. Fickas, S., Feather, M., Kramer, J.: Proceedings of ICSE 1997 Workshop on Living with Inconsistency, Boston, USA (1997)
2. Robins, J., et al.: ArgoUML, http://argouml.tigris.org/
3. Nentwich, C., Capra, L., Emmerich, W., Finkelstein, A.: xlinkit: a consistency checking and smart link generation service. ACM Transactions on Internet Technology (TOIT) 2, 151-185 (2002)
4. Blanc, X., Mounier, I., Mougenot, A., Mens, T.: Detecting model inconsistency through operation-based model construction. In: 30th International Conference on Software Engineering, Leipzig, Germany, pp. 511-520 (2008)
5. Object Constraint Language (OCL), http://www.omg.org/spec/OCL/2.0/
6. Dhungana, D., Rabiser, R., Grünbacher, P., Lehner, K., Federspiel, C.: DOPLER: An Adaptable Tool Suite for Product Line Engineering. In: 11th International Software Product Line Conference, Kyoto, Japan, pp. 151-152 (2007)
7. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns Elements of Reuseable Object-Oriented Software. Addison Wesley, Reading (1994)
8. IBM RSM, http://www.ibm.com/software/products/de/de/swmodeler
9. Voelter, M., Groher, I.: Product Line Implementation using Aspect-Oriented and Model-Driven Software Development. In: 11th International Software Product Line Conference, Kyoto, Japan, pp. 233-242 (2007)
10. Egyed, A.: Instant Consistency Checking for the UML. In: 28th International Conference on Software Engineering, Shanghai, China, pp. 381-390 (2006)
11. Eclipse Modeling Framework, http://www.eclipse.org/modeling/emf/
12. Egyed, A., Balzer, R.: Integrating COTS Software into Systems through Instrumentation and Reasoning. Automated Software Engineering 13, 41-64 (2006)
13. Czarnecki, K., Pietroszek, K.: Verifying feature-based model templates against well-formedness OCL constraints. In: 5th International Conference on Generative Programming and Component Engineering, Portland, USA (2006)
14. Larsen, K.G., Nyman, U., Wa̧sowski, A.: On Modal Refinement and Consistency. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR 2007. LNCS, vol. 4703, pp. 105-119. Springer, Heidelberg (2007)
15. Engels, G., Güldali, B., Soltenborn, C., Wehrheim, H.: Assuring Consistency of Business Process Models and Web Services Using Visual Contracts. In: Applications of Graph Transformations with Industrial Relevance, Kassel, Germany, pp. 17-31 (2007)
16. Campbell, L., Cheng, B., McUmber, W., Stirewalt, K.: Automatically Detecting and Visualising Errors in UML Diagrams. Requirements Engineering Journal 7, 264-287 (2002)
17. Jordi, C., Ernest, T.: Incremental integrity checking of UML/OCL conceptual schemas. Journal of System Software 82, 1459-1478 (2009)
18. Concurrent Versions System, http://www.nongnu.org/cvs/
19. Subversion, http://subversion.tigris.org/
20. Egyed, A.: Fixing Inconsistencies in UML Design Models. In: 29th International Conference on Software Engineering, Minneapolis, USA, pp. 292-301 (2007)
21. Küster, J.M., Ryndina, K.: Improving Inconsistency Resolution with Side-Effect Evaluation and Costs. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 136-150. Springer, Heidelberg (2007)