Service-Oriented Computing in Recomposable Embedded Systems

Size: px

Start display at page:

Download "Service-Oriented Computing in Recomposable Embedded Systems"

Allyson Johnson
6 years ago
Views:

1 Service-Oriented Computing in Recomposable Embedded Systems Autonomous + Backend Support Yinong Chen Department of Computer Science and Engineering

2 2 Motivation Embedded systems / Robots have limited capacity to carry programs that handle all possible situations; Unforeseeable environmental situations can occur; Faults can occur and without on-site repair; The users want to modify the system (requirements) without stopping the system.

3 3 Roadmap Service-Oriented Computing: a New Paradigm Service Providing Service Registry and Repository Application Building Application in Recomposable Embedded Systems

4 4 Paradigms of Computing Abstraction Level Logic Programming e.g. Prolog Service-Oriented Programming Functional Programming e.g. LISP Imperative Programming e.g. Fortran Procedural Programming e.g. C Object-Oriented Programming e.g. C++ 50s 60s 70s 80s 90s 00s 10s Time

5 5 Service-Oriented Computing Service-Oriented Programming Object-Oriented Programming Abstract data types Encapsulation Inheritance Dynamic binding Autonomous services Remote objects Component-based composition Remote invocation and binding Functional Programming Logic Programming Stateless Side-effect free Enforced modular design Database Relations Query and matching Reasoning Separation of development Open standards and protocols Platform-independent Repository of reusable services Automatic discovering and binding Collaboration negotiation Dynamic reconfiguration Dynamic re-composition Ontology-based reasoning

6 6 Separation of Development The Three-Party Model of Service Orientation Directory services UDDI / WSDL / SOAP ebxml / CPP Ontology Found Application builder Applications Find ƒ Service brokers Registry Internet SOAP call Results White page Yellow page Green page Publishing Service providers Service agents Programming languages: C++, C# Java Computing service development:.net (Microsoft) WebSphere (IBM) Application development platforms Specification languages.net, SCA/SDO in WebSphere, WSFL, BPEL, PSML for composition, code generation Web and data service development XML, RDF, OWL, WSDL

7 7 Roadmap Service-Oriented Computing: a New Paradigm Service Providing Service Registry and Repository Application Building Application in Recomposable Embedded Systems Service Registry Repository Application builder Service providers Applications Services

8 8 Services Providing (Programming) Services are building blocks of SOC software (COTS) Services have an open standard interface, e.g., in WSDL Services are placed (published) in an internet-searchable repository Services can be automatically discovered (searched) Services can be remotely invoked via a standard protocol, e.g., SOAP remote procedure call Services are platform-independent, it can be written in any languages: Java, C#, etc. Every piece of program can be wrapped as a service In the near future, most services required will be available. There is no need to write new services in most cases The programming languages likes Java, C#, C++, etc will be less frequently used.

9 9 Services are Wrapped Classes Service requester Return value in XML/SOAP Remote invocation in XML/SOAP/HTTP To UDDI server WSDL Description for UDDI publication Web service interfaces Function call Return value Service agent Functions written in C# or Java Manually write the functions In C# or in Java Automatically generate the WSDL file

10 10 Roadmap Service-Oriented Computing: a New Paradigm Service Providing Service Registry and Repository Application Building Application in Recomposable Embedded Systems Found Application builder Applications Find Service Registry Repository Internet SOAP call Results White page Yellow page Green page Publishing Service providers Services

11 11 UDDI Service Registry Universal Description, Discovery, and Integration UDDI registry information is organized in three groups: White page includes service provider's name, identify, e.g., the DUNS number, contact information. Yellow page includes industry type, product and service type, and geographical location. Green page includes binding information associated with services, references to the technical models those services implement, and pointers to various file and URL-based discovery mechanisms. The information can be searched and interpreted by programs.

12 12 Search and Discover a Service An Application Builder Service broker SOAP request Find a service HTTP server SOAP server SOAP response APIs Service match and discovery Ontology Taxonomy Service registry

13 13 Microsoft Enterprise UDDI Services Manual Web browser clients (human users) HTTP protocol Web services clients (program users) Automatic ASP.Net Pages Web service interfaces Database Web server IIS UDDI request management UDDI class library MSDE/SQL Server

14 14 Roadmap Service-Oriented Computing: a New Paradigm Service Providing Service Registry and Repository Application Building Application in Recomposable Embedded Systems Service Registry Repository Application builder Applications Service providers Services

15 15 Process of Application Building Component Level Specification Process Level Specification Verification Assembling and Binding Simulation / Testing Deployment Operation & Management Visual Studio.Net Whitehorse WebSphere SCA / SDO WSFL XLANG BPEL4WS PSML-S WSDL SOAP RDFS / OWL-S Monitoring Evaluation Recomposition

16 16 Roadmap Service-Oriented Computing: a New Paradigm Service Providing Service Registry and Repository Application Building Application Recomposable Embedded Systems Motivation Model-driven approach: single model multiple analyses Development cycle: A real cycle with a feedback loop ASU SO Embedded System Project

17 Service-Oriented Computing, System Engineering and Applications at Arizona State University Robotics Embedded Computing Research and Curriculum Service-Oriented System Engineering Re-composable

17 17 Service-Oriented Computing, System Engineering and Applications at Arizona State University Robotics Embedded Computing Research and Curriculum Service-Oriented System Engineering Re-composable Embedded Systems Bio- Informatics Engineering Reliability Evaluation Service- Oriented Enterprise Service-Oriented Computing Infrastructure E-Business Modeling Simulation Testing Ontology Command and Control Systems class ch1 ch2 ch3 ch4 ch5 sec1 secn sec1 secn sec1 secn sec1 secn q1 qn q1 qn q1 qn q1 qn q1 qn sol1 soln sol1 soln sol1 soln sol1 soln sol1 soln

18 18 Model-Driven: Single Model Multiple Analyses Code generation Model checking Completeness & consistency Reliability modeling Dynamic testing PSML-S functional & policy models Policy enforcement Collaboration negotiation Reconfiguration and recomposition Simulation

19 19 ASU PSML-S based SOC Development Cycle Requirement Modeling Specification Verification Simulation Code generation Validation Reconfiguration Evaluation Operation Monitoring Assembling Deployment

20 20 The Development Cycle with More Detail Modeling & Specification Verification Code generation Validation Assembling Deployment Requirement. Application services Service connection Model revision PSML -S functional model PSML -S policy model Policy revision feedback Completeness & consistency No Model Yes checking Pass? Test case No generation Policy database feedback Assembly Code generation Testing Simulation Test cases No Yes Pass? No Assembling Policy Execution enforcement Deployment Rebinding Reliability modeling Data collection Monitoring Revision during operation Re-composition Service farm Data mining Reconfiguration Evaluation Operation & Monitoring

21 21 Service-Oriented Recomposable Embedded Systems Application Builder Remote Maintenance Center (RMC) Simulating and monitoring ---- Search Found Registry Repository Publish / uploading On-board controller ---- PDA Publish requirements C# /.Net Java / Tomcat Component requirement Create services based on requirements Services Service Provider

22 22 System Overview User Station GUI, specification tool, configuration tool, command Reasoning, re-composition Code generation Service Repository Interface to RMC Data collection ---- Tokenizer Deploy Simulation Model checking Policy enforce Service repository Reconfiguration Target device Interface to embedded system Data mining Runtime database Resource database PDA Controller Remote Maintenance Center (RMC)

23 23 Service Providing For each type of vehicle, basic services are defined: Forward(n); Backward(n); TurnLeft(); where, = 45, 90, 135 degree TurnRight(); where, = 45, 90, 135 degree TurnBack(); turn 180 degree TurnCircle(); AutoPath(A, B); boolean Obstacle(); return true if there is an obstacle

24 24 Service Repository Service repository Vehicle control Test questions Other services Forward(n); Backward(n); TurnLeft(); TurnRight(); TurnBack(); boolean Obstacle(); Forward(n); Backward(n); TurnLeft(); TurnRight(); TurnBack(); boolean Obstacle();

25 25 Application Building Based on Services The application logic does not have to be changed when the vehicle is changed. Replace the component services will have a different vehicle to perform the same tasks. C Source A B Destination

26 26 Application Building Based on Situation A and B cooperate to try to move through the gate. C tries to block them. A and B will test C s intelligence, and send the information back to the RMC RMC will construct programs for A and B A and B will follow the new program to bypass C. Simulating and monitoring ---- A B C

27 27 An Optional Layer -- PDA Act as - a mobile controller of the vehicles - a more powerful on board computer Remote Maintenance Center RMC Simulating and monitoring PDA

28 28 PDA as an Onboard Computer RMC IP Address RMC Port Number Robot Commands Program From RMC Forward Clear 1-1 Left Right Both Left Raw Data Robot Sensor Input

29 29 PDA Manual Mode: Remote Controller

30 30 Simulation and Monitoring on RMC

31 31 SUMMARY Service-Oriented Computing Service Providing Service Registry and Repository Application Building Application in Recomposable Embedded Systems Demo

SERVICE-ORIENTED COMPUTING

THIRD EDITION (REVISED PRINTING) SERVICE-ORIENTED COMPUTING AND WEB SOFTWARE INTEGRATION FROM PRINCIPLES TO DEVELOPMENT YINONG CHEN AND WEI-TEK TSAI ii Table of Contents Preface (This Edition)...xii Preface