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 条

[41] Modelling of UML sequence diagrams with generalized nets
Koycheva, EN
Trifonov, TA
Aladjov, HT
[J]. 2002 FIRST INTERNATIONAL IEEE SYMPOSIUM INTELLIGENT SYSTEMS, VOL III, STUDENT SESSION, PROCEEDINGS, 2002, : 79 - 84
[42] Direct execution of UML 2.0 sequence diagrams
Schattkowsky, T
[J]. ISAS/CITSA 2004: INTERNATIONAL CONFERENCE ON CYBERNETICS AND INFORMATION TECHNOLOGIES, SYSTEMS AND APPLICATIONS AND 10TH INTERNATIONAL CONFERENCE ON INFORMATION SYSTEMS ANALYSIS AND SYNTHESIS, VOL 1, PROCEEDINGS: COMMUNICATIONS, INFORMATION TECHNOLOGIES AND COMPUTING, 2004, : 332 - 337
[43] Modeling crosscutting services with UML sequence diagrams
Deubler, M
Meisinger, M
Rittmann, S
Krüger, I
[J]. MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2005, 3713 : 522 - 536
[44] Test Generation from UML Sequence Diagrams
Faria, Joao Pascoal
Paiva, Ana C. R.
Yang, Zhuanli
[J]. 2012 EIGHTH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC 2012), 2012, : 245 - 250
[45] StaticGen: Static Generation of UML Sequence Diagrams
Alvin, Chris
Peterson, Brian
Mukhopadhyay, Supratik
[J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2017, 2017, 10202 : 173 - 190
[46] Consistency Checking of UML Class and Sequence Diagrams
Ekanayake, E. M. N. K.
Kodituwakku, Saluka R.
[J]. 2015 8TH INTERNATIONAL CONFERENCE ON UBI-MEDIA COMPUTING (UMEDIA) CONFERENCE PROCEEDINGS, 2015, : 98 - 103
[47] Unifying the Semantics of UML 2 State, Activity and Interaction Diagrams
Kohlmeyer, Jens
Guttmann, Walter
[J]. PERSPECTIVES OF SYSTEMS INFORMATICS, 2010, 5947 : 206 - 217
[48] Testing polymorphic interactions in UML sequence diagrams
Supavita, S
Suwannasart, T
[J]. ITCC 2005: International Conference on Information Technology: Coding and Computing, Vol 2, 2005, : 449 - 454
[49] Interpretation of UML sequence diagrams as causality flows
Sibertin-Blanc, C
Tahir, O
Cardoso, J
[J]. ADVANCED DISTRIBUTED SYSTEMS, 2005, 3563 : 126 - 140
[50] Specifying behavioral semantics of UML diagrams through graph transformations
Kong, Jun
Zhang, Kang
Dong, Jing
Xu, Dianxiang
[J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2009, 82 (02) : 292 - 306

← 1 2 3 4 5 →