DETECTING EMERGENT BEHAVIOR IN DISTRIBUTED SYSTEMS USING SCENARIO-BASED SPECIFICATIONS

被引：0

作者：

Moshirpour, Mohammad ^{[1
]}

Mousavi, Abdolmajid ^{[1
]}

Far, Behrouz H. ^{[1
]}

机构：

[1] Univ Calgary, Dept Elect & Comp Engn, Calgary, AB T2N 1N4, Canada

来源：

22ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING & KNOWLEDGE ENGINEERING (SEKE 2010) | 2010年

关键词：

Distributed systems; Emergent behavior; Message sequence chart;

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Emergent behavior is an important issue in distributed systems' design. Detecting and removing emergent behavior during the design phase will lead to huge savings in deployment costs of such systems. An effective approach for the design of distributed systems is to describe system requirements using scenarios. A scenario, commonly known as a message sequence chart or a sequence diagram, is a temporal sequence of messages sent between system components. However, scenario-based specifications are prone to subtle deficiencies with respect to analysis and validation known as incompleteness and partial description. In this research, a method for detecting emergent behavior of scenario-based specification is proposed. The method is demonstrated and verified using a mine sweeping robot as an example.

引用

页码：349 / 354

页数：6

共 15 条

[1]

Adsul B, 2005, LECT NOTES COMPUT SC, V3821, P335, DOI 10.1007/11590156_27

[2] Inference of message sequence charts [J].

Alur, R ;

Etessami, K ;

Yannakakis, M .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2003, 29 (07) :623-633

[3]

[Anonymous], 1996, RECOMMENDATION Z 120

[4]

[Anonymous], 2006, UN MOD LANG SPEC VER

[5]

GOLDENSON D., 2003, DEMONSTRATING IMPACT

[6]

Harel D., 2002, International Journal of Foundations of Computer Science, V13, P5, DOI 10.1142/S0129054102000935

[7]

KRUGER I, 1999, DISTRIBUTED PARALLEL

[8]

Lohrey M., 2002, CONCUR 2002 - Concurrency Theory. 13th International Conference Proceedings (Lecture Notes in Computer Science Vol.2421), P177

[9] MAS -: an interactive synthesizer to support behavioral modeling in UML [J].

Mäkinen, E ;

Systä, T .

PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2001, :15-24

[10]

Mooij AJ, 2005, LECT NOTES COMPUT SC, V3442, P273, DOI 10.1007/978-3-540-31984-9_21

← 1 2 →