Branching time and abstraction in bisimulation semantics
Journal of the ACM (JACM)
Workflow mining: a survey of issues and approaches
Data & Knowledge Engineering
Workflow Mining: Discovering Process Models from Event Logs
IEEE Transactions on Knowledge and Data Engineering
Cremona: an architecture and library for creation and monitoring of WS-agreents
Proceedings of the 2nd international conference on Service oriented computing
A framework for requirents monitoring of service based systems
Proceedings of the 2nd international conference on Service oriented computing
Associating assertions with business processes and monitoring their execution
Proceedings of the 2nd international conference on Service oriented computing
Smart monitors for composed services
Proceedings of the 2nd international conference on Service oriented computing
Web services: a process algebra approach
Proceedings of the 2nd international conference on Service oriented computing
Web services navigator: visualizing the execution of web services
IBM Systems Journal
Conformance checking of processes based on monitoring real behavior
Information Systems
Business alignment: using process mining as a tool for Delta analysis and conformance testing
Requirements Engineering
WofBPEL: a tool for automated analysis of BPEL processes
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Transforming BPEL to petri nets
BPM'05 Proceedings of the 3rd international conference on Business Process Management
The prom framework: a new era in process mining tool support
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Let's dance: a language for service behavior modeling
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
DecSerFlow: towards a truly declarative service flow language
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Conformance testing: measuring the fit and appropriateness of event logs and process models
BPM'05 Proceedings of the Third international conference on Business Process Management
Genetic process mining: a basic approach and its challenges
BPM'05 Proceedings of the Third international conference on Business Process Management
On web services workflow mining
BPM'05 Proceedings of the Third international conference on Business Process Management
Formal semantics and analysis of control flow in WS-BPEL
Science of Computer Programming
Cycle Time Prediction: When Will This Case Finally Be Finished?
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
Web services provision: solutions, challenges and opportunities (invited paper)
Proceedings of the 3rd International Conference on Ubiquitous Information Management and Communication
Log-based transactional workflow mining
Distributed and Parallel Databases
Declarative specification and verification of service choreographiess
ACM Transactions on the Web (TWEB)
An Approach to Analyzing Dynamic Trustworthy Service Composition
ASWC '09 Proceedings of the 4th Asian Conference on The Semantic Web
Dynamic set-up of monitoring infrastructures for service based systems
Proceedings of the 2010 ACM Symposium on Applied Computing
Towards a theory of web service choreographies
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Towards behavioral reflexion models
ISSRE'09 Proceedings of the 20th IEEE international conference on software reliability engineering
Interaction protocol mediation in web service composition
International Journal of Web Engineering and Technology
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
Continuous monitoring in evolving business networks
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
A distributed framework for reliable and efficient service choreographies
Proceedings of the 20th international conference on World wide web
Advanced service monitoring configurations with SLA decomposition and selection
Proceedings of the 2011 ACM Symposium on Applied Computing
NIÑOS take five: the management infrastructure for distributed event-driven workflows
Proceedings of the 5th ACM international conference on Distributed event-based system
DDAT: data dependency analysis tool for web service business processes
ICCSA'11 Proceedings of the 2011 international conference on Computational science and Its applications - Volume Part V
Measures and mechanisms for process monitoring in evolving business networks
Data & Knowledge Engineering
Proceedings of the 5th India Software Engineering Conference
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
A Survey of Web Services Provision
International Journal of Systems and Service-Oriented Engineering
Cross-organizational collaborative workflow mining from a multi-source log
Decision Support Systems
Runtime verification of service-oriented systems: a well-rounded survey
International Journal of Web and Grid Services
Business process regulatory compliance management solution frameworks: a comparative evaluation
APCCM '12 Proceedings of the Eighth Asia-Pacific Conference on Conceptual Modelling - Volume 130
Challenges in service mining: record, check, discover
ICWE'13 Proceedings of the 13th international conference on Web Engineering
Efficient recovery of missing events
Proceedings of the VLDB Endowment
A systematic literature review of service choreography adaptation
Service Oriented Computing and Applications
Information and Software Technology
Hi-index | 0.00 |
A service-oriented system is composed of independent software units, namely services, that interact with one another exclusively through message exchanges. The proper functioning of such system depends on whether or not each individual service behaves as the other services expect it to behave. Since services may be developed and operated independently, it is unrealistic to assume that this is always the case. This article addresses the problem of checking and quantifying how much the actual behavior of a service, as recorded in message logs, conforms to the expected behavior as specified in a process model. We consider the case where the expected behavior is defined using the BPEL industry standard (Business Process Execution Language for Web Services). BPEL process definitions are translated into Petri nets and Petri net-based conformance checking techniques are applied to derive two complementary indicators of conformance: fitness and appropriateness. The approach has been implemented in a toolset for business process analysis and mining, namely ProM, and has been tested in an environment comprising multiple Oracle BPEL servers.