Expressing and reasoning about service contracts in service-oriented computing

被引：0
|
作者：
Kuo, Dean [1 ]
Fekete, Alan [2 ]
Greenfield, Paul [2 ]
Nepal, Surya [3 ]
Zic, John [3 ]
Parastatidis, Savas [4 ]
Webber, Jim [5 ]
机构：
[1] Univ Manchester, Sch Comp Sci, Manchester, Lancs, England
[2] Univ Sydney, Sydney, NSW, Australia
[3] CSIRO ICT Ctr, Marsfield, NSW, Australia
[4] Univ Newcastle, Callaghan, NSW, Australia
[5] ThoughtWorks Australia Pty Ltd, Johannesburg, Australia
来源：
ICWS 2006: IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, PROCEEDINGS | 2006年
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：915 / +
页数：2
相关论文
共 50 条
  • [41] Reliability prediction for service-oriented computing environments
    Grassi, Vincenzo
    Patella, Simone
    [J]. IEEE INTERNET COMPUTING, 2006, 10 (03) : 43 - 49
  • [42] A service-oriented adaptive framework for pervasive computing
    Cao, Luhui
    Li, Qingzhong
    Sui, Qi
    [J]. 2006 1ST INTERNATIONAL SYMPOSIUM ON PERVASIVE COMPUTING AND APPLICATIONS, PROCEEDINGS, 2006, : 631 - +
  • [43] Using Problems to Learn Service-oriented Computing
    Purao, Sandeep
    Vaishnavi, Vijay
    Bagby, John
    Borthick, Faye
    Cameron, Brian
    Lenze, Lisa
    Sawyer, Steve
    Suen, Hoi
    Welke, Richard
    [J]. IEEE CONGRESS ON SERVICES 2008, PT I, PROCEEDINGS, 2008, : 33 - +
  • [44] Future generation of service-oriented computing systems
    Yangui, Sami
    Goscinski, Andrzej
    Drira, Khalil
    Tari, Zahir
    Benslimane, Djamal
    [J]. FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2021, 118 : 252 - 256
  • [45] Colombo: Lightweight middleware for service-oriented computing
    Curbera, F
    Duftler, MJ
    Khalaf, R
    Nagy, WA
    Mukhi, N
    Weerawarana, S
    [J]. IBM SYSTEMS JOURNAL, 2005, 44 (04) : 799 - 820
  • [46] A Service-oriented Flexible Network Computing Model
    Wang, Zhanjie
    Wu, Yahui
    [J]. 2017 2ND INTERNATIONAL CONFERENCE ON COMPUTER AND COMMUNICATION SYSTEMS (ICCCS2017), 2017, : 55 - 59
  • [47] An Exception Handling Framework for Service-oriented Computing
    Lu, Qin
    Zhang, Weishi
    Su, Bo
    [J]. 2008 IFIP INTERNATIONAL CONFERENCE ON NETWORK AND PARALLEL COMPUTING, PROCEEDINGS, 2008, : 315 - 322
  • [48] A Logical Verification Methodology for Service-Oriented Computing
    Fantechi, Alessandro
    Gnesi, Stefania
    Lapadula, Alessandro
    Mazzanti, Franco
    Pugliese, Rosario
    Tiezzi, Francesco
    [J]. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2012, 21 (03)
  • [49] A Service-Oriented Memory Architecture for FPGA Computing
    Melber, Joseph
    Hoe, James C.
    [J]. 2020 30TH INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS (FPL), 2020, : 91 - 97
  • [50] Foundational MDA Patterns for Service-Oriented Computing
    Atkinson, Colin
    Bostan, Philipp
    Draheim, Dirk
    [J]. JOURNAL OF OBJECT TECHNOLOGY, 2015, 14 (01):
12345