Proceedings ArticleDOI
Verifying web services composition based on hierarchical colored petri nets
YanPing Yang,Qingping Tan,Yong Xiao +2 more
- pp 47-54
TLDR
This paper presents to verify Web services composition by using CP-nets, which combine the strengths of Petri nets with the expressive power of high-level programming and have sound mathematical semantics.Abstract:
Current Web services composition proposals, such as BPML, BPEL, WSCI, and OWL-S, provide notations for describing the control and data flows in Web service collaborations. However, such proposals remain at the descriptive level, without providing any kind of mechanisms or tool support for verifying the composition specified in the proposed notations. In this paper, we present to verify Web services composition by using CP-nets. CP-nets combine the strengths of Petri nets with the expressive power of high-level programming and have sound mathematical semantics. These services composition proposals can be transformed by transformation rules into CP-nets, which can be used to analyze the performance and to investigate behavioral properties such as deadlock or livelock by CP-nets tools.read more
Citations
More filters
Journal ArticleDOI
Testing and verification in service-oriented architecture: a survey
TL;DR: The previous work undertaken on testing and verification of service‐centric systems is surveyed, showing the strengths and weaknesses of current strategies and testing tools and identifying issues for future work.
Journal ArticleDOI
How novices design business processes
TL;DR: The authors examined the design of business process diagrams in contexts where novice analysts only have basic design tools such as paper and pencils available, and little to no understanding of formalized modeling approaches.
Book ChapterDOI
How novices model business processes
TL;DR: It is found that the quality of the process designs decreases with the increased use of graphics and that hybrid designs featuring appropriate text labels and abstract graphical forms are well-suited to describe business processes.
Book ChapterDOI
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems
Natallia Kokash,Farhad Arbab +1 more
TL;DR: In this article, the authors present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segregation of Duties (SoD) or privacy protection policies.
Journal ArticleDOI
Web Services Compositions Modelling and Choreographies Analysis
TL;DR: The models to support a view of interacting Web service compositions extending the mapping from WSBPEL to EC, and including Web service interfaces (WSDL) for use in modelling between services are elaborated.
References
More filters
Book
Business process execution language for web services
TL;DR: This book focuses on executable processes and comes back to abstract processes in Chapter 4, which can be used to replace sets of rules usually expressed in natural language, which is often ambiguous.
Book ChapterDOI
Verification of Workflow Nets
TL;DR: This paper focuses on a class of Petri nets suitable for the representation, validation and verification of business procedures and shows that the correctness of a procedure represented by such a Petri net can be verified by using standard Petri-net-based techniques.
Journal Article
Business Process Execution Language for Web Services.
TL;DR: This document defines an interoperable integration model that should facilitate the expansion of automated process integration in both the intra-corporate and the business-to-business spaces and provides a language for the formal specification of business processes and business interaction protocols.
Book
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
TL;DR: This three-volume work presents a coherent description of the theoretical and practical aspects of coloured Petri nets, shown to be a full-fledged language for the design, specification, simulation, validation and implementation of large software systems.
Proceedings ArticleDOI
Model-based verification of Web service compositions
TL;DR: A model-based approach to verifying Web service compositions for Web service implementations supports verification against specification models and assigns semantics to the behavior of implementation model so as to confirm expected results for both the designer and implementer.