MESA: Support for scenario-based design of concurrent systems

被引：0
|
作者：
Ben-Abdallah, H [1 ]
Leue, S
机构：
[1] Univ Sfax, Fac Sci Econ & Gest, Sfax, Tunisia
[2] Univ Waterloo, Waterloo, ON N2L 3G1, Canada
来源：
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS | 1998年 / 1384卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The latest ITU-T standard syntax of Message Sequence Charts (MSCs) [16] offers several operators to compose MSCs in a hierarchical, iterating, and nondeterministic way. However, current tools operate on MSCs that describe finite, deterministic behavior. ln this paper, we describe the architecture and the partial implementation of Mesa, an MSC-based tool that supports early phases of the software development cycle. The main functionalities of MESA are: an environment for the composition of system models through MSCs, syntactic and model-based analysis of an MSC model, and resolution of resource related underspecifications in an MSC model.
引用
收藏
页码：118 / 135
页数：18
相关论文
共 50 条
  • [1] Scenario-based design of cooperative systems
    Jakob Bardram
    [J]. Group Decision and Negotiation, 2000, 9 (3) : 237 - 250
  • [2] A DESIGN SUPPORT SYSTEM FOR SCENARIO-BASED LIFECYCLE DESIGN
    Fukushige, Shinichi
    Kunii, Eisuke
    Yamamoto, Kazuhiro
    Umeda, Yasushi
    [J]. PROCEEDINGS OF THE ASME INTERNATIONAL DESIGN ENGINEERING TECHNICAL CONFERENCES AND COMPUTERS AND INFORMATION IN ENGINEERING CONFERENCE, 2011, VOL 9, 2012, : 919 - 927
  • [3] SCENARIO-BASED DESIGN FOR AMORPHOUS SYSTEMS
    Kim, Sun K.
    Ishii, Kosuke
    Beiter, Kurt A.
    [J]. IMECE2008: PROCEEDINGS OF THE ASME INTERNATIONAL MECHANICAL ENGINEERING CONGRESS AND EXPOSITION, VOL 4: DESIGN AND MANUFACTURING, 2009, : 191 - 201
  • [4] Scenario-based systems design for quality engineering
    Priest, JW
    Burnell, L
    Haddock, G
    Silva, J
    [J]. 1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 4866 - 4871
  • [5] Scenario-Based Proofs for Concurrent Objects
    Enea, Constantin
    Koskinen, Eric
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (OOPSLA):
  • [6] Scenario-Based Spatial Decision Support for Network Infrastructure Design
    Paulus, Gernot
    Krch, Martin
    Scholz, Johannes
    Bachhiesl, Peter
    [J]. EUROPEAN INFORMATION SOCIETY: TAKING GEOINFORMATION SCIENCE ONE STEP FURTHER, 2009, : 323 - +
  • [7] Scenario-based installability design
    Xiao Shanghong
    [J]. Human-Computer Interaction, Pt 1, Proceedings: INTERACTION DESIGN AND USABILITY, 2007, 4550 : 283 - 288
  • [8] Scenario-based agent design
    Wang, ZJ
    Ding, P
    Sheng, HY
    [J]. 2003 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-5, PROCEEDINGS, 2003, : 480 - 484
  • [9] Scenario-based systems architecting
    Galal, GH
    [J]. FIFTH IEEE INTERNATIONAL SYMPOSIUM ON REQUIREMENTS ENGINEERING, PROCEEDINGS, 2001, : 318 - 319
  • [10] Conceiving scenario-based IS support for knowledge synthesis: An organization architect's design challenge in systems thinking
    Vat, KH
    [J]. ISAS/CITSA 2004: INTERNATIONAL CONFERENCE ON CYBERNETICS AND INFORMATION TECHNOLOGIES, SYSTEMS AND APPLICATIONS AND 10TH INTERNATIONAL CONFERENCE ON INFORMATION SYSTEMS ANALYSIS AND SYNTHESIS, VOL 1, PROCEEDINGS: COMMUNICATIONS, INFORMATION TECHNOLOGIES AND COMPUTING, 2004, : 101 - +
12345