SIU Logo DSpace
 

SIU Knowledge Bank >
The SIU Libraries >
Reprints of Faculty & Student Publications >
School of Technology Publications (SoT) >

Please use this identifier to cite or link to this item: http://dspace.siu.ac.th/handle/1532/461

Title: Towards reasoning with UML diagrams based-on XML declarative description theory
Authors: Nantajeewarawat, Ekawit
Anutariya, Chutiporn
Keywords: Software engineering
XML
UML
Object-oriented methods
Issue Date: 2000
Type: Preprint
Series/Report no.: REP409 2000;c.1
REP409 2000;c.2
Abstract: A practical framework for representing knowledge and reasoning in the domain of UML is propoesd. In this framework, graphical diagrams in a UML model are encoded as XML/XMI elements, which are regarded as facts about a specific problem instance in a knowledge base, and the general knowledge on UML, such as inherent interrelationships among diagram components and implicit properties of diagrams, is representes as a set of XML definite clauses. Based on Akama's theory of declarative descriptions, the semantics of such a knowledge base can be precisely determined. Equivalent transformation is employed as a fundamental computation mechanism for reasoning with the UML diagrams representsd in the knowledge base.
Description: Proceeding International Conference Intelligent Technologies (InTech2000), Bangkok, Thailand (2000) : p.1-10.
URI: http://dspace.siu.ac.th/handle/1532/461
Appears in Collections:School of Technology Publications (SoT)

Files in This Item:

File Description SizeFormat
REP409 2000.pdf298.85 kBAdobe PDFView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Valid XHTML 1.0!
Powered by DSpace
Copyright © 2009-2012 Shinawatra University : Fostering Innovation
Visit our Website for more information
Contact SIU Libraries