Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

6

ICDE
2007
IEEE

favoriteEmaildiscussreport

97views Database» more ICDE 2007»

Service Description and Analysis From a Type Theoretic Approach

13 years 11 months ago

Service Description and Analysis From a Type Theoretic Approach

Download svilab.science.uoit.ca

In this paper, we propose to deploy type-theoretic techniques to the service description and composition veriﬁcation. We deﬁne a ﬂexible type system for modeling instances and mappings of semi-structured data, and demonstrate how it can be used to model a wide range of data services, ranging from relational database queries to web services for XML. Type-theoretic analysis and veriﬁcation are then reduced to the problem of type uniﬁcation. We present the (in)tractability result of the uniﬁcation problem, and the expressiveness of our proposed type system.

Ken Q. Pu

Real-time Traffic

Database | ICDE 2007 | Relational Database Queries | Type System | Type-theoretic Techniques |

claim paper

Related Content

» From description to requirements an activity theoretic perspective

» Comparing Approaches for Semantic Service Description and Matchmaking

» Pricing Differentiated Services A GameTheoretic Approach

» Applying Semantic Technologies for ContextAware AAL Services What we can learn from SOPRAN...

» A web service based approach for integrating statistics tools into an information system f...

» An Architectural Description of Intelligent Network Features and Their Interactions

» Determing Performance of Choreographybased Composite Services

» Rolebased Service Description and Discovery

» PatternBased Specification and Validation of Web Services Interaction Properties

Post Info
More Details (n/a)

Added	03 Jun 2010
Updated	03 Jun 2010
Type	Conference
Year	2007
Where	ICDE
Authors	Ken Q. Pu

Comments (0)