We propose a composition and verification framework for Semantic Web Services specified using WSSL, a novel service specification language based on the fluent calculus, that addresses issues related to the frame, ramification and qualification problems. These deal with the succinct and flexible representation of non-effects, indirect effects and preconditions, respectively. The framework exploits the unique features of WSSL, allowing, among others, for: compositions that take into account ramifications of services; determining the feasibility of a composition a priori; and considering exogenous qualifications during the verification process. The framework is implemented using FLUX-based planning, supporting compositions with fundamental control constructs, including nondeterministic ones such as conditionals and loops. Performance is evaluated with regard to termination and execution time for increasingly complex synthetic compositions.
WSSL: A Fluent Calculus-based Language for Web Service SpecificationsGeorge Baryannis
In order to effectively discover and invoke a Web service, the provider must supply a complete specification of its behavior, with regard to its inputs and outputs, preconditions and effects. Devising such complete specifications comes with many issues that have not been adequately addressed by current service description efforts, such as WSDL, SAWSDL, OWL-S and WSMO. These issues involve the frame, ramification and qualification problems, which deal with the succinct and flexible representation of non-effects, indirect effects and preconditions, respectively. We propose WSSL, a novel specification language for services based on the fluent calculus, that is expressly designed to address the aforementioned issues. Also, a tool is implemented that translates WSSL specifications to FLUX programs and allows for service validation based on user-defined goals.
Deriving Specifications for Composite Web ServicesGeorge Baryannis
We address the problem of synthesizing specifications for composite
Web services, starting from those of their component services.
Unlike related work in programming languages, we assume the
definition of the component services (i.e. their code) to be
unavailable --- at best, they are known by a specification which
(safely) approximates their functional behavior. Within this
scenario, we deduce general formula schemes to derive specifications
for basic constructs such as sequential, parallel compositions and
conditionals and provide details on how to handle the special cases of
loops and asynchronous execution. The resulting specifications facilitate
service verification and service evolution as well as auditing processes,
promoting trust between the involved partners.
YASAM SEMANTIC WEB SERVICE MATCHMAKER YASAR SEMANTIC WEB SERVICE REGISTRY. Ya...yassinchabeb
Presentation of the Semantic Web Service Matchmaker YASAM based on YASA description (semantic extension of WSDL) and of the Semantic Web Service Registry YASAR. Presented by Yassin CHABEB from SIMBAD Research Team - UMR Samovar CNRS - TELECOM SudParis
WSSL: A Fluent Calculus-based Language for Web Service SpecificationsGeorge Baryannis
In order to effectively discover and invoke a Web service, the provider must supply a complete specification of its behavior, with regard to its inputs and outputs, preconditions and effects. Devising such complete specifications comes with many issues that have not been adequately addressed by current service description efforts, such as WSDL, SAWSDL, OWL-S and WSMO. These issues involve the frame, ramification and qualification problems, which deal with the succinct and flexible representation of non-effects, indirect effects and preconditions, respectively. We propose WSSL, a novel specification language for services based on the fluent calculus, that is expressly designed to address the aforementioned issues. Also, a tool is implemented that translates WSSL specifications to FLUX programs and allows for service validation based on user-defined goals.
Deriving Specifications for Composite Web ServicesGeorge Baryannis
We address the problem of synthesizing specifications for composite
Web services, starting from those of their component services.
Unlike related work in programming languages, we assume the
definition of the component services (i.e. their code) to be
unavailable --- at best, they are known by a specification which
(safely) approximates their functional behavior. Within this
scenario, we deduce general formula schemes to derive specifications
for basic constructs such as sequential, parallel compositions and
conditionals and provide details on how to handle the special cases of
loops and asynchronous execution. The resulting specifications facilitate
service verification and service evolution as well as auditing processes,
promoting trust between the involved partners.
YASAM SEMANTIC WEB SERVICE MATCHMAKER YASAR SEMANTIC WEB SERVICE REGISTRY. Ya...yassinchabeb
Presentation of the Semantic Web Service Matchmaker YASAM based on YASA description (semantic extension of WSDL) and of the Semantic Web Service Registry YASAR. Presented by Yassin CHABEB from SIMBAD Research Team - UMR Samovar CNRS - TELECOM SudParis
Towards Realizing Dynamic QoS-aware Web Service CompositionGeorge Baryannis
In this presentation, we identify two major issues related to Web service composition: the lack of formal specifications for services and service compositions and the inability of current service composition approaches to support dynamicity and QoS-awareness in an effective and scalable way. We analyze the underlying research challenges for each of these issues and propose a tentative research plan to address them.
Continuous Integration and Continuous Delivery to Facilitate Web Service TestingCognizant
Quality assurance (QA) organizations can dramatically upgrade web services testing by applying continuous integration and continuous delivery/deployment (CI/CD) techniques derived from DevOps and by deploying software such as Jenkins, LISA, Maven, Cucumber and Gherkin.
A Novel Specification and Composition Language for ServicesGeorge Baryannis
Service-Oriented Architecture (SOA) has emerged as a prominent design style that enables an IT infrastructure to allow different applications to participate in business processes, regardless of their underlying features. In order to effectively discover and use the most suitable services, service description should provide a complete behavior model, describing the inputs and preconditions that are required before execution, as well as the outputs and effects of a successful execution. Such specifications are prone to a family of problems, known in the AI literature as the frame, ramification and qualification problems. These problems deal with the succinct and flexible representation of non-effects, indirect effects and preconditions, respectively. Research in services has largely ignored these problems, at the same time ignoring their effects, such as compromising the integrity and correctness of services and service compositions and the inability to provide justification for unexpected execution results.
To address these issues, this thesis proposes the Web Service Specification Language (WSSL), a novel, semantics-aware language for the specification and composition of services, independent of service design models. WSSL's foundation is the fluent calculus, a specification language for robots that offers solutions to the frame, ramification and qualification problems. Further language extensions achieve three major goals: realize service composition via planning, supporting non-deterministic constructs, such as conditionals and loops; include specification of QoS profiles; and support partially observable service states. Moreover, an innovative service composition and verification framework is implemented, that advances state-of-the-art by satisfying several desirable requirements simultaneously: ramifications and partial observability in service and goal modeling; non-determinism in composition schemas; dynamic binding of tasks to concrete services; explanations for unexpected behavior; QoS-awareness through pruning and ranking techniques based on heuristics and task-specific goals and an all-encompassing QoS aggregation method for global goals.
Experimental evaluation is performed using synthetically generated specifications and composition goals, investigating performance scalability in terms of execution time, as well as optimality with regard to the produced composite process. The results show that, even in the presence of ramifications in some specifications, functional planning is efficient for repositories up to 500 specifications. Also, the cost of functional discovery per single service is insignificant, hence achieving good performance even when executed for multiple candidate plans. Finally, optimality relies mainly on defining suitable problem-specific heuristics; thus, its success depends mostly on the expertise of the composition designer.
This is a must-read for all engineers interested in developing a Micro services architecture. Turn your monolithic server into a prolific and multiple instance solution! Includes well-known example such as Netflix. Please contact me for more details.
Transcript: Selling digital books in 2024: Insights from industry leaders - T...BookNet Canada
The publishing industry has been selling digital audiobooks and ebooks for over a decade and has found its groove. What’s changed? What has stayed the same? Where do we go from here? Join a group of leading sales peers from across the industry for a conversation about the lessons learned since the popularization of digital books, best practices, digital book supply chain management, and more.
Link to video recording: https://bnctechforum.ca/sessions/selling-digital-books-in-2024-insights-from-industry-leaders/
Presented by BookNet Canada on May 28, 2024, with support from the Department of Canadian Heritage.
Towards Realizing Dynamic QoS-aware Web Service CompositionGeorge Baryannis
In this presentation, we identify two major issues related to Web service composition: the lack of formal specifications for services and service compositions and the inability of current service composition approaches to support dynamicity and QoS-awareness in an effective and scalable way. We analyze the underlying research challenges for each of these issues and propose a tentative research plan to address them.
Continuous Integration and Continuous Delivery to Facilitate Web Service TestingCognizant
Quality assurance (QA) organizations can dramatically upgrade web services testing by applying continuous integration and continuous delivery/deployment (CI/CD) techniques derived from DevOps and by deploying software such as Jenkins, LISA, Maven, Cucumber and Gherkin.
A Novel Specification and Composition Language for ServicesGeorge Baryannis
Service-Oriented Architecture (SOA) has emerged as a prominent design style that enables an IT infrastructure to allow different applications to participate in business processes, regardless of their underlying features. In order to effectively discover and use the most suitable services, service description should provide a complete behavior model, describing the inputs and preconditions that are required before execution, as well as the outputs and effects of a successful execution. Such specifications are prone to a family of problems, known in the AI literature as the frame, ramification and qualification problems. These problems deal with the succinct and flexible representation of non-effects, indirect effects and preconditions, respectively. Research in services has largely ignored these problems, at the same time ignoring their effects, such as compromising the integrity and correctness of services and service compositions and the inability to provide justification for unexpected execution results.
To address these issues, this thesis proposes the Web Service Specification Language (WSSL), a novel, semantics-aware language for the specification and composition of services, independent of service design models. WSSL's foundation is the fluent calculus, a specification language for robots that offers solutions to the frame, ramification and qualification problems. Further language extensions achieve three major goals: realize service composition via planning, supporting non-deterministic constructs, such as conditionals and loops; include specification of QoS profiles; and support partially observable service states. Moreover, an innovative service composition and verification framework is implemented, that advances state-of-the-art by satisfying several desirable requirements simultaneously: ramifications and partial observability in service and goal modeling; non-determinism in composition schemas; dynamic binding of tasks to concrete services; explanations for unexpected behavior; QoS-awareness through pruning and ranking techniques based on heuristics and task-specific goals and an all-encompassing QoS aggregation method for global goals.
Experimental evaluation is performed using synthetically generated specifications and composition goals, investigating performance scalability in terms of execution time, as well as optimality with regard to the produced composite process. The results show that, even in the presence of ramifications in some specifications, functional planning is efficient for repositories up to 500 specifications. Also, the cost of functional discovery per single service is insignificant, hence achieving good performance even when executed for multiple candidate plans. Finally, optimality relies mainly on defining suitable problem-specific heuristics; thus, its success depends mostly on the expertise of the composition designer.
This is a must-read for all engineers interested in developing a Micro services architecture. Turn your monolithic server into a prolific and multiple instance solution! Includes well-known example such as Netflix. Please contact me for more details.
Transcript: Selling digital books in 2024: Insights from industry leaders - T...BookNet Canada
The publishing industry has been selling digital audiobooks and ebooks for over a decade and has found its groove. What’s changed? What has stayed the same? Where do we go from here? Join a group of leading sales peers from across the industry for a conversation about the lessons learned since the popularization of digital books, best practices, digital book supply chain management, and more.
Link to video recording: https://bnctechforum.ca/sessions/selling-digital-books-in-2024-insights-from-industry-leaders/
Presented by BookNet Canada on May 28, 2024, with support from the Department of Canadian Heritage.
Connector Corner: Automate dynamic content and events by pushing a buttonDianaGray10
Here is something new! In our next Connector Corner webinar, we will demonstrate how you can use a single workflow to:
Create a campaign using Mailchimp with merge tags/fields
Send an interactive Slack channel message (using buttons)
Have the message received by managers and peers along with a test email for review
But there’s more:
In a second workflow supporting the same use case, you’ll see:
Your campaign sent to target colleagues for approval
If the “Approve” button is clicked, a Jira/Zendesk ticket is created for the marketing design team
But—if the “Reject” button is pushed, colleagues will be alerted via Slack message
Join us to learn more about this new, human-in-the-loop capability, brought to you by Integration Service connectors.
And...
Speakers:
Akshay Agnihotri, Product Manager
Charlie Greenberg, Host
Neuro-symbolic is not enough, we need neuro-*semantic*Frank van Harmelen
Neuro-symbolic (NeSy) AI is on the rise. However, simply machine learning on just any symbolic structure is not sufficient to really harvest the gains of NeSy. These will only be gained when the symbolic structures have an actual semantics. I give an operational definition of semantics as “predictable inference”.
All of this illustrated with link prediction over knowledge graphs, but the argument is general.
JMeter webinar - integration with InfluxDB and GrafanaRTTS
Watch this recorded webinar about real-time monitoring of application performance. See how to integrate Apache JMeter, the open-source leader in performance testing, with InfluxDB, the open-source time-series database, and Grafana, the open-source analytics and visualization application.
In this webinar, we will review the benefits of leveraging InfluxDB and Grafana when executing load tests and demonstrate how these tools are used to visualize performance metrics.
Length: 30 minutes
Session Overview
-------------------------------------------
During this webinar, we will cover the following topics while demonstrating the integrations of JMeter, InfluxDB and Grafana:
- What out-of-the-box solutions are available for real-time monitoring JMeter tests?
- What are the benefits of integrating InfluxDB and Grafana into the load testing stack?
- Which features are provided by Grafana?
- Demonstration of InfluxDB and Grafana using a practice web application
To view the webinar recording, go to:
https://www.rttsweb.com/jmeter-integration-webinar
Accelerate your Kubernetes clusters with Varnish CachingThijs Feryn
A presentation about the usage and availability of Varnish on Kubernetes. This talk explores the capabilities of Varnish caching and shows how to use the Varnish Helm chart to deploy it to Kubernetes.
This presentation was delivered at K8SUG Singapore. See https://feryn.eu/presentations/accelerate-your-kubernetes-clusters-with-varnish-caching-k8sug-singapore-28-2024 for more details.
Key Trends Shaping the Future of Infrastructure.pdfCheryl Hung
Keynote at DIGIT West Expo, Glasgow on 29 May 2024.
Cheryl Hung, ochery.com
Sr Director, Infrastructure Ecosystem, Arm.
The key trends across hardware, cloud and open-source; exploring how these areas are likely to mature and develop over the short and long-term, and then considering how organisations can position themselves to adapt and thrive.
Generating a custom Ruby SDK for your web service or Rails API using Smithyg2nightmarescribd
Have you ever wanted a Ruby client API to communicate with your web service? Smithy is a protocol-agnostic language for defining services and SDKs. Smithy Ruby is an implementation of Smithy that generates a Ruby SDK using a Smithy model. In this talk, we will explore Smithy and Smithy Ruby to learn how to generate custom feature-rich SDKs that can communicate with any web service, such as a Rails JSON API.
UiPath Test Automation using UiPath Test Suite series, part 4DianaGray10
Welcome to UiPath Test Automation using UiPath Test Suite series part 4. In this session, we will cover Test Manager overview along with SAP heatmap.
The UiPath Test Manager overview with SAP heatmap webinar offers a concise yet comprehensive exploration of the role of a Test Manager within SAP environments, coupled with the utilization of heatmaps for effective testing strategies.
Participants will gain insights into the responsibilities, challenges, and best practices associated with test management in SAP projects. Additionally, the webinar delves into the significance of heatmaps as a visual aid for identifying testing priorities, areas of risk, and resource allocation within SAP landscapes. Through this session, attendees can expect to enhance their understanding of test management principles while learning practical approaches to optimize testing processes in SAP environments using heatmap visualization techniques
What will you get from this session?
1. Insights into SAP testing best practices
2. Heatmap utilization for testing
3. Optimization of testing processes
4. Demo
Topics covered:
Execution from the test manager
Orchestrator execution result
Defect reporting
SAP heatmap example with demo
Speaker:
Deepak Rai, Automation Practice Lead, Boundaryless Group and UiPath MVP
Essentials of Automations: Optimizing FME Workflows with ParametersSafe Software
Are you looking to streamline your workflows and boost your projects’ efficiency? Do you find yourself searching for ways to add flexibility and control over your FME workflows? If so, you’re in the right place.
Join us for an insightful dive into the world of FME parameters, a critical element in optimizing workflow efficiency. This webinar marks the beginning of our three-part “Essentials of Automation” series. This first webinar is designed to equip you with the knowledge and skills to utilize parameters effectively: enhancing the flexibility, maintainability, and user control of your FME projects.
Here’s what you’ll gain:
- Essentials of FME Parameters: Understand the pivotal role of parameters, including Reader/Writer, Transformer, User, and FME Flow categories. Discover how they are the key to unlocking automation and optimization within your workflows.
- Practical Applications in FME Form: Delve into key user parameter types including choice, connections, and file URLs. Allow users to control how a workflow runs, making your workflows more reusable. Learn to import values and deliver the best user experience for your workflows while enhancing accuracy.
- Optimization Strategies in FME Flow: Explore the creation and strategic deployment of parameters in FME Flow, including the use of deployment and geometry parameters, to maximize workflow efficiency.
- Pro Tips for Success: Gain insights on parameterizing connections and leveraging new features like Conditional Visibility for clarity and simplicity.
We’ll wrap up with a glimpse into future webinars, followed by a Q&A session to address your specific questions surrounding this topic.
Don’t miss this opportunity to elevate your FME expertise and drive your projects to new heights of efficiency.
LF Energy Webinar: Electrical Grid Modelling and Simulation Through PowSyBl -...DanBrown980551
Do you want to learn how to model and simulate an electrical network from scratch in under an hour?
Then welcome to this PowSyBl workshop, hosted by Rte, the French Transmission System Operator (TSO)!
During the webinar, you will discover the PowSyBl ecosystem as well as handle and study an electrical network through an interactive Python notebook.
PowSyBl is an open source project hosted by LF Energy, which offers a comprehensive set of features for electrical grid modelling and simulation. Among other advanced features, PowSyBl provides:
- A fully editable and extendable library for grid component modelling;
- Visualization tools to display your network;
- Grid simulation tools, such as power flows, security analyses (with or without remedial actions) and sensitivity analyses;
The framework is mostly written in Java, with a Python binding so that Python developers can access PowSyBl functionalities as well.
What you will learn during the webinar:
- For beginners: discover PowSyBl's functionalities through a quick general presentation and the notebook, without needing any expert coding skills;
- For advanced developers: master the skills to efficiently apply PowSyBl functionalities to your real-world scenarios.
UiPath Test Automation using UiPath Test Suite series, part 3DianaGray10
Welcome to UiPath Test Automation using UiPath Test Suite series part 3. In this session, we will cover desktop automation along with UI automation.
Topics covered:
UI automation Introduction,
UI automation Sample
Desktop automation flow
Pradeep Chinnala, Senior Consultant Automation Developer @WonderBotz and UiPath MVP
Deepak Rai, Automation Practice Lead, Boundaryless Group and UiPath MVP
Designing Great Products: The Power of Design and Leadership by Chief Designe...
Fluent Calculus-based Semantic Web Service Composition and Verification using WSSL
1. Fluent Calculus-based Semantic Web Service
Composition and Verification using WSSL
George Baryannis and Dimitris Plexousakis
Computer Science Department, University of Crete
Institute of Computer Science, Foundation for
Research & Technology - Hellas
SWESE 2013
December 2nd 2013, Berlin, Germany
2. Outline
Introduction
• Service Specifications in the Semantic Web
• Web Service Specification Language
• Motivating Scenario
Composition and Verification of WSSL services
• WSSL for Composition
• Planning with WSSL
• Verification capabilities
Experimental Evaluation
• Implementation with FLUX
• Evaluation
Conclusions & Future Work
2
3. Service Specifications in the Semantic Web (1)
• Service behavior can be formally modeled using
semantic specifications
– in the form of Inputs, Outputs, Preconditions and
Effects (IOPEs)
– using concepts defined in ontologies
• Such specifications drive the complete service
lifecycle
– Automated and effective composition based on
accurately defined service behavior
– Verification of (composite) service properties against
such specifications
Fluent Calculus-based Semantic Web Service
Composition and Verification using WSSL
George Baryannis and Dimitris Plexousakis
3
4. Service Specifications in the Semantic Web (2)
• Specifications including pre/postconditions are
prone to three well-known problems in AI
literature
1. Frame Problem: how to effectively express what
doesn’t change, apart from what’s changed,
based on a specification
– e.g., how to answer definitively whether a money
withdrawal service doesn’t affect other accounts
2. Ramification Problem: how to represent knockon and indirect effects (ramifications)
– e.g., invalidate a credit card after the latest
transaction causes a daily limit to be reached
Fluent Calculus-based Semantic Web Service
Composition and Verification using WSSL
George Baryannis and Dimitris Plexousakis
4
5. Service Specifications in the Semantic Web (3)
3. Qualification Problem: how to deal with
qualifications that are outside our knowledge
and result in inconsistent behavior
– e.g., all preconditions hold for a money withdrawal
service but no effects occur after executing it
• We addressed all three problems by defining the
Web Service Specification Language (WSSL), a
formal semantic language based on the fluent
calculus
Fluent Calculus-based Semantic Web Service
Composition and Verification using WSSL
George Baryannis and Dimitris Plexousakis
5
6. WSSL Overview (1)
Fluent Calculus-based Semantic Web Service
Composition and Verification using WSSL
George Baryannis and Dimitris Plexousakis
6
7. WSSL Overview (2)
Fluent Calculus-based Semantic Web Service
Composition and Verification using WSSL
George Baryannis and Dimitris Plexousakis
7
8. WSSL Overview (3)
Fluent Calculus-based Semantic Web Service
Composition and Verification using WSSL
George Baryannis and Dimitris Plexousakis
8
10. Motivating Scenario (1)
• Service-based process of assisting vehicle drivers
– Users contact road assistance via call or SMS
– Driver’s location and vehicle status are retrieved and a search
for the most suitable mechanic is conducted
– After resolving the issue a payment process follows and a
report is sent to the driver by post or e-mail
• Given a set of service specifications, we want to
automatically create a composite process that realizes the
scenario
– Taking into account ramifications of services
– Determining execution results even under unforeseen
circumstances
– Verify the composability and correctness of a candidate
composite process
Fluent Calculus-based Semantic Web Service
Composition and Verification using WSSL
George Baryannis and Dimitris Plexousakis
10
11. Motivating Scenario (2)
Fluent Calculus-based Semantic Web Service
Composition and Verification using WSSL
George Baryannis and Dimitris Plexousakis
11
12. Outline
Introduction
• Service Specifications in the Semantic Web
• Web Service Specification Language
• Motivating Scenario
Composition and Verification of WSSL services
• WSSL for Composition
• Planning with WSSL
• Verification capabilities
Experimental Evaluation
• Implementation with FLUX
• Evaluation
Conclusions & Future Work
12
13. WSSL for Composition (1)
Fluent Calculus-based Semantic Web Service
Composition and Verification using WSSL
George Baryannis and Dimitris Plexousakis
13
14. Planning with WSSL (1)
Fluent Calculus-based Semantic Web Service
Composition and Verification using WSSL
George Baryannis and Dimitris Plexousakis
14
15. Planning with WSSL (2)
• Introduce heuristics to
– produce more than sequential-only plans
– address issues of termination and computation
complexity
• Heuristic encoding of a WSSL planning problem:
a FLUX program describing how to reach the goal
state from the initial state
• As the heuristics grow more and more restrictive,
the complexity of the planner decreases (and
termination probability increases)
Fluent Calculus-based Semantic Web Service
Composition and Verification using WSSL
George Baryannis and Dimitris Plexousakis
15
16. Planning with WSSL (3)
• The most restrictive example encoding for the motivating scenario:
assist_plan(Z,[A|P],Z_PR) :- A1=receivesms(_,_),
A2=receivecall(_,_), A=xor(A1,A2), poss_xor(A1,A2,Z),
state_update_xor(Z,A1,A2, Z_1), assist_plan1(Z_1,P,Z_PR).
assist_plan1(Z,[A|P],Z_PR) :- A1=retrievelocation(_,_,_),
A2=retrievediagnostics(_,_,_), A=and(A1, A2), poss_and(A1,A2,Z),
state_update_and(Z,A1,A2,Z_1),assist_plan2(Z_1,P,Z_PR).
assist_plan2(Z,[A|P],Z_PR) :- A=findmech(_,_,_), poss(A,Z),
state_update(Z,A,Z_1), assist_plan3(Z_1,P,Z_PR).
assist_plan3(Z,[A|P],Z_PR) :- A=receivepay(_, _), poss(A,Z),
state_update(Z,A,Z_1), assist_plan4(Z_1,P,Z_PR).
assist_plan4(Z,A,Z_PR) :- F=req_deliv(REPORT),
A1=ereport(_,_),A2=mreport(_,_), A=if(F,A1,A2),
poss_if(F,A1,A2,Z), state_update_if(Z,F,A1,A2,Z_PR).
• Any answer to the FLUX query
assist_plan([callcenterup, gpsactive(user1),
systemactive(vehicle1), req_deliv(report1)], P, Z_PR).
yields a plan that realizes the goals of the scenario
Fluent Calculus-based Semantic Web Service
Composition and Verification using WSSL
George Baryannis and Dimitris Plexousakis
16
17. Verification Capabilities
• Focus mainly on answering questions about the
behavior of produced compositions
– Liveness properties: e.g., to prove that the produced plan
realizes the goals, we prove that either
holds(emailed(report,z) or
holds(delivered(report, z) in the final state z.
– Safety properties: e.g., make sure that payment is
performed for the correct payment form by proving
holds(hasinput(payform, z_in),
holds(paycompleted(payform, z)
– Explanations for unexpected behavior, thanks to WSSL’s
accident modeling, e.g., no report delivery after executing
the composition plan means accident failure(deliv)
has occurred
Fluent Calculus-based Semantic Web Service
Composition and Verification using WSSL
George Baryannis and Dimitris Plexousakis
17
18. Outline
Introduction
• Service Specifications in the Semantic Web
• Web Service Specification Language
• Motivating Scenario
Composition and Verification of WSSL services
• WSSL for Composition
• Planning with WSSL
• Verification capabilities
Experimental Evaluation
• Implementation with FLUX
• Evaluation
Conclusions & Future Work
18
19. Implementation with FLUX
• Composition (and verification) goals and
candidate service specifications expressed in
WSSL are translated into FLUX
– JAVA used for the translation mechanism
– the ECLiPSe CLP system to execute FLUX queries
Fluent Calculus-based Semantic Web Service
Composition and Verification using WSSL
George Baryannis and Dimitris Plexousakis
19
20. Evaluation (1)
• To investigate scalability of the composition
process we varied planning problem complexity
– by increasing service repository size (at the same time
increasing the difficulty of achieving the goal)
– by allowing for more elaborate plans
• Experiments relied on synthetically generated
specifications containing an IOPE quad (plus a
causal rule for the final experiment)
• Composition plans examined contained
sequential, parallel and alternating combination
of sequential and parallel constructs
Fluent Calculus-based Semantic Web Service
Composition and Verification using WSSL
George Baryannis and Dimitris Plexousakis
20
21. Evaluation (2)
• Runtime stays at reasonable levels for up to 500 services and peaks
to 4sec for 1000 services and sequence/parallel combinations
• The inclusion of ramifications (a 50% increase in the size of
specifications) leads to a significant increase in runtime)
– In real-world problems only some postconditions are expected to be
linked to a ramification
21
22. Outline
Introduction
• Service Specifications in the Semantic Web
• Web Service Specification Language
• Motivating Scenario
Composition and Verification of WSSL services
• WSSL for Composition
• Planning with WSSL
• Verification capabilities
Experimental Evaluation
• Implementation with FLUX
• Evaluation
Conclusions & Future Work
22
23. Conclusions
• We proposed a service composition and verification
framework using WSSL, a novel specification language
for Web services based on the fluent calculus
– satisfying significant requirements such as automation,
dynamicity, and non-determinism
– supporting rich, semantic behavioral descriptions of
services and compositions
– exploiting WSSL’s solutions to the frame, ramification and
qualification problems
• The framework is an effective demonstration of
– the benefits of semantic specifications in the context of
service science
– the way to exploit such specifications for the purposes of
service composition and verification
Fluent Calculus-based Semantic Web Service
Composition and Verification using WSSL
George Baryannis and Dimitris Plexousakis
23
24. Future Work
Extending WSSL
to support
quality aspects so
as to achieve
QoS-aware
service
composition and
verification
Future
Next
Currently
Improve efficiency
by investigating
complexity for
different
heuristics, limiting
search space
before planning,
exploring graphbased rule
optimization
Fluent Calculus-based Semantic Web Service
Composition and Verification using WSSL
Support knowledge
states and
comprehensive
modeling of
partially observable
behavior,
asynchronous
service execution,
and derivation of
executable
business processes
George Baryannis and Dimitris Plexousakis
24
i.e. provided that A is possible at s, executing A results at a successor state which results from the previous one if we add fluents that have been made true (𝜃+) and we subtract fluents that have been made false (𝜃−)i.e. provided that A is possible at s, executing A results at a successor state which results from the previous one if we add fluents that have been made true (𝜃^+) and we subtract fluents that have been made false (𝜃^−)
Under conditions Γ, in situation s, the occurred positive and negative effects p and n possibly cause an automatic update from state to state z’, with positive and negative effects p’ and n’predicate 𝐴𝑐𝑐𝐶, 𝑠 means that accident C occurs in situation s.Under conditions Γ, in situation s, the occurred positive and negative effects p and n possibly cause an automatic update from state to state z’, with positive and negative effects p’ and n’predicate 𝐴𝑐𝑐(𝐶, 𝑠) means that accident C occurs in situation s.