Graph Transformation-Based Approach to Formal Modeling and Verification of Workflows

被引：0
|
作者：
Rafe, Vahid [1 ]
Rahmani, Adel T. [1 ]
机构：
[1] Iran Univ Sci & Technol, Dept Comp Engn, Tehran, Iran
来源：
ADVANCES IN COMPUTER SCIENCE AND ENGINEERING | 2008年 / 6卷
关键词：
Workflow Modeling; Graph Transformation; Verification; Model Checking;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
This paper proposes a formal approach to modeling and verification of workflows using graph transformation systems. To model workflows, we use UML 2.0 activity diagrams. As this kind of diagram does not possess a precise formal semantics, therefore we propose a formal semantics for dynamic behavior of activity diagrams using graph transformation systems and then we verify them by model checking. To verify workflows, we use our previous approach to model checking of graph transformation systems - using Bogor model checker to verify graph transformation systems-.
引用
收藏
页码：291 / 298
页数：8
相关论文
共 50 条
  • [1] A Formal Verification Approach for Robotic Workflows
    Rathmair, Michael
    Haspl, Thomas
    Komenda, Titanilla
    Reiterer, Bernhard
    Hofbaur, Michael
    [J]. 2021 20TH INTERNATIONAL CONFERENCE ON ADVANCED ROBOTICS (ICAR), 2021, : 670 - 675
  • [2] A Graph Transformation-Based Approach for applying MDA to SOA
    Taghizadeh, F.
    Taghizadeh, S. R.
    [J]. FCST 2009: PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON FRONTIER OF COMPUTER SCIENCE AND TECHNOLOGY, 2009, : 446 - +
  • [3] Stubby: A Transformation-based Optimizer for MapReduce Workflows
    Lim, Harold
    Herodotou, Herodotos
    Babu, Shivnath
    [J]. PROCEEDINGS OF THE VLDB ENDOWMENT, 2012, 5 (11): : 1196 - 1207
  • [4] Towards formal verification of UML diagrams based on graph transformation
    Zhao, Y
    Fan, YS
    Bai, XM
    Wang, Y
    Cai, H
    Ding, W
    [J]. PROCEEDINGS OF THE IEEE INTERNATIONAL CONFERENCE ON E-COMMERCE TECHNOLOGY FOR DYNAMIC E-BUSINESS, 2004, : 180 - 187
  • [5] Exploiting constraints in transformation-based verification
    Mony, H
    Baumgartner, J
    Aziz, A
    [J]. CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, PROCEEDINGS, 2005, 3725 : 269 - 284
  • [6] Transformation-Based Monetary Cost Optimizations for Workflows in the Cloud
    Zhou, Amelie Chi
    He, Bingsheng
    [J]. IEEE TRANSACTIONS ON CLOUD COMPUTING, 2014, 2 (01) : 85 - 98
  • [7] Transformation-Based Operationalization of Graph Languages
    Weinell, Erhard
    [J]. GRAPH TRANSFORMATIONS, ICGT 2008, 2008, 5214 : 520 - 522
  • [8] From Class Diagrams to Relational Tables: A Graph Transformation-based Approach
    Rafe, Vahid
    Jamali, Shahram
    Rahmani, Mohsen
    Mahdian, Farzaneh
    [J]. PRZEGLAD ELEKTROTECHNICZNY, 2011, 87 (08): : 163 - 165
  • [9] Transformation-Based Approach to Security Verification for Cyber-Physical Systems
    Mili, Saoussen
    Nguyen, Nga
    Chelouah, Rachid
    [J]. IEEE SYSTEMS JOURNAL, 2019, 13 (04): : 3989 - 4000
  • [10] A graph transformation-based approach for the validation of checkpointing algorithms in distributed systems
    Khlif, Houda
    Kacem, Hatem Hadj
    Hernandez, Saul E. Pomares
    Eichler, Cedric
    Kacem, Ahmed Hadj
    Simon, Alberto Calixto
    [J]. 2014 IEEE 23RD INTERNATIONAL WETICE CONFERENCE (WETICE), 2014, : 80 - 85
12345