Specification of Alternative Execution Semantics of UML Sequence Diagrams within Actor-Oriented Models

Leandro Soares Indrusiak; Manfred Glesner

doi:10.1145/1284480.1284567

Specification of Alternative Execution Semantics of UML Sequence Diagrams within Actor-Oriented Models

Leandro Soares Indrusiak, Manfred Glesner

Computer Science

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

Abstract

System-level specification can benefit from the feature-rich UML visual notations. However, it is necessary to integrate UML into current SoC design flows. Unlike previous approaches that relied on code generation or static analysis, this paper proposes the direct co-simulation of SoC specifications and UML. sequence diagrams. In order to cope with the lack of formal execution semantics in UML sequence diagrams, we benefit from the flexibility of actor-orientation so that alternative execution semantics can be assigned to a given diagram by the designer using an extensible library of directors.

Original language	English
Title of host publication	Proc 20th Symposium on Integrated Circuits and Systems Design (SBCCI)
Place of Publication	New York
Publisher	ACM
Pages	330-335
ISBN (Print)	978-1-59593-816-9
DOIs	https://doi.org/10.1145/1284480.1284567
Publication status	Published - 2007

Keywords

UML
Sequence Diagram
Message Sequence Charts
Actor-Orientation
Embedded Systems
Electronic System Level
SYSTEMS
DESIGN

Access to Document

10.1145/1284480.1284567

Cite this

@inproceedings{7c5a86b401824b8091a1e39890f7bccd,

title = "Specification of Alternative Execution Semantics of UML Sequence Diagrams within Actor-Oriented Models",

abstract = "System-level specification can benefit from the feature-rich UML visual notations. However, it is necessary to integrate UML into current SoC design flows. Unlike previous approaches that relied on code generation or static analysis, this paper proposes the direct co-simulation of SoC specifications and UML. sequence diagrams. In order to cope with the lack of formal execution semantics in UML sequence diagrams, we benefit from the flexibility of actor-orientation so that alternative execution semantics can be assigned to a given diagram by the designer using an extensible library of directors.",

keywords = "UML, Sequence Diagram, Message Sequence Charts, Actor-Orientation, Embedded Systems, Electronic System Level, SYSTEMS, DESIGN",

author = "Indrusiak, {Leandro Soares} and Manfred Glesner",

year = "2007",

doi = "10.1145/1284480.1284567",

language = "English",

isbn = "978-1-59593-816-9",

pages = "330--335",

booktitle = "Proc 20th Symposium on Integrated Circuits and Systems Design (SBCCI)",

publisher = "ACM",

address = "United States",

}

TY - GEN

T1 - Specification of Alternative Execution Semantics of UML Sequence Diagrams within Actor-Oriented Models

AU - Indrusiak, Leandro Soares

AU - Glesner, Manfred

PY - 2007

Y1 - 2007

N2 - System-level specification can benefit from the feature-rich UML visual notations. However, it is necessary to integrate UML into current SoC design flows. Unlike previous approaches that relied on code generation or static analysis, this paper proposes the direct co-simulation of SoC specifications and UML. sequence diagrams. In order to cope with the lack of formal execution semantics in UML sequence diagrams, we benefit from the flexibility of actor-orientation so that alternative execution semantics can be assigned to a given diagram by the designer using an extensible library of directors.

AB - System-level specification can benefit from the feature-rich UML visual notations. However, it is necessary to integrate UML into current SoC design flows. Unlike previous approaches that relied on code generation or static analysis, this paper proposes the direct co-simulation of SoC specifications and UML. sequence diagrams. In order to cope with the lack of formal execution semantics in UML sequence diagrams, we benefit from the flexibility of actor-orientation so that alternative execution semantics can be assigned to a given diagram by the designer using an extensible library of directors.

KW - UML

KW - Sequence Diagram

KW - Message Sequence Charts

KW - Actor-Orientation

KW - Embedded Systems

KW - Electronic System Level

KW - SYSTEMS

KW - DESIGN

U2 - 10.1145/1284480.1284567

DO - 10.1145/1284480.1284567

M3 - Conference contribution

SN - 978-1-59593-816-9

SP - 330

EP - 335

BT - Proc 20th Symposium on Integrated Circuits and Systems Design (SBCCI)

PB - ACM

CY - New York

ER -