An online platform for semantic validation of UML models

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

Volumn 5648 LNCS, Issue , 2009, Pages 477-480

  Brambilla, Marco ^a   Tziviskou, Christina ^b  

^a POLITECNICO DI MILANO   (Italy)

^b UNIVERSITY OF BERGAMO   (Italy)

Author keywords

Class diagram; Component; Conceptual modeling; Ontology; Pattern; Reasoner; Semantic Web; UML; Validation; WebML

Indexed keywords

CLASS DIAGRAM; COMPONENT; CONCEPTUAL MODELING; PATTERN; REASONER; UML; VALIDATION; WEBML;

ENCODING (SYMBOLS); MODELS; MULTI AGENT SYSTEMS; ONTOLOGY; SEMANTICS;

SEMANTIC WEB;

EID: 70350217788     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02818-2_42     Document Type: Conference Paper

References (8)

1. Brambilla, M., Ceri, S., Facca, F., Celino, I., Cerizza, D., Della Valle, E.: Model-Driven Design and Development of Semantic Web Service Applications. ACM TOIT 8(1) (2007)
2. Ceri, S., Fraternali, P., Bongio, A., Brambilla, M., Comai, S., Matera, M.: Designing Data-Intensive Web Applications. Morgan Kaufmann, San Francisco (2002)
3. Fillottrani, P., Franconi, E., Tessaris, S.: The new ICOM ontology editor. In: Int.l W.shop on Description Logics (2006)
4. Horrocks, I., Kutz, O., Sattler, U.: The Even More Irresistible SROIQ. In: KR 2006, pp. 57-67 (2006)
5. OMG UML, Unified Modeling Language: Superstructure version 2.1.1. ptc/2007-02-03. OMG document (2007), http://www.omg.org/cgi-bin/doc?formal/07- 02-03
6. Simmonds, J., Bastarrica, C.M.: A tool for automatic UML model consistency checking. In: International Conference on Automated Software Engineering, pp. 431-432 (2005)
7. Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. Journal of Web Semantics 5(2), 51-53 (2007)
8. Zapata, C.M., Gonzalez, G., Gelbukh, A.: A Rule-Based System for Accessing Consistency Between UML models. In: MICAI Artificial Intelligence, pp. 215-224 (2007)