A5030878839- Distributed systems and fault tolerance
- Logic, programming, and type systems
- Service-Oriented Architecture and Web Services
- Advanced Software Engineering Methodologies
- Formal Methods in Verification
- Parallel Computing and Optimization Techniques
- Computability, Logic, AI Algorithms
- Software System Performance and Reliability
- Quantum Computing Algorithms and Architecture
- Distributed and Parallel Computing Systems
- Security and Verification in Computing
- Model-Driven Software Engineering Techniques
- Business Process Modeling and Analysis
- Cloud Computing and Resource Management
- Logic, Reasoning, and Knowledge
- European and International Contract Law
- Modular Robots and Swarm Intelligence
- Petri Nets in System Modeling
- Advanced Data Storage Technologies
- Scientific Computing and Data Management
- Semantic Web and Ontologies
- DNA and Biological Computing
- Advanced Database Systems and Queries
- IoT and Edge/Fog Computing
- Cellular Automata and Applications
University of Bologna
2016-2025
University of Leicester
2024
Institut national de recherche en informatique et en automatique
2010-2024
Imperial College London
2024
Czech Academy of Sciences, Economics Institute
2021
University of Catania
2016
University of Turin
2016
Research Centre Inria Sophia Antipolis - Méditerranée
2015
Laboratoire d'Informatique de Paris-Nord
2008
University of Pisa
2005-2006
In service oriented computing, choreography languages are used to specify multi-party compositions. Two main approaches have been followed: the interaction-oriented approach of WS-CDL and process-oriented BPEL4Chor. We investigate relationship between them.In particular, we consider several interpretations for choreographies spanning from synchronous asynchronous communication. Under each these characterize class which a counterpart, formalize notion equivalence initial corresponding one.
We give a formal account of calculus for modeling service-based systems, suitable to describe both service composition (orchestration) and the protocol that services run when invoked (conversation). The includes primitives defining invoking services, isolating conversations between clients servers, orchestrating services. is equipped with reduction labeled transition semantics related by an equivalence result. To hint how structuring mechanisms language can be exploited static analysis we...
This paper presents a process calculus specifically designed to model systems based on the Internet of Things paradigm. We define formal syntax and semantics for calculus, show how it can be used reason about relevant examples. also two notions bisimilarity, one capturing behavior seen by end user system, allowing compositional reasoning.