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>

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
Application of Equation of State Based Methods to Correct for Oil Based Drilling Fluid

Application of Equation of State Based Methods to Correct for Oil Based Drilling Fluid

Application of Equation of State Based Methods to Correct for Oil Based Drilling Fluid Contamination in Condensates and Near Critical Systems John Ratulowski Shell Exploration and Production Technology Company Houston TX Outline Sources

502 views • 26 slides
Automatic MySQL Schema Management with Skeema Evan Elias Percona Live, April 2017 What is

Automatic MySQL Schema Management with Skeema Evan Elias Percona Live, April 2017 What is

Automatic MySQL Schema Management with Skeema Evan Elias Percona Live, April 2017 What is Schema Management? Organize table schemas in a repo Execution of all DDL, on the correct MySQL instances, with the correct OSC flags Not

813 views • 64 slides
Correct rounding of transcendental functions: an approach via Euclidean lattices and approximation

Correct rounding of transcendental functions: an approach via Euclidean lattices and approximation

Correct rounding of transcendental functions: an approach via Euclidean lattices and approximation theory Nicolas Brisebarre (C.N.R.S.) and Guillaume Hanrot (.N.S. Lyon) CUNY Graduate Center-Courant Seminar in Symbolic-Numeric Computing -

1.29k views • 118 slides
Software Reuse From informal reuse (scavenging) to systematic reuse Management and technical

Software Reuse From informal reuse (scavenging) to systematic reuse Management and technical

Software Reuse From informal reuse (scavenging) to systematic reuse Management and technical issues Michal Young, SERC 05/19/99 1 Merry-Go-Round of Sequential Development Conventional view of development: Requirements Common theme -

238 views • 13 slides
Sowmyan Rajagopalan, Founder &amp; CTO Thalia Design Automation Is efficient Analog IP reuse a

Sowmyan Rajagopalan, Founder &amp; CTO Thalia Design Automation Is efficient Analog IP reuse a

Sowmyan Rajagopalan, Founder &amp; CTO Thalia Design Automation Is efficient Analog IP reuse a Myth ? An Innovative Approach to make Analog IP reuse a reality April, 2019 | Analog IP Reuse Why is it difficult ? Analog circuit design is

478 views • 16 slides
A Model Management Approach for Assurance Case Reuse due to System Evolution Sahar Kokaly, Rick

A Model Management Approach for Assurance Case Reuse due to System Evolution Sahar Kokaly, Rick

A Model Management Approach for Assurance Case Reuse due to System Evolution Sahar Kokaly, Rick Salay Valentin Cassano, Tom Maibaum and Marsha Chechik kokalys@mcmaster.ca 2 3 4 5 Standards are documented agreements containing technical

837 views • 39 slides
A formal approach for fostering component reuse and managing software change Abderrahman MOKNI,

A formal approach for fostering component reuse and managing software change Abderrahman MOKNI,

A formal approach for fostering component reuse and managing software change Abderrahman MOKNI, Marianne HUCHARD, Christelle URTADO, Sylvain VAUTTIER et Huaxi (Yulin) ZHANG SATToSE 2014 1 11/07/2014 Context and problematic

475 views • 31 slides
What the heck is a DAS / BDA System DC/MD/VA Automatic Fire Alarm Association (AFAA)

What the heck is a DAS / BDA System DC/MD/VA Automatic Fire Alarm Association (AFAA)

What the heck is a DAS / BDA System DC/MD/VA Automatic Fire Alarm Association (AFAA) Presented by, Raymond Skjold BearCom Lets get the acronyms correct There interchangeable terms DAS BDA ERRCS Signal Booster

889 views • 63 slides

More recommend