a reuse based approach to the correct and automatic web
play

A reuse-based approach to the correct and automatic web service - PowerPoint PPT Presentation

Dec 31, 2023 •225 likes •500 views

A reuse-based approach to the correct and automatic web service composition Paola Inverardi and Massimo Tivoli University of LAquila Dep. Computer Science {inverard, tivoli}@di.univaq.it Application domain Distributed business

  1. A reuse-based approach to the correct and automatic web service composition Paola Inverardi and Massimo Tivoli University of L’Aquila Dep. Computer Science {inverard, tivoli}@di.univaq.it

  2. Application domain • Distributed business processes that cross organizational boundaries • e-Government, e-Commerce, e-Banking • They can be implemented by performing service composition • i.e., as novel services that correctly orchestrate existing services • Handcrafted service composition is supported but it is still a difficult activity

  3. Our goal • Automatic service composition • to build a new service as an automatic and correct composition of existing services • based on our previous work on component assembly (the SYNTHESIS tool) • web services (WSs)

  4. Setting the context • A centralized repository • e.g., UDDI registry • Each existing WS publishes its complete SLS • e.g., WSDL + BPEL in the context of WSs • The architect of the new WS specifies its partial SLS

  5. Method’s overview existing web services SYNTHESIS WS1 (for web services) LTS1 (WSDL + . BPEL) . . . . composite service . . implementation . . . CWS WSn . (WSDL + LTScws (WSDL + LTSn BPEL) BPEL) composite service specification CWS (WSDL + operation partial correspondence BPEL) vectors

  6. Explanatory example... continuing • 2 existing WSs: LIB and PAY • LIB is an old electronic library • PAY provides an on-line payment capability • 1 new WS to be built: CWS • CWS is a new electronic library providing an on- line payment capability

  7. Explanatory example... continuing • INPUT 1 : WSDL + BPEL spec. of PAY

  8. Explanatory example... continuing • INPUT 1 : WSDL + BPEL spec. of PAY WSDL <definitions ... <portType name="PAY_PT"> <operation name="login"> ... </operation> <operation name="logout"> ... </operation> <operation name="pay"> ... </operation> </portType> ... <role name="PAY"> <portType name="PAY_PT"/> </role> <service name="PAY_BP"/> </definitions>

  9. Explanatory example... continuing • INPUT 1 : WSDL + BPEL spec. of PAY WSDL <definitions ... <portType name="PAY_PT"> <operation name="login"> ... </operation> <operation name="logout"> ... </operation> <operation name="pay"> ... </operation> </portType> ... <role name="PAY"> <portType name="PAY_PT"/> </role> <service name="PAY_BP"/> </definitions>

  10. Explanatory example... continuing • INPUT 1 : WSDL + BPEL spec. of PAY WSDL <definitions ... <portType name="PAY_PT"> <operation name="login"> ... </operation> <operation name="logout"> ... </operation> <operation name="pay"> ... </operation> </portType> ... <role name="PAY"> <portType name="PAY_PT"/> </role> <service name="PAY_BP"/> </definitions>

  11. Explanatory example... continuing • INPUT 1 : WSDL + BPEL spec. of PAY WSDL <definitions ... <portType name="PAY_PT"> <operation name="login"> ... </operation> <operation name="logout"> ... </operation> <operation name="pay"> ... </operation> </portType> ... <role name="PAY"> <portType name="PAY_PT"/> </role> <service name="PAY_BP"/> </definitions>

  12. Explanatory example... continuing • INPUT 1 : WSDL + BPEL spec. of PAY WSDL BPEL <process name="PAY_PROCESS" ... <partners> <partner name="customer" ... /> <definitions ... <partner name="book_vendor" ... /> <portType name="PAY_PT"> </partners> ... <operation name="login"> ... </operation> <sequence> <operation name="logout"> ... </operation> <receive name="authentication" partner="customer" <operation name="pay"> ... </operation> portType="PAY_PT" operation="login" .../> </portType> ... <while ...> ... <role name="PAY"> <receive name="payment" partner="customer" <portType name="PAY_PT"/> portType="PAY_PT" operation="pay" .../> </role> </while> <service name="PAY_BP"/> <receive name="exit" partner="customer" </definitions> portType="PAY_PT" operation="logout" .../> </sequence> </process>

  13. Explanatory example... continuing • INPUT 1 : WSDL + BPEL spec. of PAY WSDL BPEL <process name="PAY_PROCESS" ... <partners> <partner name="customer" ... /> <definitions ... <partner name="book_vendor" ... /> <portType name="PAY_PT"> </partners> ... <operation name="login"> ... </operation> <sequence> <operation name="logout"> ... </operation> <receive name="authentication" partner="customer" <operation name="pay"> ... </operation> portType="PAY_PT" operation="login" .../> </portType> ... <while ...> ... <role name="PAY"> <receive name="payment" partner="customer" <portType name="PAY_PT"/> portType="PAY_PT" operation="pay" .../> </role> </while> <service name="PAY_BP"/> <receive name="exit" partner="customer" </definitions> portType="PAY_PT" operation="logout" .../> </sequence> </process>

  14. Explanatory example... continuing • INPUT 1 : WSDL + BPEL spec. of PAY WSDL BPEL <process name="PAY_PROCESS" ... <partners> <partner name="customer" ... /> <definitions ... <partner name="book_vendor" ... /> <portType name="PAY_PT"> </partners> ... <operation name="login"> ... </operation> <sequence> <operation name="logout"> ... </operation> <receive name="authentication" partner="customer" <operation name="pay"> ... </operation> portType="PAY_PT" operation="login" .../> </portType> ... <while ...> ... <role name="PAY"> <receive name="payment" partner="customer" <portType name="PAY_PT"/> portType="PAY_PT" operation="pay" .../> </role> </while> <service name="PAY_BP"/> <receive name="exit" partner="customer" </definitions> portType="PAY_PT" operation="logout" .../> </sequence> </process>

  15. Explanatory example... continuing • INPUT 1 : WSDL + BPEL spec. of PAY WSDL BPEL <process name="PAY_PROCESS" ... <partners> <partner name="customer" ... /> <definitions ... <partner name="book_vendor" ... /> <portType name="PAY_PT"> </partners> ... <operation name="login"> ... </operation> <sequence> <operation name="logout"> ... </operation> <receive name="authentication" partner="customer" <operation name="pay"> ... </operation> portType="PAY_PT" operation="login" .../> </portType> ... <while ...> ... <role name="PAY"> <receive name="payment" partner="customer" <portType name="PAY_PT"/> portType="PAY_PT" operation="pay" .../> </role> </while> <service name="PAY_BP"/> <receive name="exit" partner="customer" </definitions> portType="PAY_PT" operation="logout" .../> </sequence> </process>

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend

A Reuse- and Prototyping- based Approach for the Specification of Building Automation Systems

A Reuse- and Prototyping- based Approach for the Specification of Building Automation Systems

A Reuse- and Prototyping- based Approach for the Specification of Building Automation Systems Andreas Metzger Stefan Queins SFB 501: Development of Large Systems with Generic Methods Department of Computer Science University of

917 views • 64 slides
Reuse-based &amp; Choreography-based Distributed Systems Reuse-based Software Engineering

Reuse-based &amp; Choreography-based Distributed Systems Reuse-based Software Engineering

Reuse-based &amp; Choreography-based Distributed Systems Reuse-based Software Engineering Distributed Systems Mar Marco Autili BPMN2 Choreographies basics University of LAquila Invited Seminar Lecture 1 Course: Advanced

724 views • 59 slides
A Closed-loop Model-based Design Approach Based On Automatic Verification and Transformation

A Closed-loop Model-based Design Approach Based On Automatic Verification and Transformation

A Closed-loop Model-based Design Approach Based On Automatic Verification and Transformation Kun Zhang Jonathan Sprinkle Eclipse: fix a fat-finger or type change automatically Electrical and Computer Engineering 2 Eclipse: make warnings go

380 views • 18 slides
Automatic Speech Recognition (CS753) Automatic Speech Recognition (CS753) Lecture 10: Deep Neural

Automatic Speech Recognition (CS753) Automatic Speech Recognition (CS753) Lecture 10: Deep Neural

Automatic Speech Recognition (CS753) Automatic Speech Recognition (CS753) Lecture 10: Deep Neural Network(DNN)-based Acoustic Models Instructor: Preethi Jyothi Feb 6, 2017 Qv iz 2 Postmortem Correct Incorrect Common Mistakes: 1 Markov

394 views • 26 slides
Ubiquitous and Mobile Computing CS 528: TagSense: A Smartphone based Approach to Automatic

Ubiquitous and Mobile Computing CS 528: TagSense: A Smartphone based Approach to Automatic

Ubiquitous and Mobile Computing CS 528: TagSense: A Smartphone based Approach to Automatic Image Tagging Bo Peng Computer Science Dept. Worcester Polytechnic Institute (WPI) Introduction What is image tagging? (Facebook) Face

364 views • 25 slides
Automatic Collision Avoidance System based on Geometric Approach applied to Multiple Aircraft

Automatic Collision Avoidance System based on Geometric Approach applied to Multiple Aircraft

6th International Conference on Research in Air Transportation May 26-30, 2014 - Istambul Technical University, Turkey Automatic Collision Avoidance System based on Geometric Approach applied to Multiple Aircraft Paulo Machado University of

719 views • 36 slides
TagSense: A Smartphone-based Approach to Automatic Image Tagging Chuan Qin, Xuan Bao, Romit Roy

TagSense: A Smartphone-based Approach to Automatic Image Tagging Chuan Qin, Xuan Bao, Romit Roy

TagSense: A Smartphone-based Approach to Automatic Image Tagging Chuan Qin, Xuan Bao, Romit Roy Choudhury, Srihari Nelakuditi MobiSys 2011 Grzegorz Jaboski Distributed Systems course Image tagging Pictures and videos are undergoing

350 views • 33 slides
1 Infrastructure Requirements Limit Reuse Planned Indirect Potable Reuse (Purple pipe may be a

1 Infrastructure Requirements Limit Reuse Planned Indirect Potable Reuse (Purple pipe may be a

Overview of Presentation DIRECT POTABLE REUSE: A PATH FORWARD: Take Home Message Reuse Opportunities De Facto and Planned Indirect Potable Reuse 2012 WATER REUSE CONFERENCE Proposed Direct Potable Reuse Strategies Boise, ID

599 views • 8 slides
Orange County Water Reuse Peters Canyon Wash Channel Water Capture and Reuse Pipeline Project

Orange County Water Reuse Peters Canyon Wash Channel Water Capture and Reuse Pipeline Project

Orange County Water Reuse Peters Canyon Wash Channel Water Capture and Reuse Pipeline Project April 20, 2017 Agenda History and Approach Design and Construction Lessons and Challenges Questions 2 History and Approach Jian Peng, PhD

551 views • 26 slides
The 3Rs (reduce, reuse, recycle): an approach to sustainable solid waste management Janya

The 3Rs (reduce, reuse, recycle): an approach to sustainable solid waste management Janya

The 3Rs (reduce, reuse, recycle): an approach to sustainable solid waste management Janya Sang-Arun Sustainable Consumption and Production Group Institute for Global Environmental Strategies (IGES) 3Rs in Asia The 3Rs (reduce, reuse,

490 views • 12 slides
Automatic Speech Recognition (CS753) Automatic Speech Recognition (CS753) Lecture 4: WFST

Automatic Speech Recognition (CS753) Automatic Speech Recognition (CS753) Lecture 4: WFST

Automatic Speech Recognition (CS753) Automatic Speech Recognition (CS753) Lecture 4: WFST algorithms contd. + WFSTs in ASR Instructor: Preethi Jyothi August 3, 2017 Qv iz-1 Postmortem Common Mistakes: Correct Incorrect Missing

432 views • 24 slides
Telephone Based Automatic Telephone Based Automatic Voice Pathology Assessment. Voice Pathology

Telephone Based Automatic Telephone Based Automatic Voice Pathology Assessment. Voice Pathology

Telephone Based Automatic Telephone Based Automatic Voice Pathology Assessment. Voice Pathology Assessment. Rosalyn Moran 1 , R. B. Reilly 1 , P.D. Lacy 2 1 Department of Electronic and Electrical Engineering, University College Dublin, Ireland

298 views • 13 slides
Embracing reuse: Municipal approach City of St. Louis Park RAM Conference October 15, 2019 We

Embracing reuse: Municipal approach City of St. Louis Park RAM Conference October 15, 2019 We

Embracing reuse: Municipal approach City of St. Louis Park RAM Conference October 15, 2019 We all know that recycling is important, but it is the last of the 3 Rs What can we do to encourage reuse, repair, and waste prevention, and

241 views • 22 slides
Lab 2 discussion Last Time Debugging Its a science use experiments to refine

Lab 2 discussion Last Time Debugging Its a science use experiments to refine

size= 64 correct= 0 size= 73 correct= 0 Shuying Liang size= 107 correct= 1 size= 107 correct= 0 size= 108 correct= 0 size= 108 correct= 1 Please do not handin a .doc file, a .zip file, a .tar file, size= 111 correct= 1 size=

430 views • 7 slides
Automatic Speech Recognition (CS753) Automatic Speech Recognition (CS753) Lecture 4: WFSTs in ASR

Automatic Speech Recognition (CS753) Automatic Speech Recognition (CS753) Lecture 4: WFSTs in ASR

Automatic Speech Recognition (CS753) Automatic Speech Recognition (CS753) Lecture 4: WFSTs in ASR + Basics of Speech Production Instructor: Preethi Jyothi Lecture 4 Qv iz-1 Postmortem Common Mistakes: Correct Incorrect Output

589 views • 25 slides
Key Reuse: Theory and Practice Kenny Paterson Royal Holloway, University of London based on

Key Reuse: Theory and Practice Kenny Paterson Royal Holloway, University of London based on

Key Separation, Key Reuse, and Cryptographic Agility Joint Security Key Reuse in EMV Cryptographic Agility BC Attacks Concluding Remarks Key Reuse: Theory and Practice Kenny Paterson Royal Holloway, University of London based on joint work

819 views • 57 slides
NIFA Reporting Web Conference December 14, 2017 Start Recording Adam Preuter Adam is

NIFA Reporting Web Conference December 14, 2017 Start Recording Adam Preuter Adam is

NIFA Reporting Web Conference December 14, 2017 Start Recording Adam Preuter Adam is the Lead for the State Plan of Work and Annual Report process as well as the business lead for the REEport system management and development.

617 views • 38 slides
NSW Health Mandatory Training Modules In 2017, NSW Health introduced Mandatory Training Modules .

NSW Health Mandatory Training Modules In 2017, NSW Health introduced Mandatory Training Modules .

NSW Health Mandatory Training Modules In 2017, NSW Health introduced Mandatory Training Modules . There are 5 modules that all UON students undertaking healthcare placements in NSW Health facilities must complete. These include:

338 views • 6 slides
Shibboleth &amp; Grid Integration STFC and University of Oxford (and University of Manchester)

Shibboleth &amp; Grid Integration STFC and University of Oxford (and University of Manchester)

Shibboleth &amp; Grid Integration STFC and University of Oxford (and University of Manchester) Acknowledgements Slides by David Spence ShibGrid (University of Oxford + STFC) SARoNGS (STFC, University of Oxford, University of

652 views • 23 slides
Reconfigurable and Homepage: http://ces.itec.kit.edu/teaching/ you can also find the slides

Reconfigurable and Homepage: http://ces.itec.kit.edu/teaching/ you can also find the slides

Organisation Institut fr Technische Informatik Chair for Embedded Systems - Prof. Dr. J. Henkel Lecture time: Mi., 15.45 - 17.15 Vorlesung im SS 2014 Bld. 50.34, HS -102 Reconfigurable and Homepage: http://ces.itec.kit.edu/teaching/

418 views • 8 slides
MCIS/UA PHP Training 2003 Chapter 7b Hands-on Application Development Continued Query Builder

MCIS/UA PHP Training 2003 Chapter 7b Hands-on Application Development Continued Query Builder

MCIS/UA PHP Training 2003 Chapter 7b Hands-on Application Development Continued Query Builder The query builder element was designed to allow clients to perform ad hoc queries. Still under development - expect potential changes in the

470 views • 29 slides
Reverse engineering - traces to state machines Neil Walkinshaw and Kirill Bogdanov 1 1 Department

Reverse engineering - traces to state machines Neil Walkinshaw and Kirill Bogdanov 1 1 Department

Inference Competition Reverse engineering - traces to state machines Neil Walkinshaw and Kirill Bogdanov 1 1 Department of Computer Science The University of Sheffield TAIC PART, September 4, 2010 U. of Sheffield Reverse engineering - traces

660 views • 17 slides
CSN11121/CSN11122 System Administration and Forensics File System 28/10/2011

CSN11121/CSN11122 System Administration and Forensics File System 28/10/2011

CSN11121/CSN11122 System Administration and Forensics File System 28/10/2011 r.ludwiniak@napier.ac.uk Lecture Objectives 1. Investigative Process Analysis Framework 2. File Systems FAT NTFS Required Reading G.H. Fellow,

705 views • 51 slides
Exceptions Exception in thread &quot;main&quot; java.lang.NumberFormatException: For input string:

Exceptions Exception in thread &quot;main&quot; java.lang.NumberFormatException: For input string:

Exceptions Exception in thread &quot;main&quot; java.lang.NumberFormatException: For input string: &quot;3.5&quot; at java.lang.NumberFormatException.forInputString(NumberFormatException.java:48) at java.lang.Integer.parseInt(Integer.java:458)

550 views • 23 slides

More recommend