CD2Alloy: Class diagrams analysis using alloy revisited

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

Volumn 6981 LNCS, Issue , 2011, Pages 592-607

  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; CDS; CLASS DIAGRAMS; LANGUAGE FEATURES; MODELING LANGUAGES; OBJECT MODEL; PLUG-INS; SHALLOW EMBEDDING; UML CLASS DIAGRAMS;

ALLOYS; CERIUM ALLOYS; MODEL CHECKING; TRANSLATION (LANGUAGES);

CADMIUM ALLOYS;

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

References (23)

1. Alloy Analyzer website, http://alloy.mit.edu/ (accessed July 2011)
2. Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: UML2Alloy: A challenging model transformation. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 436-450. Springer, Heidelberg (2007)
3. 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)
4. 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)
5. Brucker, A.D., Wolff, B.: HOL-OCL: A Formal Proof Environment for uml/ocl. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol. 4961, pp. 97-100. Springer, Heidelberg (2008)
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. CD2Alloy project website, http://www.se-rwth.de/materials/cd2alloy/
8. Cengarle, M.V., Grönniger, H., Rumpe, B.: System Model Semantics of Class Diagrams. Informatik-Bericht 2008-05, Technische Universität Braunschweig (2008)
9. Dingel, J., Diskin, Z., Zito, A.: Understanding and improving UML package merge. Software and Systems Modeling 7(4), 443-467 (2008)
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. Grönniger, H., Ringert, J.O., Rumpe, B.: System model-based definition of modeling language semantics. In: Lee, D., Lopes, A., Poetzsch-Heffter, A. (eds.) FMOODS 2009. LNCS, vol. 5522, pp. 152-166. Springer, Heidelberg (2009)
14. Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT Press, Cambridge (2006)
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. Maoz, S., Ringert, J.O., Rumpe, B.: CDDiff: Semantic differencing for class diagrams. In: Mezini, M. (ed.) ECOOP 2011. LNCS, vol. 6813, pp. 230-254. Springer, Heidelberg (2011)
17. Maoz, S., Ringert, J.O., Rumpe, B.: Semantically configurable consistency analysis for class and object diagrams. In: Whittle, J., Clark, T., Kühne, T. (eds.) MODELS 2011. LNCS, vol. 6981, pp. 153-167. Springer, Heidelberg (2011)
18. Massoni, T., Gheyi, R., Borba, P.: A UML Class Diagram Analyzer. In: 3rd Int. Work. on Critical Systems Development with UML (CSDUML), Affiliated with UML Conf., pp. 143-153 (2004)
19. Object Management Group. MOF Query View Transformation (QVT) (2008), http://www.omg.org/spec/QVT/1.0/ (accessed, July 2011)
20. Rumpe, B.: Modellierung mit UML. Springer, Heidelberg (2004)
21. Sen, S.: Automatic Effective Model Discovery. PhD thesis, Univ. of Rennes (2010)
22. Shah, S.M.A., Anastasakis, K., Bordbar, B.: From UML to alloy and back again. In: Ghosh, S. (ed.) MODELS 2009. LNCS, vol. 6002, pp. 158-171. Springer, Heidelberg (2010)
23. 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)