The 2013 edition of FORTE/FMOODS will be held in Florence, Italy.

The 2013 IFIP Joint International Conference on Formal Techniques for Distributed Systems (33rd FORTE / 15th FMOODS) is a forum for fundamental research on theory, models, tools, and applications for distributed systems. The joint conference is the result of merging the conferences FMOODS (Formal Methods for Open Object-Based Distributed Systems) and FORTE (Formal Techniques for Networked and Distributed Systems). FORTE/FMOODS 2013 is part of the DisCoTec 2013 event.


2013-06-06: Conference Proceedings published.

2013-04-07: Conference Program published.


Picture of Tevfik Bultan Tevfik Bultan gives the keynote on June 3, 2013.

Analyzing Interactions of Asynchronously Communicating Software Components

Abstract: Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several application domains, message-based communication is used as the interaction mechanism, and the communication contract among the components of the system is specified semantically as a state machine. In the service-oriented computing domain this type of message-based communication contracts are called "choreography" specifications. A choreography specification identifies allowable ordering of message exchanges in a distributed system. A fundamental question about a choreography specification is determining its realizability, i.e., given a choreography specification, is it possible to build a distributed system that communicates exactly as the choreography specifies? In this talk we will discuss this problem and its application to web service choreographies, Singularity OS channel contracts, and UML collaboration (communication) diagrams.

Short Bio: Tevfik Bultan is a Professor in the Department of Computer Science at the University of California, Santa Barbara (UCSB). His current research interests are in dependability of web software and services, automated verification, string analysis, and data model specification and analysis. Tevfik Bultan co-chaired the program committees of the 9th International Symposium on Automated Technology for Verification and Analysis (ATVA 2011) and the 20th International Symposium on the Foundations of Software Engineering (FSE 2012), and he is currently co-chairing the program committee of the 28th IEEE/ACM International Conference on Automated Software Engineering (ASE 2013). He has served as the vice chair of the Department of Computer Science at UCSB from 2005 to 2009.