Now showing items 1-1 of 1

    • Declarative specification and verification of service choreographies 

      Montali, M; Pesic, M; Chesani, F; Mello, P; Storari, S; Van Der Aalst, WMP (Association for Computing Machinery (ACM), 2010)
      Service-oriented computing, an emerging paradigm for architecting and implementing business collaborations within and across organizational boundaries, is currently of interest to both software vendors and scientists. While ...