2,507 Hits in 3.6 sec

Modelling and verification of BPEL business processes

M. Mongiello, D. Castelluccia
Fourth Workshop on Model-Based Development of Computer-Based Systems and Third International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MBD-MOMPES'06)  
Therefore, we model a BPEL description of a generic business process with a formal model and we formalize correctness properties about the reliability of the business process design.  ...  Also, we build a framework that performs automatic verification of formal models of business processes through NuSMV model checker.  ...  Conclusion and Future Development In conclusion, in this paper we propose a formal model of a BPEL description of a generic business process and we build a tool for supporting model checking-based verification  ... 
doi:10.1109/mbd-mompes.2006.22 dblp:conf/mompes/MongielloC06 fatcat:7upehtblsbe5hbqzrqbazfzp3q

Formal consistency verification between BPEL process and privacy policy

Yin Hua Li, Hye-Young Paik, Boualem Benatallah
2006 Proceedings of the 2006 International Conference on Privacy, Security and Trust Bridge the Gap Between PST Technologies and Business Services - PST '06  
The privacy consistency verification framework is defined by a set of rules to build the system state and sets of constraints (positive and negative) to specify the wanted and unwanted substates.  ...  The graph-based specification formalism combines the advantages of an intuitive visual framework with rigorous semantical foundation that allows consistency checking between a business process and privacy  ...  VERBUS [12] is an automatic model-checking based verification system to ensure the correctness of the defined BPEL business processes in terms of a set of predefined properties.  ... 
doi:10.1145/1501434.1501466 dblp:conf/pst/LiPB06 fatcat:6ztyrdsfangirliko5m3r5j3iy

Transition between process models (BPMN) and service models (WS-BPEL and other standards): A systematic review

Marko Jurišić
2011 Journal of Information and Organizational Sciences  
BPMN and BPEL have become de facto standards for modeling of business processes and imple-mentation of business processes via Web services.  ...  while BPEL is basicallya block-based programming language.  ...  Introduction During the last several years BPMN (Business Process Model and Notation) has become a de facto standard for modeling of business processes.  ... 
doaj:226a92b8a1d34c4f8d937bd564bbb1a7 fatcat:u75a4kwj55esriqtc5nz2l6lje

A Survey of Formal Verification for Business Process Modeling [chapter]

Shoichi Morimoto
2008 Lecture Notes in Computer Science  
The establishment of the verification will be surely helpful toward solving the problems on business process reengineering, business process management, service-oriented architecture, and so on.  ...  They have defined semantics of the models and applied various logics and formal methods to verification of the rigorousness.  ...  Formal Verification of Business Process Models Basic Logics of the Verification To verify formally business process models, it is firstly required to give the formal semantics to the models.  ... 
doi:10.1007/978-3-540-69387-1_58 fatcat:thdl3ghdcrc2bnzqtih6czsyzi

Verifying BPEL Workflows Under Authorisation Constraints [chapter]

Zhao Xiangpeng, Antonio Cerone, Padmanabhan Krishnan
2006 Lecture Notes in Computer Science  
Research on formal modelling and verification of BPEL has largely concentrated on control flow and data flow, while security related properties have received little attention.  ...  Business Process Execution Language (BPEL), or Web Services BPEL (WS-BPEL), is the standard for specifying workflow process definition using web services.  ...  BPEL and RBAC BPEL is an XML-based language for the composition of executable business processes based on web services.  ... 
doi:10.1007/11841760_36 fatcat:bd45gg5odze35ga5z6karxfexe

Formal Modeling and Discrete-Time Analysis of BPEL Web Services [chapter]

Radu Mateescu, Sylvain Rampacek
2008 Lecture Notes in Business Information Processing  
The discrete-time transition systems modeling the behavior of Bpel descriptions are obtained by an exhaustive simulation based on a formalization of Bpel semantics using the Algebra of Timed Processes  ...  We propose in this paper a tool-equipped methodology allowing the formal modeling and analysis of Web services described in the Bpel language.  ...  In this paper, we propose a tool-supported approach for the formal modeling and analysis of business processes and Web services described in Bpel.  ... 
doi:10.1007/978-3-540-68644-6_13 fatcat:dtis4on4vjfnxkodgipn2lzobu

Hybrid Analysis of BPEL Models with Grammars

Erwin de Jager, Stijn de Gouw
2020 Conference on Current Trends in Theory and Practice of Informatics  
BPEL (Business Process Execution Language) is a language to formally describe business processes, and synthesize suitable executable orchestration code for web-services accordingly.  ...  In particular, the subset of BPEL of so-called straight-through processes (STP), tailored for short-living processes, is used in banks and tax administrations to process large numbers of transactions per  ...  One of the main languages used to optimize and formalize such processes in an executable model is BPEL (Business Process Execution Language), as described in the WS-BPEL 2.0 standard [12] .  ... 
dblp:conf/sofsem/JagerG20 fatcat:t7il232bmjc7jdf6kyatsflize

A Development of AWSCPM Framework for Automation of Web Services Composition Processes

Nouha Adadi, Mohammed Berrada, Driss Chenouni, Mohamed Halim
2019 Journal of Engineering and Applied Sciences  
processes: business process BPMN, executable process BPEL and formal process LOTOS.  ...  ) Model, formal verification using LOTOS language and implementation using BPEL language.  ...  of processes in the three tasks of our approach: specification using BPMN notation (Business Process Model and Notation) (Chand and Chircu, 2012) and MARDS Model, formal verification using LOTOS language  ... 
doi:10.36478/jeasci.2019.10442.10451 fatcat:fzbq5p4b25hzbj2vwl4dihenn4

Integration of business process modeling and Web services: a survey

Katarina Grolinger, Miriam A. M. Capretz, Americo Cunha, Said Tazi
2013 Service Oriented Computing and Applications  
We are interested in business process representations such as BPMN (Business Process Modeling Notation) and EPCs (Event-Driven Process Chains).  ...  This paper reviews previous work on the integration of business process representations and Web service technologies.  ...  [90] and Yeung [91] exemplify the verification process of BPEL models. Lomuscio et al.  ... 
doi:10.1007/s11761-013-0138-2 fatcat:nfgzydebvbfmvm4ihvn5mpoeuq

Transformational Design of Business Processes for SOA [chapter]

Andrzej Ratkowski, Andrzej Zalewski
2011 Lecture Notes in Computer Science  
To check equivalence of business processes resulting from the transformations, a BPEL description is converted to Process Algebra (Lotos version) and model-checking techniques are applied.  ...  By describing business processes in BPEL (Business Process Execution Language) one can make them executable.  ...  BPEL has become a standard for defining executable business processes. This in turn triggered an extensive research on the modeling and verification techniques suitable for BPEL-like notations.  ... 
doi:10.1007/978-3-642-22386-0_6 fatcat:j5ghs57f6fhttmjo24sgaqcehu

Transformational Design of Business Processes in BPEL Language

Piech Bart�omiej, Zalewski Andrzej, Ratkowski Andrzej
2009 e-Informatica Software Engineering Journal  
A transformational approach to the design of executable processes in Business Process Execution Language (BPEL) is presented.  ...  The initial business process can be denoted in BPEL, then a series of transformations is executed upon it.  ...  BPEL have become a standard for defining executable business processes. This in turn triggered an extensive research on the model-ing and verification techniques suitable for those processes.  ... 
doaj:dcb3222970e84677a898036c2b07ff11 fatcat:3uapjv4qurflpj37adapmjwqem

Deriving semantics from WS-BPEL specifications of parallel business processes on an example
Извлечение семантики из спецификаций WS-BPEL обработки параллельных процессов в бизнесе на примере

Vladimir Dimitrov
2015 Компьютерные исследования и моделирование  
Following that, it is easy to specify WS-BPEL business process with unwanted features. That is why the verification of WS-BPEL business processes is very important.  ...  WS-BPEL is a widely accepted standard for specification of business distributed and parallel processes. This standard is a mismatch of algebraic and Petri net paradigms.  ...  Verification of an abstract business process means a verification of the whole class of executable business processes that it represents. 2.  ... 
doi:10.20537/2076-7633-2015-7-3-445-454 fatcat:rdabm7l2tvdojk4fhb3j7ul7aa

A verification strategy for web services composition using enhanced stacked automata model

Danapaquiame Nagamouttou, Ilavarasan Egambaram, Muthumanickam Krishnan, Poonkuzhali Narasingam
2015 SpringerPlus  
the intact business process of an enterprise can be made.  ...  Many new standards have been defined to decipher web service composition problem namely Business Process Execution Language (BPEL).  ...  Authors' contributions Departed transition and deadlock problem is identified and rectified. All authors read and approved the final manuscript. Received: 15 July 2014 Accepted: 8 January 2015  ... 
doi:10.1186/s40064-015-0805-1 pmid:25810951 pmcid:PMC4369210 fatcat:gnmbrywpm5aelklgv2wwroug4u

A static compliance-checking framework for business process models

Y. Liu, S. Muller, K. Xu
2007 IBM Systems Journal  
The benefit of our method is threefold: Through the automated verification of a large set of business process models, our approach increases deployment efficiency and lowers the risk of installing non-compliant  ...  The proposed method allows for the separate modeling of both process models and compliance concerns.  ...  The ordering of the author list follows the principle of alphabetical ordering according to the first character of family name.  ... 
doi:10.1147/sj.462.0335 fatcat:pqpnxtibaja27dr2rcetvvwdda

Semantic wiki aided business process specification

Toufeeq Hussain, Rajesh Balakrishnan, Amar Viswanathan
2009 Proceedings of the 18th international conference on World wide web - WWW '09  
The system uses a Semantic Wiki to enable collaboration between the various stakeholders involved in the design of the system and translates the captured intelligence into business models which are used  ...  This paper formulates a collaborative system for modeling business application.  ...  By using semantic wiki and business process modeling, we intend to reduce the number of iterations in the process of creating the final design document.  ... 
doi:10.1145/1526709.1526894 dblp:conf/www/HussainBV09 fatcat:4ykmalwbzfb6dox6d6laz46iqm
« Previous Showing results 1 — 15 out of 2,507 results