Concept

Sémantique des langages de programmation

Publications associées (81)

An Equational Theory for Transactions

Rachid Guerraoui, Martin Odersky, Vincent Cremet

Transactions are commonly described as being ACID: All-or-nothing, Consistent, Isolated and Durable. However, although these words convey a powerful intuition, the ACID properties have never been given a precise semantics in a way that disentangles each pr ...

2003

Supporting Model-to-Model Transformations: The VMT Approach

Shane Sendall

The model-driven architecture approach (MDA) promotes software development as driven by a thorough modeling phase where application code is automatically generated from a platform specific UML model (PSM). The idea is that the PSM is itself derived from a ...

2003

Semantics of Protocol Modules Composition and Interaction

André Schiper, Sergio Mena

This paper studies the semantics of protocol modules composition and interaction in configurable communication systems. We present a semantic model describing Cactus and Appia -- two frameworks that are used for implementing modular systems. The model cove ...

Springer2002

Semantics of Protocol Modules Composition and Interaction

André Schiper, Sergio Mena

This paper studies the semantics of protocol modules composition and interaction in configurable communication systems. We present a semantic model describing the x-kernel, Cactus and Appia --- three frameworks that are used for implementing modular system ...

2002

Mobile Objects as Mobile Processes

Massimo Merro

Obliq is a lexically-scoped, distributed, object-based programming language. In Obliq, the migration of an object is proposed as creating a clone of the object at the target site, whereafter the original object is turned into an alias for the clone. Obliq ...

2002

Local pi-Calculus at Work: Mobile Objects as Mobile Processes (Full version)

2001

On Types, Instances, and Classes in UML

Alain Wegmann

The semantics of UML [3] is for a large part given in English. The drawback of Eng-lish is its ambiguity, which makes it unclear and ambiguous. But the benefits of Eng-lish are its power and flexibility, which allow it to deal with a slightly inconsistent ...

2000

Specifying System Behavior in UML

Shane Sendall

The purpose of the paper is to present our approach for specifying system behavior. Our approach is based on operation schemas and a system interface protocol (SIP). Operation schemas describe the functionality of system operations by pre- and post-conditi ...

2000

The Semantics of COALA in CO-OPN/2

This report presents the formal semantics of COALA, a design language based on the concept of Coordinated Atomic Actions (CA actions). COALA has been developped with the intent of providing a concrete language to express CA actions and thus facilitate the ...

1999

Generic Broadcast

André Schiper, Fernando Pedone

Message ordering is a fundamental abstraction in distributed systems. However, usual ordering guarantees are purely syntactic'', that is, message semantics'' is not taken into consideration, despite the fact that in several cases semantic information a ...

1999

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search