Semantically configurable consistency analysis for class and object diagrams

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

Volumn 6981 LNCS, Issue , 2011, Pages 153-167

  Maoz, Shahar ^a   Ringert, Jan Oliver ^a   Rumpe, Bernhard ^a  

^a RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ANALYSIS PROBLEMS; ANALYSIS TOOLS; AUTOMATED APPROACH; CDS; CLASS DIAGRAMS; CONFIGURABLE; CONSISTENCY ANALYSIS; FEATURE CONFIGURATION; FEATURE MODELS; MODEL ANALYSIS; MODELING LANGUAGES; OBJECT DIAGRAMS;

CADMIUM ALLOYS; MARKUP LANGUAGES; MODELS;

SEMANTICS;

EID: 80054060089     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-24485-8_12     Document Type: Conference Paper

References (28)

1. Alloy Analyzer website, http://alloy.mit.edu/ (accessed July 2011)
2. Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: On challenges of model transformation from UML to Alloy. Software and Systems Modeling 9(1), 69-86 (2010)
3. Batory, D.S.: Feature models, grammars, and propositional formulas. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol. 3714, pp. 7-20. Springer, Heidelberg (2005)
4. Broy, M., Cengarle, M.V., Grönniger, H., Rumpe, B.: Considerations and Rationale for a UML System Model. In: Lano, K. (ed.) UML 2 Semantics and Applications. Wiley, Chichester (2009)
5. Broy,M., Cengarle,M.V., Grönniger, H.,Rumpe,B.: Definition of the System Model. In: Lano, K. (ed.) UML 2 Semantics and Applications. Wiley, Chichester (2009)
6. Cabot, J., Clarisó, R., Riera, D.: UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming. In: ASE, pp. 547-548. ACM, New York (2007)
7. Cengarle, M.V., Grönniger, H., Rumpe, B.: System Model Semantics of Class Diagrams. Informatik-Bericht 2008-05, Technische Universität Braunschweig (2008)
8. Cengarle, M.V., Grönniger, H., Rumpe, B.: Variability within modeling language definitions. In: Schürr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol. 5795, pp. 670-684. Springer, Heidelberg (2009)
9. Czarnecki, K., Eisenecker, U.: Generative Programming Methods, Tools, and Applications. Addison-Wesley, Reading (2000)
10. Evans, A., France, R.B., Lano, K., Rumpe, B.: The UML as a Formal Modeling Notation. In: Bézivin, J., Muller, P.-A. (eds.) UML 1998. LNCS, vol. 1618, pp. 336-348. Springer, Heidelberg (1999)
11. FreeMarker, http://freemarker.org/ (accessed July 2011)
12. Gogolla, M., Büttner, F., Richters, M.: USE: A UML-based specification environment for validating UML and OCL. Sci. Comput. Program 69(1-3), 27-34 (2007)
13. Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT Press, Cambridge (2006)
14. Kästner, C., Thüm, T., Saake, G., Feigenspan, J., Leich, T., Wielgorz, F., Apel, S.: FeatureIDE: A tool framework for feature-oriented software development. In: ICSE, pp. 611-614 (2009)
15. Krahn, H., Rumpe, B., Völkel, S.: MontiCore: a framework for compositional development of domain specific languages. Int. J. on Software Tools for Technology Transfer (STTT) 12(5), 353-372 (2010)
16. Lu, Y., Atlee, J.M., Day, N.A., Niu, J.: Mapping template semantics to SMV. In: ASE, pp. 320-325. IEEE Computer Society, Los Alamitos (2004)
17. Maoz, S., Ringert, J.O., Rumpe, B.: CD2Alloy: Class diagrams analysis using Alloy revisited. In: Whittle, J., Clark, T., Kühne, T. (eds.) MODELS. LNCS, vol. 6981, pp. 592-607. Springer, Heidelberg (2011)
18. Mendonça, M., Branco, M., Cowan, D.D.: S.P.L.O.T.: software product lines online tools. In: OOPSLA Companion, pp. 761-762 (2009), http://www.splot-research.org/
19. MontiCore project, http://www.monticore.org/
20. Niu, J., Atlee, J.M., Day, N.A.: Template semantics for model-based notations. IEEE Trans. Software Eng. 29(10), 866-882 (2003)
21. Perlis, A.J.: Epigrams on programming. SIGPLAN Notices 17(9), 7-13 (1982)
22. Prout, A., Atlee, J.M., Day, N.A., Shaker, P.: Semantically configurable code generation. In: Busch, C., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 705-720. Springer, Heidelberg (2008)
23. Rumpe, B.: Modellierung mit UML. Springer, Heidelberg (2004)
24. Semantic variability project website, http://www.se-rwth.de/materials/ semvar/
25. Simmonds, J., Bastarrica, M.C.: A tool for automatic UML model consistency checking. In: ASE, pp. 431-432. ACM, New York (2005)
26. Soeken, M., Wille, R., Kuhlmann, M., Gogolla, M., Drechsler, R.: Verifying UML/OCL models using Boolean satisfiability. In: DATE, pp. 1341-1344. IEEE, Los Alamitos (2010)
27. 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)
28. Taleghani, A., Atlee, J.M.: Semantic variations among UML stateMachines. In: Wang, J., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 245-259. Springer, Heidelberg (2006)