A formal model for integrating multiple views

被引：11
作者：
Bowles, J. K. F. [1 ]
Bordbar, B. [1 ]
机构：
[1] Univ Birmingham, Sch Comp Sci, Birmingham B15 2TT, W Midlands, England
来源：
SEVENTH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS | 2007年
关键词：
D O I：
10.1109/ACSD.2007.39
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
In this paper we show how to use labelled event structures as a unique mathematical representation for design models consisting of different UML 2.0 diagrams/notation. Each diagram is used to capture a particular aspect or view of the system including structural and behavioural aspects. Our approach enables the analysis of complex systems designed in a combination of UML 2.0 notation, and serves as a means to detect inconsistencies in design.
引用
收藏
页码：71 / +
页数：2
相关论文
共 24 条
  • [1] [Anonymous], UML 2 0 SUP SPEC
  • [2] [Anonymous], 1995, LNCS
  • [3] BASTIDE R, 2004, MOCA 04 AARH, P37
  • [4] Making components contract aware
    Beugnard, A
    Jézéquel, JM
    Plouzeau, N
    Watkins, D
    [J]. COMPUTER, 1999, 32 (07) : 38 - +
  • [5] BORDBAR B, 2002, J COMPUTER NETWORK I, P279
  • [6] Bowles JKF, 2006, LECT NOTES COMPUT SC, V4019, P189
  • [7] A formal framework for viewpoint consistency
    Bowman, H
    Steen, MWA
    Boiten, EA
    Derrick, J
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 2002, 21 (02) : 111 - 166
  • [8] Bradfield J, 2002, LECT NOTES COMPUT SC, V2306, P203
  • [9] A semantic and methodological essence of message sequence charts
    Broy, M
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2005, 54 (2-3) : 213 - 256
  • [10] de Alfaro L., 2001, Software Engineering Notes, V26, P109, DOI 10.1145/503271.503226
123