Formalizing UML-based process models using graph transformations

被引：0
|
作者：
Schleicher, A [1 ]
机构：
[1] Rhein Westfal TH Aachen, Dept Comp Sci 3, D-52056 Aachen, Germany
来源：
APPLICATIONS OF GRAPH TRANSFORMATIONS WITH INDUSTRIAL RELEVANCE, PROCEEDINGS | 2000年 / 1779卷
关键词：
process modeling; process enactment; graph transformations; unified modeling language;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Supporting technical development processes through process management environments is vital for a project's success. While process enactment enables a project manager to plan and monitor a process and guides the participating developers, process modeling aims at understanding, communicating and reusing process descriptions. Thus, requirements for languages supporting process enactment are quite different from those for languages supporting process modeling. In this paper we demonstrate how the task of process modeling can be tackled using a standard object-oriented modeling notation, the Unified Modeling Language. By transforming the resulting model into the formal notation of an underlying generic process model, we support its enactment. This generic model has been formally specified within the graph transformation system PROGRES. In this way we are able to provide suitable languages for process modeling and enactment within one coherent environment.
引用
收藏
页码：341 / 357
页数：17
相关论文
共 50 条
  • [31] Autovesk: Automatic Vectorized Code Generation from Unstructured Static Kernels Using Graph Transformations
    Tayeb, Hayfa
    Paillat, Ludovic
    Bramas, Andberenger
    ACM TRANSACTIONS ON ARCHITECTURE AND CODE OPTIMIZATION, 2024, 21 (01)
  • [32] Supervised Intentional Process Models Discovery using Hidden Markov Models
    Khodabandelou, Ghazaleh
    Hug, Charlotte
    Deneckere, Rebecca
    Salinesi, Camille
    2013 IEEE SEVENTH INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN INFORMATION SCIENCE (RCIS), 2013,
  • [33] The Modeling and Simulation of Negotiation Process for High-tech Virtual Enterprise Based on UML and Petri Net
    Gao, Changyuan
    Zhang, Shuchen
    Zhang, Xiaoxing
    2010 THIRD INTERNATIONAL SYMPOSIUM ON INTELLIGENT INFORMATION TECHNOLOGY AND SECURITY INFORMATICS (IITSI 2010), 2010, : 455 - 459
  • [34] A Graph-Based Approach to Interpreting Recurrent Neural Networks in Process Mining
    Hanga, Khadijah Muzzammil
    Kovalchuk, Yevgeniya
    Gaber, Mohamed Medhat
    IEEE ACCESS, 2020, 8 : 172923 - 172938
  • [35] Interpretation of non-linear empirical data-based process models using global sensitivity analysis
    Chen, Tao
    Yang, Yanhui
    CHEMOMETRICS AND INTELLIGENT LABORATORY SYSTEMS, 2011, 107 (01) : 116 - 123
  • [36] Do software models based on the UML aid in source-code comprehensibility? Aggregating evidence from 12 controlled experiments
    Giuseppe Scanniello
    Carmine Gravino
    Marcela Genero
    José A. Cruz-Lemus
    Genoveffa Tortora
    Michele Risi
    Gabriella Dodero
    Empirical Software Engineering, 2018, 23 : 2695 - 2733
  • [37] Do software models based on the UML aid in source-code comprehensibility? Aggregating evidence from 12 controlled experiments
    Scanniello, Giuseppe
    Gravino, Carmine
    Genero, Marcela
    Cruz-Lemus, Jose A.
    Tortora, Genoveffa
    Risi, Michele
    Dodero, Gabriella
    EMPIRICAL SOFTWARE ENGINEERING, 2018, 23 (05) : 2695 - 2733
  • [38] Using neural networks to construct models of the molecular beam epitaxy process
    Lee, KK
    Brown, T
    Dagnall, G
    Bicknell-Tassius, R
    Brown, A
    May, GS
    IEEE TRANSACTIONS ON SEMICONDUCTOR MANUFACTURING, 2000, 13 (01) : 34 - 45
  • [39] TREE INJURY AND MORTALITY IN FIRES: DEVELOPING PROCESS-BASED MODELS
    Butler, Bret W.
    Dickinson, Matthew B.
    FIRE ECOLOGY, 2010, 6 (01): : 55 - 79
  • [40] Tree Injury and Mortality in Fires: Developing Process-Based Models
    Bret W. Butler
    Matthew B. Dickinson
    Fire Ecology, 2010, 6 : 55 - 79
12345