The hybridUML profile for UML 2.0

被引:20
|
作者
Berkenkötter K. [1 ]
Bisanz S. [1 ]
Hannemann U. [1 ]
Peleska J. [1 ]
机构
[1] University of Bremen, 28334 Bremen
关键词
Embedded systems; Hybrid automata; UML;
D O I
10.1007/s10009-005-0211-z
中图分类号
学科分类号
摘要
In this article, a new UML extension for the specification of hybrid systems, where observables may consist of both discrete and time-continuous parameters, is presented. Whereas hybrid modeling constructs are not available in standard UML, several specification formalisms for this type of system have been elaborated and discussed, among them the CHARON language of Alur et al. which possesses already several attractive features for modeling embedded real-time systems with hybrid characteristics. Adopting this as a basis, the profile inherits formal semantics based on CHARON, so it offers the possibility for formal reasoning about hybrid UML specifications. Conversely, the CHARON framework is associated with a new syntactic representation within the UML 2.0 world, allowing to develop hybrid specifications with arbitrary CASE tools supporting UML 2.0 and its profiling mechanism. The "look-and-feel" of the profile is illustrated by means of a case study of an embedded system controlling the cabin illumination in an aircraft. The benefits and weaknesses of the constructed hybrid UML profile are discussed, resulting in feed-back for the improvement of both UML 2.0 and the CHARON formalism. © Springer-Verlag 2006.
引用
收藏
页码:167 / 176
页数:9
相关论文
共 50 条
  • [1] UML 2.0 testing profile
    Dai, ZR
    [J]. MODEL-BASED TESTING OF REACTIVE SYSTEMS, 2005, 3472 : 497 - 521
  • [2] Security requirement with a UML 2.0 profile
    Rodriguez, Alfonso
    Fernandez-Medina, Eduardo
    Piattini, Mario
    [J]. FIRST INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY AND SECURITY, PROCEEDINGS, 2006, : 670 - +
  • [3] UML 2.0 profile for embedded system design
    Kukkala, P
    Riihimäki, J
    Hännikäinen, M
    Hämäläinen, TD
    Kronlöf, K
    [J]. DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS, 2005, : 710 - 715
  • [4] Testing UML2.0 models using TTCN-3 and the UML2.0 testing profile
    Baker, Paul
    Jervis, Clive
    [J]. SDL 2007: DESIGN FOR DEPENDABLE SYSTEMS, PROCEEDINGS, 2007, 4745 : 86 - 100
  • [5] A UML 2.0 Profile to Model Block Cipher Algorithms
    Balderas-Contreras, Tomas
    Rodriguez-Gomez, Gustavo
    Cumplido, Rene
    [J]. MODELLING FOUNDATIONS AND APPLICATIONS, PROCEEDINGS, 2010, 6138 : 20 - 31
  • [6] Modeling the railway control domain rigorously with a UML 2.0 profile
    Berkenkoetter, Kirsten
    Hannemann, Ulrich
    [J]. COMPUTER SAFETY, RELIABILTIY, AND SECURITY, PROCEEDINGS, 2006, 4166 : 398 - 411
  • [7] A SoC design methodology involving a UML 2.0 profile for SystemC
    Riccobene, E
    Scandurra, P
    Rosti, A
    Bocchio, S
    [J]. DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS, 2005, : 704 - 709
  • [8] A UML 2.0 profile to define security requirements for Data Warehouses
    Trujillo, Juan
    Soler, Emilio
    Fernandez-Medina, Eduardo
    Piattini, Mario
    [J]. COMPUTER STANDARDS & INTERFACES, 2009, 31 (05) : 969 - 983
  • [9] A UML 2.0 profile for architecting B3G applications
    Caporuscio, Mauro
    Issarny, Valerie
    [J]. RAPID INTEGRATION OF SOFTWARE ENGINEERING TECHNIQUES, 2007, 4401 : 18 - +
  • [10] The UML 2.0 Testing Profile and its relation to TTCN-3
    Schieferdecker, I
    Dai, ZR
    Grabowski, J
    Rennoch, A
    [J]. TESTING OF COMMUNICATING SYSTEMS, PROCEEDINGS, 2003, 2644 : 79 - 94