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 条
  • [11] Towards a Framework for Transforming Business Models into Business Processes
    Burkhart, Thomas
    Di Valentin, Christina
    Vanderhaeghen, Dominik
    Werth, Dirk
    Loos, Peter
    AMCIS 2012 PROCEEDINGS, 2012,
  • [12] On the Risk Management and Auditing of SOA Based Business Processes
    Orriens, Bart
    van der Heuvel, Willem-Jan
    Papazoglou, Mike
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION, PROCEEDINGS, 2008, 17 : 124 - 138
  • [13] An SOA Based Approach to Improve Business Processes Flexibility in PLM
    Hachani, Safa
    Gzara, Lilia
    Verjus, Herve
    TECHNOLOGICAL INNOVATION FOR SUSTAINABILITY, 2011, 349 : 67 - +
  • [14] Towards a Concurrence Analysis in Business Processes
    Nikiforova, Anastasija
    Bicevskis, Janis
    Karnitis, Girts
    2020 SEVENTH INTERNATIONAL CONFERENCE ON SOCIAL NETWORK ANALYSIS, MANAGEMENT AND SECURITY (SNAMS), 2020, : 256 - 261
  • [15] A Formal Framework for Diagnostic Analysis for Errors of Business Processes
    Roy, Suman
    Sajeev, A. S. M.
    TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY XI, 2016, 9930 : 226 - 261
  • [16] An infrastructure virtualisation SOA for VNO-based business models
    Nepal, Surya
    Chan, Jonathan
    Chen, Shiping
    Moreland, David
    Zic, John
    2007 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING, PROCEEDINGS, 2007, : 44 - +
  • [17] Designing Generic Business Processes Based on SOA: An Approach and a Use Case
    Kunti, Krishnendu
    Mysore, Ujval
    Apeksha
    BUSINESS PROCESS MANAGEMENT WORKSHOPS, 2009, 2010, 43 : 17 - 28
  • [18] Towards Impact Analysis of Data in Business Processes
    Tsoury, Arava
    Soffer, Pnina
    Reinhartz-Berger, Iris
    ENTERPRISE, BUSINESS-PROCESS AND INFORMATION SYSTEMS MODELING, BPMDS 2016, 2016, 248 : 125 - 140
  • [19] Formal behavior modeling: Business processes based on cloud platform
    Huang, Bo
    Xu, Yong
    Yuan, Mengting
    Wu, Guoqing
    Journal of Networks, 2013, 8 (06) : 1417 - 1424
  • [20] Dynamic Authentication for Cross-Realm SOA-Based Business Processes
    Xu, Jie
    Zhang, Dacheng
    Liu, Lu
    Li, Xianxian
    IEEE TRANSACTIONS ON SERVICES COMPUTING, 2012, 5 (01) : 20 - 32
12345