Applying Formal Methods to

insidiousbehaviorΑσφάλεια

3 Νοε 2013 (πριν από 3 χρόνια και 7 μήνες)

59 εμφανίσεις

1

Applying Formal Methods to
Web Services

Yoji Yamanoue

yamanoue@ale.csce.kyushu
-
u.ac.jp

Graduate School of Information Science and Electrical
Engineering(ISEE), Kyushu University, Japan

November 20, 2003

2

Outline


Background


Approach of Our Research


Related Work


Issues


Future Work

3

Background

Internet


Multimodal Web


Coordination of Services

Ubiquitous Computing

Anywhere/Anytime

4

Web Service


What’s a Web Service ?


A Web Service is a service that can be accessed over a
network using
XML based messages

communicated
through
Internet protocols
.


Web Services Technologies


XML(eXtensible Markup Language)


SOAP(Simple Object Access Protocol)


packaging the XML messages


WSDL(Web Service Description Language)


describing Web Services


UDDI(Universal Description, Discovery and Integration)


publishing and discovering Web Services

5

Web Service Architecture

Service Requester

Service Provider

Service Registry

Find

Publish

Bind

Interface(
WSDL
)

UDDI

SOAP

6

Steps of development of

Web Service

STEP1

Simple connection

with SOAP

STEP2

STEP3

SOAP

UDDI

Coordination among

multiple known systems

Coordination among

multiple unknown systems

Applicable Range in Practical Steps at Present

7

Characteristics of Web Service


Internet Standard


A Web Service is available by using existing internet
standard technologies.


Open


Because of XML based messages, a Web Service is
platform
-
independent and programming language
independent.


Dynamic Binding


A Web Service enables coordination among multiple
services.

8

Service Oriented Architecture(SOA)

SOA platform

Traditional platform

Feature

A

Service

A

Service

D

Service

C

Service

B

Internet

Traditional model

SOA model

Close
-
coupled

Loosely
-
coupled

Feature

B

Feature

C

Feature

D

SOA model in which application resources

are applied over network according to need

Composed application development

model dependent on platform

9

Approach of Our Research


To propose development methods based on
Service Oriented Architecture(SOA)


Focus on early stages of development by using
Formal Methods (especially, VDM)


Top
-
down Strategy

1.
Requirement analysis

2.
Dividing a whole service into multiple Web services

3.
Specifying specification of coordination between
each Web services

4.
Specifying specification of individual Web services


Case Study

10

Related Work


OpenSOAP Project


http://www.opensoap.jp/index.html.en


OpenSOAP Robot System


Mono
-
functional Modular Robots System rather than
Fully Equipped Intelligent Robot

Camera module

Wheel module

Wheel module

Interface

Camera module

No Camera !!

Internet

Internet

11

Related Work


OpenSOAP Robot System

12

Advantages of applying Web
Services to Embedded Systems


Platform
-
independent


To ease hardware constraints


To be relatively low in cost


To enhance reusability and extensibility

13

Issues


How can we apply Service Oriented
Architecture(SOA) to embedded systems?


Trade
-
off (e.g. real
-
time issues)


How can we specify specifications and
verify coordination between each services?

14

Future Work


Our research has just started.


To identify issues in Web services.


A case study approach will be used to
explain software development based on
Service Oriented Architecture(SOA).