A lightweight formal framework for service-oriented applications design

Authors:
Aliaksei Yanchuk;Alexander Ivanyukovich;Maurizio Marchese
Affiliations:
Department of Information and Communication Technology, University of Trento, Povo (Tn), Italy;Department of Information and Communication Technology, University of Trento, Povo (Tn), Italy;Department of Information and Communication Technology, University of Trento, Povo (Tn), Italy
Venue:
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Year:
2005

Citing 8
Cited 1

CODASYL Data-Base Management Systems

ACM Computing Surveys (CSUR)
Compositional Refinement of Interactive Systems Modelled by Relations

COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Design Methodology for Web Services and Business Processes

TES '02 Proceedings of the Third International Workshop on Technologies for E-Services
From Action Systems to Modular Systems

FME '94 Proceedings of the Second International Symposium of Formal Methods Europe on Industrial Benefit of Formal Methods
Web Services and Service-Oriented Architecture: The Savvy Manager's Guide

Web Services and Service-Oriented Architecture: The Savvy Manager's Guide
Service -Oriented Computing: Concepts, Characteristics and Directions

WISE '03 Proceedings of the Fourth International Conference on Web Information Systems Engineering
Methodological support for service-oriented design with ISDL

Proceedings of the 2nd international conference on Service oriented computing
Web Services: Concepts, Architectures and Applications

Web Services: Concepts, Architectures and Applications

A Formal Model of Business Application Integration from Web Services (Position Paper)

SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

Leveraging service oriented programming paradigm would significantly affect the way people build software systems. This paper contributes to the above goal proposing a lightweight formal framework capable of capturing the essential components of service-oriented programming paradigm.