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

被引：0

作者：

Indrusiak, Leandro Soares ^{[1
]}

Thuy, Andreas ^{[1
]}

Glesner, Manfred ^{[1
]}

机构：

[1] Tech Univ Darmstadt, Inst Microelect Syst, Darmstadt, Germany

来源：

2007 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION, VOLS 1-3 | 2007年

关键词：

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

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.

引用

页码：301 / 306

页数：6

共 50 条

[41] A UML-based ontology for describing hospital information system architectures
Winter, A
Brigl, B
Wendt, T
MEDINFO 2001: PROCEEDINGS OF THE 10TH WORLD CONGRESS ON MEDICAL INFORMATICS, PTS 1 AND 2, 2001, 84 : 778 - 782
[42] Dependability analysis in the early phases of UML-based system design
Bondavalli, A
Dal Cin, M
Latella, D
Majzik, I
Pataricza, A
Savoia, G
COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 2001, 16 (05): : 265 - 275
[43] SPECIFICATION AND INSTANTIATION OF DOMAIN SPECIFIC PATTERNS BASED ON UML
Boubaker, Saoussen Rekhis
Bouassida, Nadia
Bouaziz, Rafik
ICEIS 2010: PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL 3: INFORMATION SYSTEMS ANALYSIS AND SPECIFICATION, 2010, : 230 - 235
[44] The design and implementation of UML-based students' information management system
Min, Huang
PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON MECHATRONICS, MATERIALS, CHEMISTRY AND COMPUTER ENGINEERING 2015 (ICMMCCE 2015), 2015, 39 : 3056 - 3061
[45] Using UML-based feature models and UML collaboration diagrams to information modelling for web-based applications
Dolog, P
Nejdl, W
UML 2004 - THE UNIFIED MODELING LANGUAGE: MODELING LANGUAGES AND APPLICATIONS, PROCEEDINGS, 2004, 3273 : 425 - 439
[46] Propositional logic constraint patterns and their use in UML-based conceptual modeling and analysis
Davis, James P.
Bonnell, Ronald D.
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2007, 19 (03) : 427 - 440
[47] Specification and Utilization of Core Assets: Feature-Oriented vs. UML-Based Methods
Reinhartz-Berger, Iris
Tsoury, Arava
ADVANCES IN CONCEPTUAL MODELING: RECENT DEVELOPMENTS AND NEW DIRECTIONS, 2011, 6999 : 302 - 311
[48] From Formal Specification of Code Mobility to Design and Implementation: an UML-based Mobile Agent Approach
Badica, Amelia
Badica, Costin
PROCEEDINGS OF THE 10TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING, 2009, : 297 - +
[49] ANALOG BEHAVIORAL SIMULATION - NOT YET SYSTEM-LEVEL
OHR, S
COMPUTER DESIGN, 1992, 31 (06): : 139 - 140
[50] Specification of integrity-preserving operations in information systems by using a formal UML-based language
Laleau, R
Polack, F
INFORMATION AND SOFTWARE TECHNOLOGY, 2001, 43 (12) : 693 - 704

← 1 2 3 4 5 →