Assessing modal aspects of OntoUML conceptual models in Alloy

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

Volumn 5833 LNCS, Issue , 2009, Pages 55-64

  Benevides, Alessander Botti ^a   Guizzardi, Giancarlo ^a   Braga, Bernardo F B ^a   Almeida, João Paulo A ^a  

^a FEDERAL UNIVERSITY OF ESPÍRITO SANTO   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

CONCEPTUAL MODEL; LOGIC-BASED LANGUAGES;

ALLOYS; SPECIFICATIONS;

CERIUM ALLOYS;

EID: 78650487449     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04947-7_8     Document Type: Conference Paper

References (10)

1. Mylopoulos, J.: Conceptual Modeling and Telos. In: Conceptual Modeling, Databases, and CASE: An Integrated View of Information Systems Development. Wiley, Chichester (1992).
2. Guizzardi, G.: Ontological foundations for structural conceptual models. PhD thesis, University of Twente, Enschede, The Netherlands, Enschede (October 2005).
3. Benevides, A.B., Guizzardi, G.: A model-based tool for conceptual modeling and domain ontology engineering in ontouml. In: Filipe, J., Cordeiro, J. (eds.) ICEIS 2009. LNBIP, vol. 24, pp. 528-538. Springer, Heidelberg (2009).
4. Jackson, D.: Software abstractions: logic, language, and analysis. MIT Press, Cambridge (2006).
5. Hughes, G.E., Cresswell, M.J.: A Companion to Modal Logic. Routledge and Kegan Paul, London (1985).
6. Beato, M.E., Barrio-Solórzano, M., Cuesta, C.E.: UML automatic verification tool (TABU). In: SAVCBS 2004 Specification and Verification of Component-Based Systems at ACM SIGSOFT 2004/FSE-12 (2004).
7. Schinz, I., Toben, T., Mrugalla, C., Westphal, B.: The rhapsody uml verification environment. In: SEFM 2004: Proceedings of the Software Engineering and Formal Methods, Second International Conference, Washington, DC, USA, pp. 174-183. IEEE Computer Society, Los Alamitos (2004).
8. Gogolla, M., Büttner, F., Richters, M.: Use: A uml-based specification environment for validating uml and ocl. Science of Computer Programming 69, 27-34 (2007).
9. Massoni, T., Gheyi, R., Borba, P.: A uml class diagram analyzer. In: 3rd International Workshop on Critical Systems Development with UML, affiliated with 7th UML Conference, pp. 143-153 (2004).
10. Maintainers: UML2Alloy. Project website: http://www.cs.bham.ac.uk/ ∼bxb/UML2Alloy.