Static Analysis Techniques for Session-Oriented Calculi

Autor:	Lucia Acciai, Hugo Torres Vieira, Roberto Bruni, Chiara Bodei, Michele Boreale
Jazyk:	angličtina
Rok vydání:	2011
Předmět:	Control Flow Analysis Computer science Programming language media_common.quotation_subject CaSPiS Fidelity Conversation fidelity Static analysis computer.software_genre Service-oriented calculi Control flow analysis Session (computer science) Conversation Calculus computer media_common
Zdroj:	Lecture Notes in Computer Science ISBN: 9783642204005 Results of the SENSORIA Project
Popis:	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 calculi CaSPiS and CC. In particular, it presents a type system for client progress and control flow analysis in CaSPiS and type systems for conversation fidelity and progress in CC. The chapter gives an overview of the these techniques, summarizes the main results and presents the analysis of a common example taken from the SENSORIA financial case-study: the credit request scenario.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f5f52c9ac6afe1a48648038b255079a4 http://hdl.handle.net/11568/176708 Zobrazit plný text záznamu