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
相关论文
共 50 条
  • [1] Expressing and reasoning about service contracts in service-oriented computing
    Kuo, Dean
    Fekete, Alan
    Greenfield, Paul
    Nepal, Surya
    Zic, John
    Parastatidis, Savas
    Webber, Jim
    [J]. ICWS 2006: IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, PROCEEDINGS, 2006, : 915 - +
  • [2] SERVICE-ORIENTED LOGIC PROGRAMMING
    Tutu, Ionut
    Fiadeiro, Jose Luiz
    [J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2015, 11 (03)
  • [3] Modeling and Reasoning about Service-Oriented Applications via Goals and Commitments
    Chopra, Amit K.
    Dalpiaz, Fabiano
    Giorgini, Paolo
    Mylopoulos, John
    [J]. ADVANCED INFORMATION SYSTEMS ENGINEERING, PROCEEDINGS, 2010, 6051 : 113 - 128
  • [4] Accountability monitoring and reasoning in service-oriented architectures
    Zhang, Yue
    Lin, Kwei-Jay
    Hsu, Jane Y. J.
    [J]. SERVICE ORIENTED COMPUTING AND APPLICATIONS, 2007, 1 (01) : 35 - 50
  • [5] Service-Oriented System Engineering: A new paradigm
    Tsai, WT
    [J]. SOSE 2005: IEEE INTERNATIONAL WORKSHOP ON SERVICE-ORIENTED SYSTEM ENGINEERING, 2005, : 3 - 6
  • [6] Cloud Manufacturing for a Service-oriented Paradigm Shift
    Lu, Yuqian
    Xu, Xun
    [J]. 2014 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT (IEEM), 2014, : 1146 - 1150
  • [7] Grid interactive service-oriented programming environment
    Kolonay, RM
    Sobolewski, M
    [J]. CONCURRENT ENGINEERING: THE WORLDWIDE ENGINEERING GRID, PROCEEDINGS, 2004, : 97 - 102
  • [8] Toward a programming model for service-oriented computing
    Curbera, F
    Ferguson, D
    Nally, M
    Stockton, ML
    [J]. SERVICE-ORIENTED COMPUTING - ICSOC 2005, PROCEEDINGS, 2005, 3826 : 33 - 47
  • [9] Accountability in service-oriented architecture: Computing with reasoning and reputation
    Zhang, Yue
    Lin, Kwei-Jay
    Yu, Tao
    [J]. ICEBE 2006: IEEE INTERNATIONAL CONFERENCE ON E-BUSINESS ENGINEERING, PROCEEDINGS, 2006, : 123 - +
  • [10] Dynamic collaboration simulation in service-oriented computing paradigm
    Tsai, W. T.
    Huang, Qian
    Sun, Xin
    Chen, Yinong
    [J]. 40TH ANNUAL SIMULATION SYMPOSIUM, PROCEEDINGS, 2007, : 41 - +
12345