TOWARDS FORMAL AND DEDUCTION-BASED ANALYSIS OF BUSINESS MODELS FOR SOA PROCESSES

被引：13
|
作者：
Klimek, Radoslaw [1 ]
机构：
[1] AGH Univ Sci & Technol, PL-30059 Krakow, Poland
来源：
ICAART: PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL. 2 | 2012年
关键词：
Business models; BPMN; SOA and software agents; Formal verification; Deductive reasoning; Semantic tableaux; Temporal logic; Workflow design patterns; Generating specifications;
D O I：
10.5220/0003740503250330
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
The paper concerns formal analysis and verification of business models expressed in BPMN as a visualization of SOA processes. This verification is based on deductive reasoning which is in a certain kind of opposition to the well-known approaches based on state exploration (model checking). Semantic tableaux arc proposed as a method of inference. Both the logical specification and the desired system properties are expressed in the smallest linear temporal logic. Automatic transformations of business models (expressed as workflow patterns) to temporal logic formulas are proposed. These formulas constitute a logical specification of the analyzed model. An algorithm for generation of a logical specification is presented.
引用
收藏
页码：325 / 330
页数：6
相关论文
共 50 条
  • [21] Semi-formal transformation of secure business processes into analysis class and use case models: An MDA approach
    Rodriguez, Alfonso
    Garcia-Rodriguez de Guzman, Ignacio
    Fernandez-Medina, Eduardo
    Piattini, Mario
    INFORMATION AND SOFTWARE TECHNOLOGY, 2010, 52 (09) : 945 - 971
  • [22] Towards Agile Business Processes Based on the Internet of Things
    Schmidt, Benedikt
    Schief, Markus
    ADVANCED MANUFACTURING AND SUSTAINABLE LOGISTICS, PROCEEDINGS, 2010, 46 : 257 - 262
  • [23] Formal Semantics for Modeling Collaborative Business Processes Based on Interaction Protocols
    Reynares, Emiliano
    Roa, Jorge
    Laura Caliusco, Maria
    David Villarreal, Pablo
    BUSINESS PROCESS MANAGEMENT WORKSHOPS (BPM 2017), 2018, 308 : 770 - 781
  • [24] Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints: An Action-Based Approach
    Armando, Alessandro
    Giunchiglia, Enrico
    Ponta, Serena Elisa
    TRUST, PRIVACY AND SECURITY IN DIGITAL BUSINESS, PROCEEDINGS, 2009, 5695 : 63 - 72
  • [25] An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints
    Armando, Alessandro
    Giunchiglia, Enrico
    Maratea, Marco
    Ponta, Serena Elisa
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2012, 78 (01) : 119 - 141
  • [26] Survivability Analysis of SOA based on Attack Tree Models
    Xiao, Yi
    Wang, Yong J.
    Huang, Zun G.
    PROCEEDINGS OF 2012 IEEE 14TH INTERNATIONAL CONFERENCE ON COMMUNICATION TECHNOLOGY, 2012, : 819 - 823
  • [27] Performance assessment architecture for collaborative business processes in BPM-SOA-based environment
    Hachicha, Maroua
    Fahad, Muhammad
    Moalla, Nejib
    Ouzrout, Yacine
    DATA & KNOWLEDGE ENGINEERING, 2016, 105 : 73 - 89
  • [28] DESIGNING A SYSTEM FOR MODELING THE ECONOMIC PROCESSES BASED ON FORMAL MODELS
    Avram, Calin
    Gligor, Adrian
    Avram, Eleonora Laura
    INTERNATIONAL CONFERENCE ON INFORMATICS IN ECONOMY, 2013, : 249 - 253
  • [29] Towards a Component-based Description of Business Models: A State-of-the-Art Analysis
    Krumeich, Julian
    Burkhart, Thomas
    Werth, Dirk
    Loos, Peter
    AMCIS 2012 PROCEEDINGS, 2012,
  • [30] Scenario-based Method for Business Process Analysis and Improvement in SOA
    Wang, Jianyi
    Jiang, Lihong
    Cai, Hongming
    2014 IEEE 11TH INTERNATIONAL CONFERENCE ON E-BUSINESS ENGINEERING (ICEBE), 2014, : 19 - 25
12345