Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Service-oriented calculi"'
Publikováno v:
Mathematical Structures in Computer Science. 25:666-709
Service-oriented computing is calling for novel computational models and languages with well-disciplined primitives for client–server interaction, structured orchestration and unexpected events handling. We present CaSPiS, a process calculus where
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::540c96204b27d334f12eed4c7eb4e5d5
https://doi.org/10.1017/s0960129512000953
https://doi.org/10.1017/s0960129512000953
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642204005
Results of the SENSORIA Project
Results of the SENSORIA Project
In the SENSORIA project, core calculi have been adopted as a linguistic means to model and analyze service-oriented applications. The present chapter reports about the static analysis techniques developed for the SENSORIA session-oriented core calcul
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f5f52c9ac6afe1a48648038b255079a4
http://hdl.handle.net/11568/176708
http://hdl.handle.net/11568/176708
Publikováno v:
Algebraic Methodology and Software Technology ISBN: 9783540799795
AMAST
AMAST
The notion of a session is fundamental in service-oriented applications, as it serves to separate interactions between clients and different instances of the same service, and to group together logical units of work. Recently, the Service Centered Ca
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7ad921135679e133912cd434d0f81132
https://doi.org/10.1007/978-3-540-79980-1_8
https://doi.org/10.1007/978-3-540-79980-1_8
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540688624
FMOODS
FMOODS
Service-oriented computing is calling for novel computational models and languages with primitives for client-server interaction, orchestration and unexpected events handling. We present CaSPiS , a process calculus where the notions of session and pi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::68585298c27fd2751098c5a4eaa7aa89
https://doi.org/10.1007/978-3-540-68863-1_3
https://doi.org/10.1007/978-3-540-68863-1_3