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
关键词
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