Automatically deriving choreography-conforming systems of services

被引：4
|
作者：
Diaz, Gregorio [1 ]
Rodriguez, Ismael [2 ]
机构：
[1] Univ Castilla La Mancha, Dept Sistemas Informat, Albacete 02071, Spain
[2] Univ Complutense Madrid, Dept Sist Informat Computac, Madrid 28040, Spain
来源：
2009 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING | 2009年
关键词：
D O I：
10.1109/SCC.2009.52
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
We present a formal method to derive a set of web services from a given choreography, in such a way that the system consisting of these services necessarily conforms to the choreography A formal model to represent orchestrations and choreographies is given, and we define several conformance semantic relations allowing to detect whether a set of orchestration models, representing some web services, leads to the overall communications described by a choreography.
引用
收藏
页码：9 / +
页数：2
相关论文
共 50 条
  • [1] Improving the automatic derivation of choreography-conforming web services systems
    Rabanal, Pablo
    Rodriguez, Ismael
    Mateo, Jose A.
    Diaz, Gregorio
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE, ICCS 2012, 2012, 9 : 449 - 458
  • [2] A centralized and a decentralized method to automatically derive choreography-conforming web service systems
    Rodriguez, Ismael
    Diaz, Gregorio
    Rabanal, Pablo
    Antonio Mateo, Jose
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2012, 81 (02): : 127 - 159
  • [3] Data-aware automatic derivation of choreography-conforming systems of services
    Rabanal, Pablo
    Mateo, Jose A.
    Rodriguez, Ismael
    Diaz, Gregorio
    COMPUTER STANDARDS & INTERFACES, 2017, 53 : 59 - 79
  • [4] Automatically Testing Web Services Choreography with Assertions
    Zhou, Lei
    Ping, Jing
    Xiao, Hao
    Wang, Zheng
    Pu, Geguang
    Ding, Zuohua
    FORMAL METHODS AND SOFTWARE ENGINEERING, 2010, 6447 : 138 - +
  • [5] The semantic GrowBag algorithm: Automatically deriving categorization systems
    Diederich, Joerg
    Balke, Wolf-Tilo
    RESEARCH AND ADVANCED TECHNOLOGY FOR DIGITAL LIBRARIES, PROCEEDINGS, 2007, 4675 : 1 - +
  • [6] HOIST: A system for automatically deriving static analyzers for embedded systems
    Regehr, J
    Reid, A
    ACM SIGPLAN NOTICES, 2004, 39 (11) : 133 - 143
  • [7] Correctness of Automatically Generated Choreography Specifications
    Manaf, Nurulhuda A.
    Abidin, Nor Najihah Zainal
    Jamaludin, Nur Amalina
    RULES AND REASONING, RULEML+RR 2021, 2021, 12851 : 18 - 32
  • [8] Customizing Choreography: Deriving Conversations from Organizational Dependencies
    Mahfouz, Ayman
    Barroca, Leonor
    Laney, Robin
    Nuseibeh, Bashar
    EDOC 2008: 12TH IEEE INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING, PROCEEDINGS, 2008, : 181 - 190
  • [9] DAVE: Deriving Automatically Verilog from English
    Pearce, Hammond
    Tan, Benjamin
    Karri, Ramesh
    PROCEEDINGS OF THE 2020 ACM/IEEE 2ND WORKSHOP ON MACHINE LEARNING FOR CAD (MLCAD '20), 2020, : 27 - 32
  • [10] Web services choreography validation
    Wang, Zheng
    Zhou, Lei
    Zhao, Yongxin
    Ping, Jing
    Xiao, Hao
    Pu, Geguang
    Zhu, Huibiao
    SERVICE ORIENTED COMPUTING AND APPLICATIONS, 2010, 4 (04) : 291 - 305
12345