Veriws: a tool for verification of combined functional and non-functional requirements of web service composition
Web service composition is an emerging technique to develop Web applications by
composing existing Web services. Web service composition is subject to two important …
composing existing Web services. Web service composition is subject to two important …
[BOOK][B] Modeling and verifying dynamic evolving service-oriented architectures
H Giese, B Becker - 2013 - books.google.com
The service-oriented architecture supports the dynamic assembly and runtime
reconfiguration of complex open IT landscapes by means of runtime binding of service …
reconfiguration of complex open IT landscapes by means of runtime binding of service …
[HTML][HTML] Executable rewriting logic semantics of Orc and formal analysis of Orc programs
The Orc calculus is a simple, yet powerful theory of concurrent computations with great
versatility and practical applicability to a very wide range of applications, as it has been …
versatility and practical applicability to a very wide range of applications, as it has been …
Parallelizing model checking algorithms using multi-core and many-core architectures
Z Wu - 2017 - dr.ntu.edu.sg
The reliance on the functioning of software systems is growing with the development of IT
industry. The complexity and scalability to design these systems are increasing, especially …
industry. The complexity and scalability to design these systems are increasing, especially …
Service adaptation with probabilistic partial models
Web service composition makes use of existing Web services to build complex business
processes. Non-functional requirements are crucial for the Web service composition. In …
processes. Non-functional requirements are crucial for the Web service composition. In …
Partial Order Reduction for Timed Actors
We propose a compositional approach for the Partial Order Reduction (POR) in the state
space generation of asynchronous timed actors. We define the concept of independent …
space generation of asynchronous timed actors. We define the concept of independent …
Partial Order Reduction for Timed Actors
We propose a compositional approach for the Partial Order Reduction (POR) in the state
space generation of asynchronous timed actors. We define the concept of independent …
space generation of asynchronous timed actors. We define the concept of independent …
Scaling BDD-based Timed Verification with Simulation Reduction
Digitization is a technique that has been widely used in real-time model checking. With the
assumption of digital clocks, symbolic model checking techniques (like those based on …
assumption of digital clocks, symbolic model checking techniques (like those based on …
[PDF][PDF] Formal analysis of Web service composition
C Manman - 2015 - core.ac.uk
Service Oriented Architecture (SOA) has been an important software design architecture that
aims to enhance the efficiency, agility and productivity of an enterprise. This allows …
aims to enhance the efficiency, agility and productivity of an enterprise. This allows …
[PDF][PDF] Scaling BDD-based timed verification with simulation reduction.(2016)
Digitization is a technique that has been widely used in realtime model checking. With the
assumption of digital clocks, symbolic model checking techniques (like those based on …
assumption of digital clocks, symbolic model checking techniques (like those based on …