Sciweavers

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

6

ENTCS
2007

favoriteEmaildiscussreport

88views more ENTCS 2007»

Behavioural Types for Service Integration: Achievements and Challenges

13 years 4 months ago

Behavioural Types for Service Integration: Achievements and Challenges

Download www.lcc.uma.es

Abstract. Increasing attention is being paid to the development of socalled behavioural types as a means to formally address the problem of ensuring the correct interoperation of software components as well as of Web services. The objective of this paper is to provide an insightful synthesis of the state-of-the-art in this area, both to summarise the main results achieved and to point out some important challenges to be faced for a real impact of these ideas in the software world.

Antonio Brogi, Carlos Canal, Ernesto Pimentel

Real-time Traffic

Behavioural Types | Correct Interoperation | ENTCS 2007 | Insightful Synthesis |

claim paper

Related Content

» Integration of Embedded Devices Through Web Services Requirements Challenges and Early Res...

» Runtime Verification of Behavioural Conformance for Conversational Web Services

» Achieving Security Despite Compromise Using Zeroknowledge

» Integration Testing of Components Guided by Incremental State Machine Learning

» ESPERANTO a middleware platform to achieve interoperability in nomadic computing domains

» Achieving Reliability through Replication in a WideArea Network DHT Storage System

» Challenges to Next Generation Services in IP Multimedia Subsystem

» Towards an Automatic Integration of Statecharts

» Next Century Challenges Nexus An Open Global Infrastructure for SpatialAware Applications

Post Info
More Details (n/a)

Added	13 Dec 2010
Updated	13 Dec 2010
Type	Journal
Year	2007
Where	ENTCS
Authors	Antonio Brogi, Carlos Canal, Ernesto Pimentel

Comments (0)