STATE-BASED COMPOSITION IN UML 2

被引:1
|
作者
Barbier, Franck [1 ]
Aretxandieta, Xabier [2 ]
机构
[1] Univ Pau & Pays Adour, PauWare Res Grp, F-64013 Pau, France
[2] Mondragon Unibertsitatea, Escuela Politecn Super, Arrasate Mondragon 20500, Spain
关键词
Software component; UML; composition;
D O I
10.1142/S0218194008003970
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
The Composition relationship or "black diamond" in the Unified Modeling Language (UML) is recognised for a long time as a key modeling construct. While prior research works demonstrated that this modeling operator had a dubious semantics, new expectations in the field of Component-Based Software Engineering especially, lead to revisit this operator so that it supports dynamical composition, and more precisely, composition modeling expressions and implementations that safely refer to states of software components. At first, the revision of the UML Composition must rely on well-formalized static dependencies between components as, for instance, the property of lifetime dependency between compound and constituent entities. This papers offers a UML metamodel and some associated logical assertions to strengthen the Composition relationship in UML 2. Despite the presence of new diagram types dedicated to composition (i.e., Composite Structure Diagrams), the UML 2 composition model is not yet sufficiently exhaustive and formal for dealing with all cases of composition, including those relating to agent, component or service computing and modeling.
引用
收藏
页码:987 / 1011
页数:25
相关论文
共 50 条
  • [1] A state-based approach to integration testing based on UML models
    Ali, Shaukat
    Briand, Lionel C.
    Rehman, Muhammad Jaffar-ur
    Asghar, Hajra
    Iqbal, Muhammad Zohaib Z.
    Nadeem, Aamer
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2007, 49 (11-12) : 1087 - 1106
  • [2] Integrated state-based dynamic slicing technique for UML models
    Lallchandani, J. T.
    Mall, R.
    [J]. IET SOFTWARE, 2010, 4 (01) : 55 - 78
  • [3] State-Based Dynamic Slicing Technique for UML Model Implementing DSA Algorithm
    Manjari, Behera Mamata
    Rasmita, Dash
    Rajashree, Dash
    [J]. ADVANCES IN COMPUTING AND INFORMATION TECHNOLOGY, 2011, 198 : 243 - 252
  • [4] Comparing the state-based and behavioural approaches to checking consistency between associations and state machines in UML
    Yeung, WL
    [J]. INTELLIGENT AND ADAPTIVE SYSTEMS AND SOFTWARE ENGINEERING, 2004, : 233 - 238
  • [5] Automated Transition from Use Cases to UML State Machines to Support State-Based Testing
    Yue, Tao
    Ali, Shaukat
    Briand, Lionel
    [J]. MODELLING FOUNDATIONS AND APPLICATIONS, 2011, 6698 : 115 - 131
  • [6] Hierarchical composition and aggregation of state-based availability and performability models
    Lanus, M
    Yin, L
    Trivedi, KS
    [J]. IEEE TRANSACTIONS ON RELIABILITY, 2003, 52 (01) : 44 - 52
  • [7] A State-Based Testing Method for Detecting Aspect Composition Faults
    Silveira, Fabio Fagundes
    da Cunha, Adilson Marques
    Lisboa, Maria Lucia
    [J]. COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2014, PT V, 2014, 8583 : 418 - +
  • [8] State-based planning
    不详
    [J]. INDUCTIVE SYNTHESIS OF FUNCTIONAL PROGRAMS: UNIVERSAL PLANNING, FOLDING OF FINITE PROGRAMS, AND SCHEMA ABSTRACTION BY ANALOGICAL REASONING, 2003, 2654 : 13 - 54
  • [9] State-based extension of CASL
    Baumeister, H
    Zamulin, A
    [J]. INTEGRATED FORMAL METHODS, PROCEEDINGS, 2000, 1945 : 3 - 24
  • [10] State-based targeted vaccination
    Lev, Tomer
    Shmueli, Erez
    [J]. APPLIED NETWORK SCIENCE, 2021, 6 (01)