An approach for Modeling real-time aspects using UML scenarios

被引:0
|
作者
Bennani, M [1 ]
Elkoutbi, M [1 ]
Nafil, K [1 ]
机构
[1] Ecole Natl Super Informat & Anal Syst, Rabat, Morocco
关键词
real-time aspects modeling; scenario engineering; UML models transformation;
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
In this paper, we suggest a requirement engineering process that is fully compliant with the standard Unified Modeling Language (UML). It offers a framework with algorithmic support for modeling real-time aspects using UML scenarios. In the step of requirements, scenarios are acquired in form of collaboration diagrams as defined by the UML, and are enriched with real-time information. From each scenario, we derive automatically Statechart specifications of all the objects involved. Scenarios specifications corresponding to the same object are then merged to obtain a global specification which can be used as input for the verification activity.
引用
收藏
页码:200 / 212
页数:13
相关论文
共 50 条
  • [1] Real-time modeling with UML:: The ACCORD approach
    Lanusse, A
    Gérard, S
    Terrier, F
    [J]. UNIFIED MODELING LANGUAGE: UML'98: BEYOND THE NOTATION, 1999, 1618 : 319 - 335
  • [2] Evaluating UML extensions for modeling real-time systems
    Bichler, L
    Radermacher, A
    Schürr, A
    [J]. PROCEEDINGS OF THE SEVENTH IEEE INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, 2002, : 271 - 278
  • [3] UML Profiles for Modeling Real-Time Communication Protocols
    Kumar, Barath
    Jasperneite, Juergen
    [J]. JOURNAL OF OBJECT TECHNOLOGY, 2010, 9 (02): : 178 - 198
  • [4] UML extensions for modeling real-time and embedded systems
    Szostak, S
    Robak, S
    Stryjski, R
    Franczyk, B
    [J]. DESDES '1: PROCEEDINGS OF THE INTERNATIONAL WORKSHOP ON DISCRETE-EVENT SYSTEM DESIGN, 2001, : 109 - 114
  • [5] Unified modeling of real-time control systems and their physical environments using UML
    Axelsson, J
    [J]. EIGHTH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER BASED SYSTEMS, PROCEEDINGS, 2001, : 18 - 25
  • [6] Real-time collaborative software modeling using UML with rational software architect
    Liu, Siyuan
    Zheng, Yang
    Shen, Haifeng
    Xia, Steven
    Sun, Chengzheng
    [J]. 2006 INTERNATIONAL CONFERENCE ON COLLABORATIVE COMPUTING: NETWORKING, APPLICATIONS AND WORKSHARING, 2006, : 39 - +
  • [7] Distributed real-time behavioral requirements modeling using extended UML/SPT
    Gherbi, Abdelouahed
    Khendek, Ferhat
    [J]. SYSTEM ANALYSIS AND MODELING: LANGUAGE PROFILES, 2006, 4320 : 34 - +
  • [8] Modeling Real-Time Multi-Core Embedded System Using UML
    Abdel-Qader, Jareer H.
    Walker, Roger S.
    [J]. PROCEEDINGS OF THE 2009 SIXTH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: NEW GENERATIONS, VOLS 1-3, 2009, : 1642 - 1643
  • [9] Pattern synthesis from multiple scenarios for parameterized real-time UML models
    Giese, H
    Klein, F
    Burmester, S
    [J]. SCENARIOS: MODELS, TRANSFORMATIONS AND TOOLS, 2005, 3466 : 193 - 211
  • [10] UML statechart based rigorous modeling of real-time system
    赖明志
    尤晋元
    [J]. Journal of Harbin Institute of Technology(New series), 2005, (01) : 74 - 80