Toward reasoning with unified modeling language diagrams based on extensible markup language declarative description theory-Reference-Cited by-同舟云学术

Toward reasoning with unified modeling language diagrams based on extensible markup language declarative description theory

Published:2004-01 Issue:1-2 Volume:19 Page:89-98
ISSN:0884-8173
Container-title:International Journal of Intelligent Systems
language:en
Short-container-title:Int. J. Intell. Syst.

Author:

Nantajeewarawat Ekawit,Wuwongse Vilas,Anutariya Chutiporn,Akama Kiyoshi,Thiemjarus Surapa

Publisher

Wiley

Subject

Artificial Intelligence,Human-Computer Interaction,Theoretical Computer Science,Software

Link

http://onlinelibrary.wiley.com/wol1/doi/10.1002/int.10153/fullpdf

Reference13 articles.

1. The unified modeling language reference manual. New York: Addison-Wesley; 1999.

2. The UML as a formal modeling notation

3. Reasoning with UML class diagrams. In: Proc 2nd IEEE Workshop on Industrial-Strength Formal Specification Techniques, New York: IEEE Press; 1998. pp 102-113.

4. On the semantics of UML diagrams using Z notation. In: Proc Int Conf on Intelligent Technologies, Bangkok, Thailand, 2004. pp 76-85.

5. Lecture Notes;Anutariya,2000

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Conceptual Modelling and Program Generation for Dynamic Interactive Systems;2008 Ninth International Conference on Parallel and Distributed Computing, Applications and Technologies;2008

2. Expanding Transformation: A Basis for Correctness Verification of Rewriting Rules;Journal of Advanced Computational Intelligence and Intelligent Informatics;2007-06-20

3. Dynamic Interaction of Syntactic and Semantic Analyses Based on the Equivalent Transformation Computation Model;Journal of Advanced Computational Intelligence and Intelligent Informatics;2006-05-20

4. Formalization of the Equivalent Transformation Computation Model;Journal of Advanced Computational Intelligence and Intelligent Informatics;2006-05-20

5. KNOWLEDGE-BASED INCONSISTENCY DETECTION IN UML MODELS;Handbook Of Software Engineering And Knowledge Engineering;2005-08