Executable system-level specification models containing UML-based behavioral patterns

Leandro Soares Indrusiak; Andreas Thuy; Manfred Glesner

Executable system-level specification models containing UML-based behavioral patterns

Leandro Soares Indrusiak, Andreas Thuy, Manfred Glesner

Computer Science

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

Abstract

Behavioral patterns are useful abstractions to simplify the design of the communication-centric systems. Such patterns are traditionally described using UML diagrams, but the lack of execution semantics in UML prevents the co-validation of the patterns together with simulation models and executable specifications which are the mainstream in today's system level design flows. This paper proposes a method to validate UML-based behavioral patterns within executable system models. The method is based on actor orientation and was implemented as an extension of the Ptolemy II framework. A case study is presented and potential applications and extensions of the proposed method are discussed.

Original language	English
Title of host publication	2007 Design, Automation and Test in Europe Conference and Exposition (DATE 2007), April 16-20, 2007, Nice, France
Editors	Rudy Lauwereins, Jan Madsen
Publisher	ACM
Pages	301-306
Number of pages	6
ISBN (Electronic)	978-3-9810801-2-4
Publication status	Published - 2007

Access to Document

http://doi.acm.org/10.1145/1266366.1266430

Cite this

@inproceedings{e77616fe4b134bf9bae0cf05e66a0b41,

title = "Executable system-level specification models containing UML-based behavioral patterns",

abstract = "Behavioral patterns are useful abstractions to simplify the design of the communication-centric systems. Such patterns are traditionally described using UML diagrams, but the lack of execution semantics in UML prevents the co-validation of the patterns together with simulation models and executable specifications which are the mainstream in today's system level design flows. This paper proposes a method to validate UML-based behavioral patterns within executable system models. The method is based on actor orientation and was implemented as an extension of the Ptolemy II framework. A case study is presented and potential applications and extensions of the proposed method are discussed.",

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

year = "2007",

language = "English",

pages = "301--306",

editor = "Rudy Lauwereins and Jan Madsen",

booktitle = "2007 Design, Automation and Test in Europe Conference and Exposition (DATE 2007), April 16-20, 2007, Nice, France",

publisher = "ACM",

address = "United States",

}

Executable system-level specification models containing UML-based behavioral patterns. / Indrusiak, Leandro Soares; Thuy, Andreas; Glesner, Manfred.
2007 Design, Automation and Test in Europe Conference and Exposition (DATE 2007), April 16-20, 2007, Nice, France. ed. / Rudy Lauwereins; Jan Madsen. ACM, 2007. p. 301-306.

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

TY - GEN

T1 - Executable system-level specification models containing UML-based behavioral patterns

AU - Indrusiak, Leandro Soares

AU - Thuy, Andreas

AU - Glesner, Manfred

PY - 2007

Y1 - 2007

N2 - Behavioral patterns are useful abstractions to simplify the design of the communication-centric systems. Such patterns are traditionally described using UML diagrams, but the lack of execution semantics in UML prevents the co-validation of the patterns together with simulation models and executable specifications which are the mainstream in today's system level design flows. This paper proposes a method to validate UML-based behavioral patterns within executable system models. The method is based on actor orientation and was implemented as an extension of the Ptolemy II framework. A case study is presented and potential applications and extensions of the proposed method are discussed.

AB - Behavioral patterns are useful abstractions to simplify the design of the communication-centric systems. Such patterns are traditionally described using UML diagrams, but the lack of execution semantics in UML prevents the co-validation of the patterns together with simulation models and executable specifications which are the mainstream in today's system level design flows. This paper proposes a method to validate UML-based behavioral patterns within executable system models. The method is based on actor orientation and was implemented as an extension of the Ptolemy II framework. A case study is presented and potential applications and extensions of the proposed method are discussed.

M3 - Conference contribution

SP - 301

EP - 306

BT - 2007 Design, Automation and Test in Europe Conference and Exposition (DATE 2007), April 16-20, 2007, Nice, France

A2 - Lauwereins, Rudy

A2 - Madsen, Jan

PB - ACM

ER -