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 条
  • [31] Causal Models to Support Scenario-Based Testing of ADAS
    Maier, Robert
    Grabinger, Lisa
    Urlhart, David
    Mottok, Jurgen
    [J]. IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, 2024, 25 (02) : 1815 - 1831
  • [32] Scenario-Based Methods for Evaluating Collaborative Systems
    Haynes, Steven R.
    Purao, Sandeep
    Skattebo, Amie L.
    [J]. COMPUTER SUPPORTED COOPERATIVE WORK-THE JOURNAL OF COLLABORATIVE COMPUTING AND WORK PRACTICES, 2009, 18 (04): : 331 - 356
  • [33] Decision support systems in nuclear emergencies: a scenario-based comparison of domestic and reference tools
    Vamanu, D
    Slavnicu, SD
    Slavnicu, E
    Vamanu, B
    [J]. RADIATION PROTECTION DOSIMETRY, 2004, 112 (02) : 209 - 218
  • [34] Scenario-Based Methods for Evaluating Collaborative Systems
    Steven R. Haynes
    Sandeep Purao
    Amie L. Skattebo
    Steven R. Haynes
    [J]. Computer Supported Cooperative Work (CSCW), 2009, 18 : 331 - 356
  • [35] Visualizations for decision support in scenario-based multiobjective optimization
    Shavazipour, Babooshka
    Lopez-Ibanez, Manuel
    Miettinen, Kaisa
    [J]. INFORMATION SCIENCES, 2021, 578 : 1 - 21
  • [36] Scenario-Based Modeling in Industrial Information Systems
    Machado, Ricardo J.
    Fernandes, Joao M.
    Barros, Joao P.
    Gomes, Luis
    [J]. DISTRIBUTED, PARALLEL AND BIOLOGICALLY INSPIRED SYSTEMS, 2010, 329 : 19 - +
  • [37] Explainability Scenarios: Towards Scenario-based XAI Design
    Wolf, Christine T.
    [J]. PROCEEDINGS OF IUI 2019, 2019, : 252 - 257
  • [38] Scenario-Based Supply Network Design under Disruptions
    Klibi, Walid
    Martel, Alain
    [J]. PROCEEDINGS OF INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND SYSTEMS MANAGEMENT (IESM'2011): INNOVATIVE APPROACHES AND TECHNOLOGIES FOR NETWORKED MANUFACTURING ENTERPRISES MANAGEMENT, 2011, : 712 - 721
  • [39] Scenario-based system design with colored Petri nets: an application to train control systems
    Daohua Wu
    Eckehard Schnieder
    [J]. Software & Systems Modeling, 2018, 17 : 295 - 317
  • [40] Scenario-based system design with colored Petri nets: an application to train control systems
    Wu, Daohua
    Schnieder, Eckehard
    [J]. SOFTWARE AND SYSTEMS MODELING, 2018, 17 (01): : 295 - 317
12345