Filters








235 Hits in 2.2 sec

A semantical framework to engineering WSBPEL processes

Mohsen Rouached, Walid Fdhila, Claude Godart
2008 Information Systems and E-Business Management  
In an attempt to fill this gap, we describe a formalization of WSBPEL business processes, that adds communications semantics to the specifications of interacting Web Services, and uses a formal logic to  ...  While the technology for developing basic services and interconnecting them on a point-to-point basis has attained a certain level of maturity, there remain open challenges when it comes to engineering  ...  Mapping WSBPEL Processes to EC To analyse these processes, we firstly use a formal notation to build a model of the semantics of a WSBPEL process.  ... 
doi:10.1007/s10257-008-0081-5 fatcat:q6lltyb6nnb5pk5ppr5mnd7z6i

An Ontology-Based Approach to the Description and Execution of Composite Network Management Processes for Network Monitoring [chapter]

José María Fuentes, Jorge E. López de Vergara, Pablo Castells
2006 Lecture Notes in Computer Science  
Then, this specification is later translated to WSBPEL and interpreted by a real execution engine.  ...  However, other technologies, including the Web Services Business Process Execution Language (WSBPEL), provide more mature execution engines.  ...  In this work, ActiveBPEL Engine 4 has been used to run the WSBPEL process.  ... 
doi:10.1007/11907466_8 fatcat:eibu7lrepnd3lbymf634fjtfsu

Web Services Compositions Modelling and Choreographies Analysis

Mohsen Rouached, Walid Fdhila, Claude Godart
2010 International Journal of Web Services Research  
In (Rouached, Godart and al. 2006; Rouached, Godart 2007) , we have described the semantics of WSBPEL by way of mapping each of the WSBPEL (Arkin, Askary and al. 2004) constructs to the EC algebra and  ...  However, this modelling is limited to a local view and can only be used to model the behaviour of a single process.  ...  At run-time, a process execution engine executes the WSBPEL composition process and delivers the functionality of the process.  ... 
doi:10.4018/jwsr.2010040105 fatcat:ois3ifmjtrbb7nffzmfkhj4it4

Retracted: Towards Formal Verification of Web Service Composition [chapter]

Mohsen Rouached, Olivier Perrin, Claude Godart
2006 Lecture Notes in Computer Science  
We assume Web services that are coordinated by a composition process expressed in WSBPEL and we use Event Calculus to specify the properties and requirements to be monitored.  ...  Therefore, there is a growing interest for the verification techniques which enable designers to test and repair design errors even before actual running of the service, or allow designers to detect erroneous  ...  While executing the Web service composition, the process execution engine generates events which are sent as string streams to the event extractor of our framework.  ... 
doi:10.1007/11841760_18 fatcat:5tqzcgcojzddpcwxh3dbfms4wu

Towards Formal Verification of Web Service Composition [chapter]

Mohsen Rouached, Olivier Perrin, Claude Godart
2006 Lecture Notes in Computer Science  
We assume Web services that are coordinated by a composition process expressed in WSBPEL and we use Event Calculus to specify the properties and requirements to be monitored.  ...  Therefore, there is a growing interest for the verification techniques which enable designers to test and repair design errors even before actual running of the service, or allow designers to detect erroneous  ...  While executing the Web service composition, the process execution engine generates events which are sent as string streams to the event extractor of our framework.  ... 
doi:10.1007/11841760_43 fatcat:3wzjfwqoivhf5j7olulryg66d4

Probing and Monitoring of WSBPEL Processes with Web Services

H. Roth, J. Schiefer, A. Schatten
2006 The 8th IEEE International Conference on E-Commerce Technology and The 3rd IEEE International Conference on Enterprise Computing, E-Commerce, and E-Services (CEC/EEE'06)  
with other WSBPEL engines, information during process execution time.  ...  For the execution of business processes, In this paper, we propose a new approach to many organizations are increasingly using process monitor WSBPEL processes which overcomes the engines  ... 
doi:10.1109/cec-eee.2006.69 dblp:conf/wecwis/RothSS06 fatcat:gw5iyoslkfarhbpq4muvlbeyiu

Security Conscious Web Service Composition with Semantic Web Support

Barbara Carminati, Elena Ferrari, Ryan Bishop, Patrick C. K. Hung
2007 2007 IEEE 23rd International Conference on Data Engineering Workshop  
A Web service is a software system designed to support interoperable application-to-application interactions over the Internet.  ...  We propose a method for modeling security constraints and a brokered architecture to build composite Web services according to the specified security constraints.  ...  In short, a WSBPEL business process definition can be thought of as a template for creating business process instances.  ... 
doi:10.1109/icdew.2007.4401057 dblp:conf/icde/CarminatiFBH07 fatcat:64btrxml2zeithegkih7frocei

Auditable WSBPEL: probing and monitoring of business processes with web services

Josef Schiefer, Heinz Roth, Alexander Schatten
2007 International Journal of Business Process Integration and Management  
We show how to transform a WSBPEL model into an auditable model in order to seamlessly integrate audit trails on different process engines for monitoring purposes.  ...  In this paper, we introduce a web service based approach for probing WSBPEL processes.  ...  To avoid building a framework on the side of the auditing web service only to keep track of this correlation problem, the information should be obtained from the WSBPEL engine.  ... 
doi:10.1504/ijbpim.2007.014160 fatcat:npn5pwpdkzaxxgq2lps7mce7x4

CCMF, Computational Context Modeling Framework - An Ontological Approach to Develop Context-Aware Web Applications [chapter]

Luis Paulo, Paulo Caetano da Silv
2012 Semantics in Action - Applications and Scenarios  
(George & Ward, 2008) modify the WSBPEL engine to support the addition of context variables and sources (i.e. the sources are used to fill information in the variables); 7.  ...  (Bastida et al. 2008) proposes WSBPEL (WSBPEL, 2007) , Web Service Business Process Execution Language, to model adaptation based on context information extracted from software requirements; 6.  ...  , and public debate to software engineering.  ... 
doi:10.5772/38281 fatcat:spkwv455ozbmhlq7wor36cb4zy

Communications Semantics for WSBPEL Processes

Walid Fdhila, Mohsen Rouached, Claude Godart
2008 2008 IEEE International Conference on Web Services  
WSBPEL [2] opens up the possibility of applying a range of formal techniques to the verification of Web service behaviors from two points of view: constraints between activities within the same process  ...  The process of behavior analysis moves from a single local process to that of modelling and analyzing the behavior of multiple processes across composition domains.  ...  Instead, in our research work, we aim to provide a uniform framework that is capable of addressing this shortcoming by providing a guide on how to translate the semantics of the BPEL specification to EC  ... 
doi:10.1109/icws.2008.55 dblp:conf/icws/FdhilaRG08 fatcat:yhh7aqbzyjhxdihfxl7x7xd7dq

Design and management of business models and processes in services science

Yves Pigneur, Hannes Werthner
2008 Information Systems and E-Business Management  
Rouached et al. develop ''A Semantical Framework To Engineering WSBPEL Processes''.  ...  Attempting to fill this gap, the authors describe a formalization of WSBPEL business processes that adds communications semantics to the specifications of interacting web services, and uses a formal logic  ... 
doi:10.1007/s10257-008-0078-0 fatcat:35engljd7rerfk5kwyfb7piqwu

Security Conscious Web Service Composition

Barbara Carminati, Elena Ferrari, Patrick K. Hung
2006 2006 IEEE International Conference on Web Services (ICWS'06)  
A Web service is a software system designed to support interoperable application-to-application interactions over the Internet.  ...  We propose a method for modeling security constraints and a brokered architecture to build composite Web services according to the specified security constraints.  ...  In short, a WSBPEL business process definition can be thought of as a template for creating business process instances.  ... 
doi:10.1109/icws.2006.115 dblp:conf/icws/CarminatiFH06 fatcat:dsoufghnhjfa5jruokud26avjq

Web Service Mining and Verification of Properties: An Approach Based on Event Calculus [chapter]

Mohsen Rouached, Walid Gaaloul, Wil M. P. van der Aalst, Sami Bhiri, Claude Godart
2006 Lecture Notes in Computer Science  
Our work attempts to apply Web service log-based analysis and process mining techniques in order to provide semantical knowledge about the context of and the reasons for discrepancies between process models  ...  The work described in this paper is a contribution to these issues for Web services based process applications.  ...  While executing the composition process, the process execution engine generates events which are sent as string streams to the event collector of our framework.  ... 
doi:10.1007/11914853_25 fatcat:camgpxnalbdsbpflvcrsjp7ghm

Integrating Semantic and Syntactic Descriptions to Chain Geographic Services

R. Lemmens, A. Wytzisk, R.d. By, C. Granell, M. Gould, P. van Oosterom
2006 IEEE Internet Computing  
A geographic information systems workflow approach can use semantic and syntactic service descriptions to form service chains that can integrate service discovery, composition, and reuse.  ...  This method facilitates the use of XMLbased service description languages to build a geoservice-reuse architecture based on common ontologies and shared service descriptions.  ...  Although the resulting WSBPEL code is more verbose than one created manually, it's fully compliant with the standard to be executed by WSBPEL-compliant workflow engines.  ... 
doi:10.1109/mic.2006.106 fatcat:faf55q6t4ffb5nblxqnuz7xxpa

A model-driven approach for reusing service compositions

Carlos Granell, Michael Gould, Dolores María Llidó, Rafael Berlanga
2007 Proceedings of the 2007 Euro American conference on Telematics and information systems - EATIS '07  
In an effort to increase the level of service reusability, we present a model-driven approach providing a more flexible, structured service model to facilitate reuse of existing compositions to create  ...  abstract patterns, for managing reusable service composition; and provide a modeldriven approach for transforming such reusable building blocks into executable processes.  ...  On the positive side the WSBPEL specification is in widespread use due to the presence of several editors and workflow engines that support it.  ... 
doi:10.1145/1352694.1352735 dblp:conf/eatis/GranellGLL07 fatcat:xspkc3pavfdyxkpohv3hdcwn2y
« Previous Showing results 1 — 15 out of 235 results