05081 Abstracts Collection -- Foundations of Global Computing

From 20.02.05 to 25.02.05, the Dagstuhl Seminar 05081 on ``Foundations of Global Computing\u27\u27 was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available

Proceedings of SUMo and CompoNet 2011

International audienc

Behavioral types in programming languages

A recent trend in programming language research is to use behav- ioral type theory to ensure various correctness properties of large- scale, communication-intensive systems. Behavioral types encompass concepts such as interfaces, communication protocols, contracts, and choreography. The successful application of behavioral types requires a solid understanding of several practical aspects, from their represen- tation in a concrete programming language, to their integration with other programming constructs such as methods and functions, to de- sign and monitoring methodologies that take behaviors into account. This survey provides an overview of the state of the art of these aspects, which we summarize as the pragmatics of behavioral types

The Design of Graphical Process Modeling Languages: from Free Composition to Modular Construction

Un Process Modeling Language (PML) grafico \ue8 un linguaggio specializzato per la modellazione di sistemi software in termini di processi. Tale linguaggio \ue8 detto grafico perch\ue8 la rappresentazione principale dei modelli consiste in diagrammi ottenuti combinando costrutti grafici e componenti precedentemente definiti. Un Process-Aware Information System (PAIS) \ue8 un sistema software guidato da modelli di processi con lo scopo di coordinare e supportare gli agenti nello svolgimento delle loro attivit\ue0. Tale sistema \ue8 responsabile della gestione simulatanea di diverse istanze di processo e del bilanciamento delle risorse disponibili. Un PML \ue8 l'interfaccia principale di un PAIS ed un aspetto fondamentale della sua progettazione, poich\ue8 \ue8 utilizzato da utenti finali, consulenti, e sviluppatori al fine di comprendere, implementare ed eseguire processi complessi. L'utilizzo di tecnologie PAIS pu\uf2 essere considerevolmente limitato dalle carenze di un PML nel descrivere casi complessi. Lo scopo principale della tesi \ue8 migliorare la progettazione di PML grafici al fine di costruire PAIS pi\uf9 efficaci. Tale obiettivo \ue8 perseguito attraverso tre percorsi interconnessi: per prima cosa, i PMLs esistenti e la loro teoria sottostante sono stati analizzati al fine di individuare pregi e difetti; successivamente, una tecnica di verifica molto diffusa in questo campo \ue8 stata consolidata ed estesa con una nuova tecnica per la correzione automatica di processi. Infine, una diversa soluzione per il design di PMLs \ue8 stata esplorata attraverso la definizione di un nuovo linguaggio, chiamato NestFlow, che migliora la modularit\ue0 e la comprensibilit\ue0 attraverso l'adozione di un approccio strutturato alla modellazione di processi. Un approccio modulare \ue8 possible solo se gli aspetti legati ai dati sono accettati come aspetto primario nel design di un PML. NestFlow cerca di semplificare l'attivit\ue0 di modellazione fornendo un insieme integrato di costrutti di control-flow e data-flow, promuovendo i secondi come aspetti principali nella modellazione di processi.A graphical Process Modeling Language (PML) is a language tailored for modeling software systems by means of process models. It is said to be graphical because the primary representation of models are diagrams obtained combining visual constructs and previously defined components. Graphical PMLs are interesting as they open the design space to new geometric representations of complex interrelated aspects like concurrency and interaction. A Process-Aware Information System (PAIS) is a software system driven by explicit process models with the aim to coordinate and support agents in performing their activities. It is responsible for managing several process model instances at the same time balancing the available resources. A PML is the primary interface of a PAIS and a main concern in its design, because it is used by end-users, consultants, and developers for understanding, implementing and enacting complex processes. The adoption of PAIS technology may be severely limited by the weakness of PMLs in describing complex use cases. The overall aim of this thesis is to improve the design of graphical PMLs in order to engineer more effective PAISs. This goal is pursued following three intertwined paths: firstly, mainstream PMLs and their theoretical foundations are analyzed for exposing their features and limits; secondly, a widespread PML verification method is consolidated and then extended with a novel technique for automating process correction; finally, an alternative PML design solution is explored through a proof-of-concept language, called NestFlow, that improves both modularity and comprehensibility by providing a more structured modeling approach. A modular approach is only possible if data-flow dependencies are accepted as a main concern in PML design. NestFlow tries to ease the modeling activity by providing a comprehensive set of tightly integrated control-flow and data-flow constructs, promoting the latter as first-class citizens in process modeling

Cognitive Maps

undefine