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 条

[31] Towards BPEL in the Cloud: Exploiting Different Delivery Models for the Execution of Business Processes
Anstett, Tobias
Leymann, Frank
Mietzner, Ralph
Strauch, Steve
2009 IEEE CONGRESS ON SERVICES (SERVICES-1 2009), VOLS 1 AND 2, 2009, : 670 - 677
[32] Business process runtime models: towards bridging the gap between design, enactment, and evaluation of business processes
Anat Goldstein
Thomas Johanndeiter
Ulrich Frank
Information Systems and e-Business Management, 2019, 17 : 27 - 64
[33] Business process runtime models: towards bridging the gap between design, enactment, and evaluation of business processes
Goldstein, Anat
Johanndeiter, Thomas
Frank, Ulrich
INFORMATION SYSTEMS AND E-BUSINESS MANAGEMENT, 2019, 17 (01) : 27 - 64
[34] Towards the Formal Analysis of Microresonators based Photonic Systems
Siddique, Umair
Tahar, Sofiene
2014 DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION (DATE), 2014,
[35] Towards Formal Strategy Analysis with Goal Models and Semantic Web Technologies
Schuetz, Christoph G.
Schrefl, Michael
ADVANCES IN CONCEPTUAL MODELING, ER 2017, 2017, 10651 : 144 - 153
[36] Towards Formal Interaction-Based Models of Grid Computing Infrastructures
Ramirez Restrepo, Carlos Alberto
Perez, Jorge A.
Aranda, Jesus
Francisco Diaz-Frias, Juan
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (144): : 57 - 72
[37] Business models in project-based firms - Towards a typology of solution-specific business models
Kujala, Saara
Artto, Karlos
Aaltonen, Pertti
Turkulainen, Virpi
INTERNATIONAL JOURNAL OF PROJECT MANAGEMENT, 2010, 28 (02) : 96 - 106
[38] ACTION-BASED ANALYSIS OF BUSINESS PROCESSES
Karni, Reuven
Lincoln, Maya
ICEIS 2008: PROCEEDINGS OF THE TENTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL ISAS-1: INFORMATION SYSTEMS ANALYSIS AND SPECIFICATION, VOL 1, 2008, : 239 - +
[39] Value-based IT Decision Support Towards a formal business value model for steering IT-business alignment
Oliveira, Jose Augusto
Moura, Antao
Bartolini, Claudio
Hickey, Marianne
2009 IFIP/IEEE INTERNATIONAL SYMPOSIUM ON INTEGRATED NETWORK MANAGEMENT - WORKSHOPS, 2009, : 34 - +
[40] RolEnact: role-based enactable models of business processes
Phalp, KT
Henderson, P
Walters, RJ
Abeysinghe, G
INFORMATION AND SOFTWARE TECHNOLOGY, 1998, 40 (03) : 123 - 133

← 1 2 3 4 5 →