PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
Tytuł artykułu

A Foundational Theory of Contracts for Multi-party Service Composition

Wybrane pełne teksty z tego czasopisma
Identyfikatory
Warianty tytułu
Języki publikacji
EN
Abstrakty
EN
In the context of Service Oriented Computing, contracts are descriptions of the observable message-passing behavior of services. Contracts have been already successfully exploited to solve the problem of client/service composition. Inspired by current orchestration languages, we consider services where the choice to perform an output may not depend on the environment. Under this assumption, we propose a new theory of contracts which also addresses the problem of composition of multiple services (not only one client with one service). Moreover, we relate our theory of contracts with the theory of must testing pre-order (interpreted as a subcontract relation) and we show that a compliant group of contracts is still compliant if every contract is replaced by one of its subcontracts.
Słowa kluczowe
Wydawca
Rocznik
Strony
451--478
Opis fizyczny
bibliogr. 24 poz.
Twórcy
autor
autor
  • Dipartimento di Scienze dell’Informazione, Universit`a di Bologna Mura Anteo Zamboni 7, I-40127 Bologna, Italy, bravetti@cs.unibo.it
Bibliografia
  • [1] Allen, R., Garlan, D.: Formalizing Architectural Connection, Proc. ICSE'94, IEEE Computer Society Press, 1994, 71-80.
  • [2] Autili, M., Inverardi, P., Navarra, A., Tivoli, M.: SYNTHESIS: a tool for automatically assembling correct and distributed component-based systems, Proc. ICSE'07, IEEE Computer Society Press, 2007, 784-787.
  • [3] Bravetti, M., Zavattaro, G.: Contract based Multi-party Service Composition, Proc. FSEN'07, LNCS 4767, Springer, 2007, 207-222.
  • [4] Bravetti, M., Zavattaro, G.: A Theory for Strong Service Compliance, Proc. Coordination'07, LNCS 4467, Springer, 2007, 96-112.
  • [5] Bravetti, M., Zavattaro, G.: Towards a Unifying Theory for Choreography Conformance and Contract Compliance, Proc. SC'07, LNCS 4829, Springer, 2007, 34-50.
  • [6] Brogi, A., Canal, C., Pimentel, E.: Component adaptation through flexible subservicing, Science of Computer Programming, 63, Elsevier, 2006, 39-56.
  • [7] Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Choreography and orchestration: A synergic approach for system design, Proc. ICSOC'05, LNCS 3826, Springer, 2005, 228-240.
  • [8] Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Choreography and orchestration conformance for system design, Proc. Coordination'06, LNCS 4038, Springer, 2006, 63-81.
  • [9] Carbone, M., Honda, K., Yoshida, N.: Structured Communication-Centred Programming for Web Services, Proc. ESOP'07, LNCS 4421, Springer, 2007, 2-17.
  • [10] Carbone, M., Honda, K., Yoshida, N., Milner, R., Brown, G., Ross-Talbot, S.: A Theoretical Basis of Communication-Centred Concurrent Programming, WCD-Working Note, 2006. Available at: http://www.dcs.qmul.ac.uk/_carbonem/cdlpaper/workingnote.pdf
  • [11] Carpineti, S., Castagna, G., Laneve, C., Padovani, L.: A Formal Account of Contracts for Web Services, Proc. WS-FM'06, LNCS 4184, Springer, 2006, 148-162.
  • [12] Carpineti, S., Laneve, C.: A Basic Contract Language for Web Services, Proc. ESOP'06, LNCS 3924, Springer, 2006, 197-213.
  • [13] Castagna, G., Gesbert, N., Padovani, L.: A Theory of Contracts for Web Services, Proc. POPL'08, ACM Press, 2008, 261-272.
  • [14] De Nicola, R.: Extensional equivalences for transition systems, Acta Informatica, 24(2), Springer, 1987, 211-237.
  • [15] De Nicola, R., Hennessy, M.: Testing Equivalences for Processes, Theoretical Computer Science, 34, Elsevier, 1984, 83-133.
  • [16] Fournet, C., Hoare, C. A. R., Rajamani, S. K., Rehof, J.: Stuck-Free Conformance, Proc. CAV'04, LNCS 3114, Springer, 2004, 242-254.
  • [17] Hoare, C. A. R.: Communicating Sequential Processes, Prentice-Hall, 1985.
  • [18] Kobayashi, N.: Type Systems for Concurrent Processes: From Deadlock-Freedom to Livelock-Freedom, Time-Boundedness, Proc. IFIP TCS'00, LNCS 1872, Springer 2000, 365-389.
  • [19] Laneve, C., Padovani, L.: The must preorder revisited - An algebraic theory for web services contracts, Proc. Concur'07, LNCS 4703, Springer, 2007, 212-225.
  • [20] Mateescu, R., Poizat, P., Salaün, G.: Behavioral adaptation of component compositions based on process algebra encodings, Proc. ASE'07, ACM Press, 2007, 385-388.
  • [21] Milner, R.: Communication and Concurrency, Prentice-Hall, 1989.
  • [22] OASIS: WS-BPEL: Web Services Business Process Execution Language Version 2.0, Technical Report, OASIS, 2003.
  • [23] Rensink, A., Vogler,W.: Fair testing, Information and Computation, 205, Elsevier, 2007, 125-198.
  • [24] W3C: WS-CDL: Web Services Choreography Description Language, Technical Report, W3C, 2004.
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BUS8-0003-0069
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.