UCVSC: A Formal Approach to UML Class Diagram Online Verification Based on Situation Calculus

被引：0
|
作者：
Tan, Li [1 ]
Yang, Zongyuan [1 ]
Xie, Jinkui [1 ]
机构：
[1] E China Normal Univ, Dept Comp Sci & Technol, Shanghai 200062, Peoples R China
来源：
ICCIT: 2009 FOURTH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCES AND CONVERGENCE INFORMATION TECHNOLOGY, VOLS 1 AND 2 | 2009年
关键词：
UCVSC; UML class diagram; XMI; situation calculus; online prototype system;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
The gap between informal models used in a UML environment and formal verifications and proofs in academic research prevents UML from valid and efficient application. In this paper, we propose an approach to bridge the gap between UML class diagram and situation calculus via our formal verification tool, UCVSC (UML Class diagram online Verification based on Situation Calculus). UML class diagram describes a software system informally while situation calculus is employed as the underlying formalism to precisely specify the system. With respect to most components in UML class diagram, the strength of reasoning about actions and describing the state of the world in situation calculus can be applied to represent them appropriately. Using UML tools and predefined mapping mechanism, we transform UML class diagram to XMI, an intermediate format, and finally to situation calculus in Prolog syntax. This approach attempts to provide precise semantics of UML class diagram which can be logically verified. In addition, we automate the verification process in an online prototype system. Furthermore, a case study on an academic system is presented to illustrate and evaluate our approach.*
引用
收藏
页码：375 / 380
页数：6
相关论文
共 50 条
  • [21] Evaluating UML class diagram layout based on architectural importance
    Andriyevska, Olena
    Dragan, Natalia
    Simoes, Bonita
    Maletic, Jonathan I.
    3RD IEEE INTERNATIONAL WORKSHOP ON VISUALIZING SOFTWARE FOR UNDERSTANDING AND ANALYSIS, PROCEEEDINGS, 2005, : 14 - 19
  • [22] Fuzzy spatiotemporal object modeling based on UML class diagram
    Chen, Xu
    Cheng, Haitao
    Wang, Hairong
    Li, Weijun
    JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 2017, 33 (05) : 2727 - 2736
  • [23] Research on PLC Information Model Based on UML Class Diagram
    Yu, Xu Ran
    Zu, Yun Xiao
    Li, Wei Hai
    2018 INTERNATIONAL SYMPOSIUM ON POWER ELECTRONICS AND CONTROL ENGINEERING (ISPECE 2018), 2019, 1187
  • [24] Security software formal modeling and verification method based on UML and Z
    Cao, K. (kunyucao@tju.edu.cn), 1600, Springer Verlag (332):
  • [25] A formal component model for UML based on CSP aiming at compositional verification
    Falcao, Flavia
    Lima, Lucas
    Sampaio, Augusto
    Antonino, Pedro
    SOFTWARE AND SYSTEMS MODELING, 2024, 23 (03): : 765 - 798
  • [26] A Fault Injection and Formal Verification Framework Based on UML Sequence Diagrams
    Liu, Hezhen
    Yin, Jiacheng
    Huang, Chengqiang
    Lan, Hao
    Jin, Zhi
    Zheng, Zheng
    Zhang, Xun
    2023 IEEE 34TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS, ISSREW, 2023, : 45 - 50
  • [27] Security Software Formal Modeling and Verification Method Based on UML and Z
    Cao, Kunyu
    Li, Xiaohong
    Xing, Jinliang
    CONTEMPORARY RESEARCH ON E-BUSINESS TECHNOLOGY AND STRATEGY, 2012, 332 : 390 - 401
  • [28] An UML Behavior Diagram based Automatic Testing Approach
    Chang, Chih-Hung
    Lu, Chih-Wei
    Chu, William C.
    Huang, Xin-Hao
    Xu, Dianxiang
    Hsu, Tse-Chuan
    Lai, Yu-Bin
    2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE WORKSHOPS (COMPSACW), 2013, : 511 - 516
  • [29] Formal Transformation of UML Diagram: Use Case, Class, Sequence Diagram with Z Notation for Representing the Static and Dynamic Perspectives of System
    Singh, Monika
    Sharma, A. K.
    Saxena, Ruhi
    PROCEEDINGS OF INTERNATIONAL CONFERENCE ON ICT FOR SUSTAINABLE DEVELOPMENT ICT4SD 2015, VOL 2, 2016, 409 : 25 - 38
  • [30] Ontology-Based Verification of UML Class/OCL Model
    Hafeez, Abdul
    Musavi, Syed Hyder Abbas
    Rehman, Aqeel Ur
    MEHRAN UNIVERSITY RESEARCH JOURNAL OF ENGINEERING AND TECHNOLOGY, 2018, 37 (04) : 521 - 534
12345