Specifying and composing interaction protocols for service-oriented system modelling

被引：0
|
作者：
Abreu, Joao [1 ]
Bocchi, Laura [1 ]
Fiadeiro, Jose Luiz [1 ]
Lopes, Antonia [2 ]
机构：
[1] Univ Leicester, Dept Comp Sci, Univ Rd, Leicester LE1 7RH, Leics, England
[2] Univ Lisbon, Fac Sci, Dept Informat, P-1749016 Lisbon, Portugal
来源：
FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2007 | 2007年 / 4574卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We present and discuss a formal, high-level approach to the specification and composition of interaction protocols for service-oriented systems. This work is being developed within the SENSORIA project as part of a language and formal framework supporting the modelling of complex services at the business level, i.e. independent of the underlying platform and the languages in which services are programmed and deployed. Our approach is based on a novel language and logic of interactions, and a mathematical semantics of composition based on graphs. We illustrate our approach using a case study provided by Telecom Italia, one of our industrial partners in the project.
引用
收藏
页码：358 / +
页数：2
相关论文
共 50 条
  • [1] POPS : A SERVICE-ORIENTED APPROACH FOR COMPOSING PERSONALIZED COURSES
    Zniber, Najlaa
    [J]. INTED2011: 5TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE, 2011, : 2951 - 2961
  • [2] Perspectives on service-oriented computing and Service-Oriented System engineering
    Tsai, W. T.
    Malek, Miroslaw
    Chen, Yinong
    Bastani, Farokh
    [J]. SOSE 2006: SECOND IEEE INTERNATIONAL SYMPOSIUM ON SERVICE-ORIENTED SYSTEM ENGINEERING, PROCEEDINGS, 2006, : 3 - +
  • [3] A flexible architecture for enforcing and composing policies in a service-oriented environment
    Goovaerts, Tom
    De Win, Bart
    Joosen, Wouter
    [J]. DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS, PROCEEDINGS, 2007, 4531 : 253 - +
  • [4] A service-oriented middleware for composing context aware mobile services
    Sousa, Joao Paulo
    Carrapatoso, Eurico
    Fonseca, Benjamin
    [J]. 2009 FOURTH INTERNATIONAL CONFERENCE ON INTERNET AND WEB APPLICATIONS AND SERVICES, 2009, : 357 - +
  • [5] Distribution concerns in service-oriented modelling
    Aoumeur, Nasreddine
    Fiadeiro, Jose
    Oliveira, Cristovao
    [J]. INTERNATIONAL JOURNAL OF INTERNET PROTOCOL TECHNOLOGY, 2006, 1 (03) : 144 - 158
  • [6] A modelling approach to service-oriented architecture
    Zhang, Tao
    Ying, Shi
    Cao, Sheng
    Zhang, Jiankeng
    [J]. ENTERPRISE INFORMATION SYSTEMS, 2008, 2 (03) : 239 - 257
  • [7] Modelling of Service-Oriented Architectures with UML
    Lopez-Sanza, Marcos
    Acuna, Cesar J.
    Cuesta, Carlos E.
    Marcos, Esperanza
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 194 (04) : 23 - 37
  • [8] Specifying Modernization into Service-Oriented SaaS System in a Case of Public Transport Document Generator
    Mahfudhi, Muhammad Ghufron
    Dias, Teresa Galvao
    [J]. EXPLORING SERVICES SCIENCE (IESS 2016), 2016, 247 : 590 - 603
  • [9] Formal Modelling of Service-Oriented Systems
    Lopes, Antonia
    [J]. MODEL AND DATA ENGINEERING, 2011, 6918 : 3 - 3
  • [10] A service-oriented approach for specifying component-based systems
    Kotonya, Gerald
    Hutchinson, John
    [J]. ICCBSS 2007: SIXTH INTERNATIONAL IEEE CONFERENCE ON COMMERCIAL-OFF-THE-SHELF (COTS)-BASED SOFTWARE SYSTEMS, PROCEEDINGS, 2007, : 150 - +
12345