892 Hits in 3.4 sec

High Assurance BPEL Process Models [chapter]

Mark Robinson, Hui Shen, Jianwei Niu
2009 High Assurance Services Computing  
Thus, there is a need for formal specification and analysis of BPEL compositions for high assurance satisfaction.  ...  This is due in part to the use of standardized composition languages like the Business Process Execution Language (BPEL).  ...  For our second example, we generated a valid execution trace for the BPEL process that did not include a required assertion combined fragment.  ... 
doi:10.1007/978-0-387-87658-0_11 fatcat:62df5g3llbdc3exldmhb4sbq2i

Designing Secure Service Workflows in BPEL [chapter]

Luca Pino, Khaled Mahbub, George Spanoudakis
2014 Lecture Notes in Computer Science  
The secure service composition patterns are used for two purposes: (a) to analyse whether a given workflow fragment satisfies a given security property, and (b) to generate compositions of services that  ...  This paper presents an approach that we have developed to support the design of secure service based applications in BPEL.  ...  Validation of Security of Individual Services and Workflow Fragments In order to validate whether a security property is satisfied by a fragment of a workflow, we assume that a fragment consists of a BPEL  ... 
doi:10.1007/978-3-662-45391-9_48 fatcat:g6fipo5w7bdfbavwzlckrroorq

Towards an UML Profile for Web Service Composition Based on Behavioral Descriptions

Ayoub Sabraoui, Ahmed Ettalbi, Mohammed El Koutbi, Abdeslam En-Nouaary
2012 Journal of Software Engineering and Applications  
As such, our method has the advantages of being independent of the Web service composition language and the UML modeling tool.  ...  Web service composition is one of the challenging issues that have been investigated over the past decade.  ...  Finally, combined fragment is an interaction fragment which defines a combination (expression) of interaction fragments.  ... 
doi:10.4236/jsea.2012.59084 fatcat:tcwlkcljebc4rcvljrtjvadpyi

A Survey on Formal Methods for Web Service Composition [article]

Yong Wang
2013 arXiv   pre-print
Through analyses of Web Service Composition, we establish a reference model called RM-WSComposition to capture elements of Web Service Composition.  ...  Based on the RM-WSComposition, issues on formalization for Web Service Composition are pointed out and state-of-the-art on formal methods for Web Service Composition is introduced.  ...  F denotes an actor fragment. [F ] {a} denotes a restriction of a fragment. Semantics for UserAgentWSO and its AAs is following.  ... 
arXiv:1306.5535v2 fatcat:vkrb56ydhbf2zpdzekw4lw72si

Guiding the Service Composition Process with Temporal Business Rules

Jun Han, Yan Jin, Zheng Li, Tan Phan, Jian Yu
2007 IEEE International Conference on Web Services (ICWS 2007)  
The guidance can be suggestions on the next valid steps in the business process, identifications of missing/misplaced steps, and/or propositions for inserting, deleting or reordering activities.  ...  While effort has been reported to verify a posteriori whether a given composition such as a BPEL schema satisfies the predefined behavioural properties, little effort has been made to utilise the properties  ...  The intersection of those sets of valid next steps along all the paths would be the set of valid expansion from the current point of the composition (line 12, 13).  ... 
doi:10.1109/icws.2007.94 dblp:conf/icws/HanJLPY07 fatcat:lxpv33dgbnds5brqv4yyfjffwi

Feasibility of EPC to BPEL Model Transformations Based on Ontology and Patterns [chapter]

Lucas O. Meertens, Maria-Eugenia Iacob, Silja M. Eckartz
2010 Lecture Notes in Business Information Processing  
Eleven guidelines and an approach to apply them provide methodological support to improve the feasibility of model transformation from EPC to BPEL.  ...  The framework is validated by evaluating the transformation of several models, including a real-life case. The framework indicates several limitations for transformation.  ...  This work is part of the IOP GenCom U-Care project which is sponsored by the Dutch Ministry of Economic Affairs under contract IGC0816.  ... 
doi:10.1007/978-3-642-12186-9_33 fatcat:azgqvommafg3fihspn7ffludzi

Application of Subject-Oriented Modeling in Automatic Service Composition [chapter]

Erwin Aitenbichler, Stephan Borgert
2010 Communications in Computer and Information Science  
In this paper, we discuss the suitability of different process definition languages for automatic service composition, show that subject-oriented modeling with PASS is well-suited for this domain, and  ...  This raises the need for a process definition language with a formal foundation and well-defined semantics.  ...  Acknowledgments This work was supported by the Theseus Programme, funded by the German Federal Ministry of Economy and Technology under the promotional reference 01MQ07012.  ... 
doi:10.1007/978-3-642-15915-2_6 fatcat:6fi4axwehzhphgcvwoa2aym2qu

Composing services on the grid using BPEL4SWS

Jörg Nitzsche, Tammo van Lessen, Dimka Karastoyanova, Frank Leymann, Pilar Herrero, Gonzalo Méndez
2009 Multiagent and Grid Systems  
In [23] we have shown how BPEL can be used even today in WSRF environments if generation of WSRF-specific fragments in corresponding BPEL processes is acceptable.  ...  BPEL BPEL is the de facto standard for specifying business processes in a WS world. It enables both, the composition of WSs [38] and rendering the composition itself as WSs.  ... 
doi:10.3233/mgs-2009-0130 fatcat:bthq4ows5rgjbflmh55q6bes4q

Introducing Security Access Control Policies into Legacy Business Processes

F´ber D. Giraldo, Mireille Blay-Fornarino, Sebastien Mosser
2011 2011 IEEE 15th International Enterprise Distributed Object Computing Conference Workshops  
Applying separation of concerns approaches into business process context generally results in several initiatives oriented to automatic generation of aspect code, generation of specific code according  ...  to the kind of concern (code for mapping roles and permissions derived from RBAC model for example), or proposition of new mechanisms as dedicated aspectual languages.  ...  F.G. thanks Prs Alexandre Bergel and Sergio Ochoa (University of Chile), Raquel Anaya and Luis Fernando Londoño (EAFIT University) for their collaborations.  ... 
doi:10.1109/edocw.2011.11 dblp:conf/edoc/GiraldoBM11 fatcat:jmhhwwmupzfphav7uoqv6qab5a

Implementing process views in the web service environment

Xiaohui Zhao, Chengfei Liu, Wasim Sadiq, Marek Kowalkiewicz, Sira Yongchareon
2010 World wide web (Bussum)  
In the FlexView framework, a rigorous view model is proposed to specify the dependency and correlation between structural components of process views with emphasis on the characteristics of WS-BPEL, and  ...  Aiming to implement such flexible process views in the Web service environment, this paper presents a novel framework named FlexView to support view abstraction and concretisation of WS-BPEL processes.  ...  These features characterise the control flow construction and composition in WS-BPEL.  ... 
doi:10.1007/s11280-010-0096-y fatcat:sepxlzq26ndwdjegwwsiwdmgyi

Towards a semantic infrastructure supporting model-based tool integration

G. Kramler, G. Kappel, T. Reiter, E. Kapsammer, W. Retschitzegger, W. Schwinger
2006 Proceedings of the 2006 international workshop on Global integrated model management - GaMMa '06  
For this, ModelCVS utilizes semantic technologies in terms of ontologies and supports different integration patterns at the metamodel level.  ...  ModelCVS enables transparent transformation of models between different tools' languages and exchange formats, as well as versioning exploiting the rich syntax and semantics of models, thus going beyond  ...  The metamodel fragments facilitate the integration of domain specific GUI and BPEL modeling tools, whose metamodels are directly mapped to metamodel fragments of the Gen tool.  ... 
doi:10.1145/1138304.1138314 fatcat:wsr5nid2nvdzvd4lly4pwqmxwu

SCENE: A Service Composition Execution Environment Supporting Dynamic Changes Disciplined Through Rules [chapter]

Massimiliano Colombo, Elisabetta Di Nitto, Marco Mauri
2006 Lecture Notes in Computer Science  
Service compositions are created by exploiting existing component services that are, in general, out of the control of the composition developer.  ...  level agreements, and the partial replanning of a composition.  ...  The binding preferences fragment also provides information about the validity of each binding. In the example, the binding is valid for a single invocation.  ... 
doi:10.1007/11948148_16 fatcat:tig4ftdqing2rb37riflpybtoy

A Fault-Tolerant Method for Enhancing Reliability of Services Composition Application in WSNs Based on BPEL

Zhao Wu, NaiXue Xiong, Wenlin Han, Yan N. Huang, Chun Y. Hu, Qiong Gu, Bo Hang
2013 International Journal of Distributed Sensor Networks  
Based on this framework, we analyze state transition and operational semantics in the case of both correct execution and exceptional execution of BPEL instance in WSNs.  ...  In this paper, we present our framework and approach to enhance the reliability of service composition applications in WSNs through modeling and analyzing a wireless sensor networks service application  ...  To verify the availability of exception handling and compensation mechanism of BPEL instance in WSNs, we validate the modeling and analysis methods for the execution context of BPEL in this paper.  ... 
doi:10.1155/2013/493678 fatcat:2c6plyju5rc2jbsav5tzzqqsma

Lightweight formal analysis of Web service flows

Shin Nakajima
2005 Progress in Informatics  
BPEL (Business Process Execution Language) is proposed as a standard language to describe Web service fl ows.  ...  A fl ow may contain multiple activities that are executed concurrently, and thus removing faults such as deadlocks or violations of application-specifi c properties is not easy.  ...  On the other hand, BPEL is a language for expressing behavioral compositions of Web service providers.  ... 
doi:10.2201/niipi.2005.2.5 fatcat:kbtappt2ffgwrdyh4ih66tm6kq

Web Service Composition

Angel Lagares Lemos, Florian Daniel, Boualem Benatallah
2015 ACM Computing Surveys  
Yet, the use and integration of Web services into composite services or applications, which is a highly sensible and conceptually non-trivial task, is still not unleashing its full magnitude of power.  ...  A consolidated analysis framework that advances the fundamental understanding of Web service composition building blocks in terms of concepts, models, languages, productivity support techniques, and tools  ...  Process Fragments. Process fragments are coarse-grained units of composition logic [Schumm et al. 2012] .  ... 
doi:10.1145/2831270 fatcat:7guhotzxiffnxnygbwdufogr4q
« Previous Showing results 1 — 15 out of 892 results