PerfBPEL: a graph-based approach for the performance analysis of BPEL SOA applications
Published 1 January 2012Open access
Enrico Barbierato, Mauro Iacono, S. Marrone
Citations15
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
A contribution to performance evaluation of SOA-based applications integrated by BPEL is presented, based on a performance-oriented reinterpretation of the BPEL specification as a performance modeling language within a multiformalism framework.
Abstract
Non-functional properties evaluation in Service Oriented Architecture (SOA) is still mostly an open challenge. Although this is a problem that has been already partially explored with some success, there is lack of consolidated results for more complex SOA applications based on services composition.
Keywords
Computer ScienceBusiness, Management and Accounting
Journal of Circuits Systems and ComputersTHE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT
2,684 Citations1998Wil M. P. van der Aalst
This paper introduces workflow management as an application domain for Petri nets, presents state-of-the-art results with respect to the verification of workflows, and highlights some Petri-net-based workflow tools.
Service-Oriented Architecture: Concepts, Technology, and Design
2,683 Citations2006Thomas Erl
Leading the way to the true service-oriented enterprise, Thomas Erl demystifies the complexities of the open WS-I standards with detailed practical discussions and case studies.
Lecture notes in computer scienceTransforming BPEL to Petri Nets
286 Citations2005Sebastian Hinz, Karsten Schmidt +1 more
A Petri net semantics for the Business Process Execution Language for Web Services (BPEL) that covers the standard behaviour of BPEL as well as the exceptional behaviour (e.g. faults, events, compensation).
Lecture notes in computer scienceA Feature-Complete Petri Net Semantics for WS-BPEL 2.0
164 Citations2008Niels Lohmann
An extension of a Petri net semantics for the Web Service Business Execution Language (WS-BPEL) covers the novel activities and constructs introduced by the recent WS- BPEL 2.0 specification and simplifies several aspects of the PetriNet semantics to allow for more compact models suited for computer-aided verification.
International Journal of Cooperative Information SystemsSERVICE-ORIENTED COMPUTING: A RESEARCH ROADMAP
152 Citations2008M. Papazoglou, Paolo Traverso +2 more
There is a need to merge technology with an understanding of business processes and organizational structures, a combination of recognizing an enterprise's pain points and the potential solutions that can be applied to correct them.
SHARPE 2002: Symbolic Hierarchical Automated Reliability and Performance Evaluator
90 Citations2003Kishor S. Trivedi
Software & Systems ModelingThe OsMoSys approach to multi-formalism modeling of systems
78 Citations2004Valeria Vittorini, Mauro Iacono +2 more
OsMoSys uses the proposed modeling approach to build multi-formalism models, and workflow management to achieve multi-solution, and its main objectives are the interoperability of different formalisms and the definition of mechanisms to guarantee the flexibility and the scalability of the modeling framework.
Electronic Notes in Theoretical Computer ScienceVerification of Web Services with Timed Automata
48 Citations2006Gregorio Dı́az, Juan-José Pardo +3 more
This paper shows how to use formal methods for describing and analyzing the behavior of Web Services, and more specifically those including time restrictions, by using a well known tool that supports this formalism (UPPAAL).
International Journal of Business Process Integration and ManagementComparing and evaluating Petri net semantics for BPEL
40 Citations2009Niels Lohmann, Eric Verbeek +2 more
This work compares two Petri net semantics for the Web Services Business Process Execution Language (BPEL) and reveals different modelling decisions that lead to different properties on the resulting models.
Quantitative Evaluation of SystemsSMART: the stochastic model checking analyzer for reliability and timing
35 Citations2004Gianfranco Ciardo, Andrew S. Miner
Computers & Mathematics with ApplicationsThe SIMTHESys multiformalism modeling framework
31 Citations2012Mauro Iacono, Enrico Barbierato +1 more
SIMTHESys is presented, a framework for the development of formal modeling languages and the solution of multiformalism models by automatically generated solvers based on different solving engines.
Modeling Web Service Choreography and Orchestration with Colored Petri Nets
27 Citations2007Xinguo Deng, Ziyu Lin +4 more
This paper presents the process and result of modeling Web service choreography and orchestration with colored Petri nets (CPNs) on the basis of analysis, simplicity and composition of WSCI.
Electronic Notes in Theoretical Computer ScienceDefining Formalisms for Performance Evaluation With SIMTHESys
27 Citations2011Enrico Barbierato, Marco Gribaudo +1 more
This paper explains how formalisms can be created in SIMTHESys by showing how three widely known modeling languages are successfully implemented.
Element Based Semantics in Multi Formalism Performance Models
27 Citations2010Mauro Iacono, Marco Gribaudo
This paper presents a novel approach to multiformalism compositional modeling, that is based on the possibility of freely specifying the dynamics of the elements of a formal modeling language in an open framework, by the application of consolidated metamodeling foundations to the description of models.
Performance Evaluation Methodolgies and ToolsExploiting multiformalism models for testing and performance evaluation in SIMTHESys
24 Citations2011Enrico Barbierato, Marco Gribaudo +1 more
Lecture notes in computer sciencePerformability Modeling of Exceptions-Aware Systems in Multiformalism Tools
22 Citations2011Enrico Barbierato, Marco Gribaudo +2 more
This paper aims at filling the gap in exception support for performability analysis by introducing a general mechanism to add support for exception handling to most of the existing formalisms.
Lecture notes in computer scienceEvaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System
21 Citations2006Stephen Gilmore, Mirco Tribastone
A modelling approach based on process algebra is presented which allows service providers to investigate how models of Web service execution scale with increasing client population sizes.
The software architecture of the OsMoSys multisolution framework
20 Citations2007Francesco Moscato, Francesco Flammini +4 more
Lecture notes in computer scienceCompositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys
20 Citations2004G. Franceschinis, Marco Gribaudo +4 more
The paper describes the implementation of a library of reusable SWN submodels of the contact center components and the definition of proper SWN connectors to easily develop models of different configurations of the system.
SMART: the stochastic model checking analyzer for reliability and timing
15 Citations2004Gianfranco Ciardo, Andrew S. Miner
The software architecture of the OsMoSys Multisolution Framework
13 Citations2007F. Moscato, Francesco Flammini +4 more
The software architecture of the OsMoSys Multi-solution Framework (OMF) is presented and it is shown that OMF was born to provide the support needed to allow for loosely coupled cooperation among heterogeneous analysis techniques and tools, and automates the tasks that must be performed to solve complex multiformalism models.
Lecture notes in computer scienceSynthesis of Web Services Orchestrators in a Timed Setting
11 Citations2008Fabio Martinelli, Ilaria Matteucci
This paper presents a framework based on partial model checking technique, process algebra and logic for the synthesis of Web Services orchestrators in a timed setting, and automatically generates an orchestrator process as a model of the request.
International journal of Computer Networks & CommunicationsPerformance Evaluation of Web Services Orchestrated with WS-BPEL4 People
9 Citations2010Henrique Jorge Amorim Holanda, Jose Merseguer Hernaiz +2 more
This paper proposes a model method for the transformation of WS-BPEL4People/BPel4People into Generalized Stochastic Petri Nets (GSPN) and this way evaluate its performance and validates the generated model so that some potential problems with performance ofWS-BP EL4People can be detected.
Exploiting multiformalism models for testing and performance evaluation in SIMTHESys
5 Citations2011Mauro Iacono, Marco Gribaudo +1 more
Four formalisms belonging to three different classes can interact together in a single environment and the potential of this approach is demonstrated by analyzing a model of an e-government process.