Reasoning About a Service-oriented Programming Paradigm

被引：1

作者：

Guidi, Claudio ^{[1
]}

Montesi, Fabrizio ^{[1
,2
]}

机构：

[1] Univ Bologna, Dept Comp Sci, Bologna, Italy

[2] italianaSoftware Srl, Bologna, Italy

来源：

ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2009年 / 02期

关键词：

D O I：

10.4204/EPTCS.2.6

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

This paper is about a new way for programming distributed applications: the service-oriented one. It is a concept paper based upon our experience in developing a theory and a language for programming services. Both the theoretical formalization and the language interpreter showed us the evidence that a new programming paradigm exists. In this paper we illustrate the basic features it is characterized by.

引用

页码：67 / 81

页数：15

共 28 条

[1]

[Anonymous], WEB SERV CHOR DESCR

[2]

Baldoni M, 2005, LECT NOTES COMPUT SC, V3670, P257

[3]

Barros A., 2005, FITTR200502 U TECHN

[4]

Barros A., 2005, LNCS, P5

[5]

Boreale M, 2006, LECT NOTES COMPUT SC, V4184, P38

[6]

Bravetti M, 2007, LECT NOTES COMPUT SC, V4829, P34

[7] Theoretical foundations for compensations in flow composition languages [J].

Bruni, R ;

Melgratti, H ;

Montanari, U .

ACM SIGPLAN NOTICES, 2005, 40 (01) :209-220

[8] Towards a formal framework for choreography [J].

Busi, N ;

Gorrieri, R ;

Guidi, C ;

Lucchi, R ;

Zavattaro, G .

FOURTEENTH IEEE INTERNATIONAL WORKSHOPS ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES, PROCEEDINGS, 2005, :107-112

[9]

Busi N, 2006, LECT NOTES COMPUT SC, V4038, P63

[10]

Butler M, 2004, LECT NOTES COMPUT SC, V2949, P87

← 1 2 3 →