1 / 0

Self- S upervising BPEL Processes

Self- S upervising BPEL Processes. Luciano Baresi Politecnico di Milano, Italy baresi@elet.polimi.it. Towards an Architectural Model for Self-Management. Three Layer Architecture Model for Self-Management. ( J. Kramer and J. Magee ). Software services.

elam
Download Presentation

Self- S upervising BPEL Processes

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Self-Supervising BPEL Processes

    Luciano BaresiPolitecnico di Milano, Italy baresi@elet.polimi.it
  2. Towards an Architectural Model for Self-Management ThreeLayer Architecture Model for Self-Management (J. Kramer and J. Magee)
  3. Software services Service-oriented applications are constructed by composing and configuring software services Often provided by “third parties” Services are not under our control Software components that can be used but are not owned (P. Traverso)
  4. Query Publish Interact Main players ServiceSpecification Discovery Agency ServiceSpecification ServiceSpecification ServiceRequestor ServiceProvider Service Request Response Requirements Requirements
  5. An example
  6. Compositions we can trust We need to provide tools and methodologies that can assure high levels of robustness and client perceived trustworthiness in service compositions We need compositions we can trust Design-time testing and validation are not enough Services chosen at design-time can still change during execution! We might decide to choose the services at deployment-time or at run-time…
  7. Main hypotheses Standard technology BPEL is the de-facto standard for Web service compositions Many interesting engines are available (for free Web Service Description Language Separation of concerns No defensive programming No intertwining of business and supervision logics Many possible supervision policies for the same business process
  8. Dynamo Design by contract Separation of concerns Business logic defined separately from supervision Supervision is a cross-cutting concern Monitoring (WSCoL) Assertion-based The functionality and QoS needed by the process Pre- and post-conditions on the interactions with partner services Recovery (WSReL) ECA rules
  9. Overall idea
  10. Supervision rules
  11. WSCoL Declarative specification of behavioral properties Data Collection Internal, external, and historical variables Data Analysis Boolean operators (and, or, not, implies, if and only if) Relational operators (<,>,==, <=, >=) Mathematical operators (+, -, *, /, %) Universal and existential quantifiers Data computation - max, min, avg, sum, product Type specific functions - length, starts-with, etc.
  12. WSReL Event Anomalies signaled by monitoring Conditions WSCoL expressions Strategies Each is a sequence of atomic actions Rules have instance validity Built-in solutions Retry Change supervision rule Change partner link Call handlers Warn and stop Rollback Restore Third-party solutions Rebind Reorganize Renegotiate …
  13. Proxy-based solution
  14. AOP-based solution
  15. New requirements Properties can be very different We did not want to extend our languages every time we discover something new Synchronous and asynchronous approaches must co-exist Many different analyses should be possible Post-mortem analysis Statistical profiling
  16. New solution
  17. Main references Luciano Baresi and Sam Giunea. Self-supervising BPEL Processes. IEEE Transactions on Software Engineering, 2011. To appear. Luciano Baresi, Liliana Pasquale, and Paola Spoletini. Fuzzy Goals for Requirements-driven Adaptation. In Proceedings of the 18th IEEE International Requirements Engineering Conference. IEEE-CS, 353-360, 2010.
  18. Questions?

  19. Luciano Baresi

    luciano.baresi@polimi.it
More Related