A framework for semantics of UML sequence diagrams in PVS

被引：0
|
作者：
Aredo, DB [1 ]
机构：
[1] Univ Oslo, Dept Informat, N-0316 Oslo, Norway
来源：
JOURNAL OF UNIVERSAL COMPUTER SCIENCE | 2002年 / 8卷 / 07期
关键词：
formal semantics; UML; PVS; formal methods; object-orientation;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language ( UML) notation in a higher-order logic, more specifically semantics of UML sequence diagrams is encoded into the Prototype Veri cation System (PVS). The primary objective of our work is to make UML models amenable to rigorous analysis by providing their precise semantics. This approach paves a way for formal development of systems through a systematic transformation of UML models. This work is a part of a long-term vision to explore how the PVS tool set can be used to underpin practical tools for analyzing UML models. It contributes to the ongoing effort to provide mathematical foundation to UML notations, with the aim of clarifying the semantics of the language as well as supporting the development of semantically-based tools.
引用
收藏
页码：674 / 697
页数：24
相关论文
共 50 条
  • [21] A formal semantics of UML sequence diagram
    Li, XS
    Liu, ZM
    He, JF
    [J]. 2004 AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2004, : 168 - 177
  • [22] Formalize UML 2 Sequence Diagrams
    Shen, Hui
    Virani, Aliya
    Niu, Jianwei
    [J]. 11TH IEEE HIGH ASSURANCE SYSTEMS ENGINEERING SYMPOSIUM, PROCEEDINGS, 2008, : 437 - 440
  • [23] Static generation of UML sequence diagrams
    Alvin, Chris
    Peterson, Brian
    Mukhopadhyay, Supratik
    [J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2021, 23 (01) : 31 - 53
  • [24] Ordering actions in sequence diagrams of UML
    Cardoso, J
    Sibertin-Blanc, C
    [J]. ITI 2001: PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY INTERFACES, 2001, : 3 - 14
  • [25] Analyzing UML Sequence Diagrams with UTP
    Yang, Jing
    [J]. FCST 2009: PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON FRONTIER OF COMPUTER SCIENCE AND TECHNOLOGY, 2009, : 417 - 423
  • [26] Interactive exploration of UML sequence diagrams
    Sharp, Richard
    Rountev, Atanas
    [J]. 3RD IEEE INTERNATIONAL WORKSHOP ON VISUALIZING SOFTWARE FOR UNDERSTANDING AND ANALYSIS, PROCEEEDINGS, 2005, : 8 - 13
  • [27] Extending agent UML sequence diagrams
    Huget, MP
    [J]. AGENT-ORIENTED SOFTWARE ENGINEERING III, 2002, 2585 : 150 - 161
  • [28] Static generation of UML sequence diagrams
    Chris Alvin
    Brian Peterson
    Supratik Mukhopadhyay
    [J]. International Journal on Software Tools for Technology Transfer, 2021, 23 : 31 - 53
  • [29] On execution semantics of UML statechart diagrams using the π-calculus
    Lam, VSW
    Padget, J
    [J]. SERP'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2003, : 877 - 882
  • [30] Integration of UML Class Diagrams Based on Semantics and Structure
    Yuan, Zhongchen
    Hu, Xingda
    Zhang, Gang
    Ma, Zongmin
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2024, 34 (08) : 1281 - 1312
12345