Spatial and behavioral types in the pi-calculus

Autor: Michele Boreale, Lucia Acciai

Publikováno v: Information and Computation. 208:1118-1153

We present a framework that combines ideas from spatial logics and behavioral type systems. Type systems for the pi-calculus are proposed where newly declared (restricted) names are annotated with spatial process properties, predicating on those name

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::009e6677966ddd0fcd5dadaf6565df52
https://doi.org/10.1016/j.ic.2009.10.011

Linear-Time and May-Testing in a Probabilistic Reactive Setting

Autor: Michele Boreale, Lucia Acciai, Rocco De Nicola

Publikováno v: Lecture Notes in Computer Science
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE)
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik, Iceland. pp.29-43, ⟨10.1007/978-3-642-21461-5_2⟩
Formal Techniques for Distributed Systems ISBN: 9783642214608
FMOODS/FORTE

International audience; We consider reactive probabilistic labelled transition systems (rplts), a model where internal choices are refined by probabilistic choices. In this setting, we study the relationship between linear-time and may-testing semant

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ab1af1d1388680095cf47af39b39539c
https://hal.inria.fr/hal-01583326/file/978-3-642-21461-5_2_Chapter.pdf

Behavioural Contracts with Request-Response Operations

Autor: Gianluigi Zavattaro, Lucia Acciai, Michele Boreale

Publikováno v: Lecture Notes in Computer Science
12th International Conference on Coordination Models and Languages (COORDINATION) Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec)
12th International Conference on Coordination Models and Languages (COORDINATION) Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.16-30, ⟨10.1007/978-3-642-13414-2_2⟩
Lecture Notes in Computer Science ISBN: 9783642134135
COORDINATION

International audience; In the context of service-oriented computing, behavioural contracts are abstract descriptions of the message-passing behaviour of services. They can be used to check properties of service compositions such as, for instance, cl

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ddc79ee4302520bc5b19cc3fd827c1bb
http://hdl.handle.net/11585/89238

SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity

Autor: Alessandro Fantechi, Franco Mazzanti, Lucia Acciai, Andreas Schroeder, Stefania Gnesi, Alessandro Lapadula, László Gönczy, Federico Banti, Philip Mayer, Rosario Pugliese, Dániel Varró, Francesco Tiezzi, Mirco Tribastone, Martin Wirsing, Matthias Hölzl, Stephen Gilmore, Allan Clark, Nora Koch

Publikováno v: Leveraging Applications of Formal Methods, Verification and Validation. Third International Symposium, pp. 170–190, Porto Sani, Greece, Oct 13-15, 2008
Communications in Computer and Information Science ISBN: 9783540884781
info:cnr-pdr/source/autori:Wirsing M.; Hölzl M.; Acciai L.; Banti F.; Clark A.; Fantechi A.; Gilmore S.; Gnesi S.; Gonczy L.; Koch N.; Lapadula A.; Mayer P.; Mazzanti F.; Pugliese R.; Schroeder A.; Tiezzi F.; Tribastone M.; Varró D./congresso_nome:Leveraging Applications of Formal Methods, Verification and Validation. Third International Symposium/congresso_luogo:Porto Sani, Greece/congresso_data:Oct 13-15, 2008/anno:2008/pagina_da:170/pagina_a:190/intervallo_pagine:170–190

The IST-FET Integrated Project SENSORIA is developing a novel comprehensive approach to the engineering of service-oriented software systems where foundational theories, techniques and methods are fully integrated into pragmatic software engineering

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3e234df0eb7408c6347c96fa8cab61dd
https://openportal.isti.cnr.it/doc?id=people______::bb0905043c2f54c0ecba3569c1ffd5af

A Type System for Client Progress in a Service-Oriented Calculus

Autor: Michele Boreale, Lucia Acciai

Publikováno v: Concurrency, Graphs and Models ISBN: 9783540686767
Concurrency, Graphs and Models

We introduce a type system providing a guarantee of client progressfor a fragment of CaSPiS , a recently proposed process calculus for serviceoriented applications. The interplay of sessioning and data-orchestration primitives makes the design of a t

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::4a3f158d22985c5ff511105c4baaac85
https://doi.org/10.1007/978-3-540-68679-8_40