Consistency checking of UML model diagrams using the XML semantics approach

14th International World Wide Web Conference, WWW2005

Volumn , Issue , 2005, Pages 982-983

  Kotb, Yasser ^a   Katayama, Takuya ^a  

^a JAPAN ADVANCED INSTITUTE OF SCIENCE AND TECHNOLOGY   (Japan)

Author keywords

Attribute grammars; Model checking; UML; XMI; XML

Indexed keywords

ATTRIBUTE GRAMMARS; CONSISTENCY CHECKING; SEMANTIC CONSISTENCY; SOFTWARE SYSTEMS; SPECIAL FORMS; UML DIAGRAMS; UML MODEL; XML SEMANTICS;

COMPUTER SOFTWARE; CONTEXT SENSITIVE GRAMMARS; GRAPHIC METHODS; MARKUP LANGUAGES; MODEL CHECKING; SEMANTICS; SOFTWARE DESIGN; UNIFIED MODELING LANGUAGE; WORLD WIDE WEB;

XML;

EID: 34047135760     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1062745.1062829     Document Type: Conference Paper

References (7)

1. Bray, T., et al. Extensible Markup Language (XML) 1.0 (Third Edition), W3C, February. 2004, http://www.w3.org/TR/REC-xml/
2. Knuth, D.E. Semantics of Context-free Languages. Math. System Theory J.2, 1968, 127-145.
3. Kotb, Y., Gondow, K. and Katayama, T. XML Semantics, Chapter 8, Book Title: "Web Mining: Applications and Techniques". Idea Group, Inc., 2005, 169-188.
4. UML Resource Page(UML), Object Management Group (OMG), http://www.omg.org/uml
5. Object Management Group(OMG), http://www.omg.org/
6. XML Metadata Interchange (XMI), OMG, http://www.omg.org/technology/ documents/formal/xmi.htm
7. Kotb, Y. Checking Consistency of XML Documents by Attribute Grammars Techniques, Ph.D. dissertation, School of Information Science, Japan Advanced institute of Science and Technology, September 2003.