A Formal Model for Integrating Multiple Views

J. K.F. Bowles; B. Bordbar

doi:10.1109/ACSD.2007.39

A Formal Model for Integrating Multiple Views

J. K.F. Bowles, B. Bordbar

School of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

13 Citations (Scopus)

Abstract

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.

Original language	English
Title of host publication	Proceedings - 7th International Conference on Application of Concurrency to System Design, ACSD 2007
Pages	71-79
Number of pages	9
DOIs	https://doi.org/10.1109/ACSD.2007.39
Publication status	Published - 1 Dec 2007
Event	17th International Conference on Application of Concurrency to System Design, ACSD 2007 - Bratislava, Slovakia Duration: 10 Jul 2007 → 13 Jul 2007

Conference

Conference	17th International Conference on Application of Concurrency to System Design, ACSD 2007
Country/Territory	Slovakia
City	Bratislava
Period	10/07/07 → 13/07/07

Access to Document

10.1109/ACSD.2007.39

Cite this

@inproceedings{c3f8457995754799ac7e22686337c4db,

title = "A Formal Model for Integrating Multiple Views",

abstract = "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.",

author = "Bowles, {J. K.F.} and B. Bordbar",

year = "2007",

month = dec,

day = "1",

doi = "10.1109/ACSD.2007.39",

language = "English",

isbn = "076952902X",

pages = "71--79",

booktitle = "Proceedings - 7th International Conference on Application of Concurrency to System Design, ACSD 2007",

note = "17th International Conference on Application of Concurrency to System Design, ACSD 2007 ; Conference date: 10-07-2007 Through 13-07-2007",

}

TY - GEN

T1 - A Formal Model for Integrating Multiple Views

AU - Bowles, J. K.F.

AU - Bordbar, B.

PY - 2007/12/1

Y1 - 2007/12/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=51149101856&partnerID=8YFLogxK

U2 - 10.1109/ACSD.2007.39

DO - 10.1109/ACSD.2007.39

M3 - Conference contribution

AN - SCOPUS:51149101856

SN - 076952902X

SN - 9780769529028

SP - 71

EP - 79

BT - Proceedings - 7th International Conference on Application of Concurrency to System Design, ACSD 2007

T2 - 17th International Conference on Application of Concurrency to System Design, ACSD 2007

Y2 - 10 July 2007 through 13 July 2007

ER -

A Formal Model for Integrating Multiple Views

Abstract

Conference

Access to Document

Other files and links

Fingerprint

Cite this