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 条
  • [31] Requirement engineering in service-oriented system engineering
    Tsai, W. T.
    Jin, Z.
    Wang, P.
    Wu, B.
    [J]. ICEBE 2007: IEEE INTERNATIONAL CONFERENCE ON E-BUSINESS ENGINEERING, PROCEEDINGS, 2007, : 661 - +
  • [32] Service-Oriented System Engineering: A new paradigm
    Tsai, WT
    [J]. SOSE 2005: IEEE INTERNATIONAL WORKSHOP ON SERVICE-ORIENTED SYSTEM ENGINEERING, 2005, : 3 - 6
  • [33] Service-oriented e-Learning system
    Su, Moon Ting
    Wong, Chee Shyang
    Soo, Chuak Fen
    Ooi, Choon Tsun
    Sow, Shun Ling
    [J]. PROCEEDINGS OF THE 2007 1ST INTERNATIONAL SYMPOSIUM ON INFORMATION TECHNOLOGIES AND APPLICATIONS IN EDUCATION (ISITAE 2007), 2007, : 6 - 11
  • [34] A Service-oriented Communication System for Heterogeneous Networks
    Li, Zhongbo
    Gao, Lanlan
    Xie, Yongqiang
    Qi, Jin
    [J]. 2012 INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS, NETWORKING AND MOBILE COMPUTING (WICOM), 2012,
  • [35] Automated Deployment of a Heterogeneous Service-Oriented System
    van der Burg, Sander
    Dolstra, Eelco
    [J]. 36TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS, 2010, : 183 - 190
  • [36] A Service-Oriented application architecture for EHR system
    Wen, SiYuan
    Li, Ying
    [J]. ADVANCED RESEARCH ON AUTOMATION, COMMUNICATION, ARCHITECTONICS AND MATERIALS, PTS 1 AND 2, 2011, 225-226 (1-2): : 688 - +
  • [37] The application of service-oriented architecture in an OA system
    Chao, Wang
    Yan, Wan
    [J]. DCABES 2007 Proceedings, Vols I and II, 2007, : 843 - 845
  • [38] Towards a Modular, Service-Oriented Mechatronic System
    Deng, Zhicheng
    Cao, Huayu
    Xu, Leon
    Ma, Han
    [J]. 2009 IEEE INTERNATIONAL SYSTEMS CONFERENCE, PROCEEDINGS, 2009, : 13 - +
  • [39] Research on a service-oriented manufacturing execution system
    Huang, Yongbin
    Wang, Qifeng
    [J]. 2007 International Symposium on Computer Science & Technology, Proceedings, 2007, : 496 - 499
  • [40] An IoT Service-Oriented System for Agriculture Monitoring
    Cambra, Carlos
    Sendra, Sandra
    Lloret, Jaime
    Garcia, Laura
    [J]. 2017 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC), 2017,
12345