Consistency checking of UML model diagrams using the XML semantics approach

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Consistency checking of UML model diagrams using the XML semantics approach

Full text

Pdf (268 KB)

Source

International World Wide Web Conference archive
Special interest tracks and posters of the 14th international conference on World Wide Web table of contents

Chiba, Japan

POSTER SESSION: Posters table of contents

Pages: 982 - 983

Year of Publication: 2005

ISBN:1-59593-051-5

Authors

Yasser Kotb	School of Information Sciences, Ishikawa, Japan
Takuya Katayama	School of Information Sciences, Ishikawa, Japan

Sponsor

ACM: Association for Computing Machinery

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 17, Downloads (12 Months): 55, Citation Count: 1

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1062745.1062829 What is a DOI?

ABSTRACT

A software design is often modeled as a collection of unified Modeling Language (UML) diagrams. There are different aspects of the software system that are covered by many different UML diagrams. This leads for big risk that the overall specification of the system becomes inconsistent and incompleteness. This inherits the necessary to check the consistency between these related UML diagrams. In addition, as the software system gets evolution, those diagrams get modified that leads again to possible inconsistency and incompleteness between the different versions of these diagrams. In this paper, we plan to employ our previous novel XML semantics approach, which proposed for checking the semantic consistency of XML documents using attribute grammar techniques, to check the consistency of UML diagrams. The key idea here is translating the UML diagrams to its equivalent XMI documents. Then checking the consistency of these XMI documents, they are special forms of XML, by employing them to our previous XML semantics approach.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	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.