Concept

Operational semantics

Related publications (93)

On Types, Instances, and Classes in UML

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

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

A Functional View of Join

Martin Odersky, Matthias Zenger

Join calculus, usually presented as a process calculus, is suitable as a foundation of both sequential and concurrent programming. We give a new operational semantics of join calculus, expressed as a reduction system with a single reduction rule similar to ...

1999

Integrating the Unified Modeling Language with an Architecture Description Language

Cécile Peraire

These paper presents an approach for integrating UML with an ADL. The integration would encompass the advantages of both languages. It would give formal semantics to UML constructs and thus would provide UML with a theoretical foundation for architecture m ...

1999

Exploiting Various Levels of Semantics in CO-OPN for the SANDS Environment Tools

This paper describes the techniques and tools developed to support the construction of CO-OPN specifications (Concurrent Object Oriented Petri Nets) [7] and the kind of semantics that are needed for each part of the environment. CO-OPN is a specification l ...

1997

Hierarchical Algebraic Nets

This paper presents a specifications formalism, Hierarchical Algebraic Nets (HAN), which allows the specification and design of heterogeneous concurrent distributed systems using hierarchical descriptions based on algebraic specifications and Petri nets. A ...

1997

The Tempest Approach to Distributed Shared Memory

James Richard Larus, David Wood

This paper summarizes how distributed shared memory (DSM) can be both efficiently and portably supported by the Tempest interface. Tempest is a collection of mechanisms for communication and synchronization in parallel programs. These mechanisms provide co ...

IEEE1996

Hierarchical Algebraic Nets

Hierarchical Algebraic Nets (HANs ) presented here introduce a new algebraic net class which inherits from a five years experience on algebraic nets corresponding to the work done on the specification formalism CO-OPN [BG 91a]. These works has led to a com ...

1995

Object oriented method for implementing layered protocols

Claude Petitpierre

This paper presents a novel extension to the C++ programming language, allowing powerful expression of concurrency and synchronization in an object-oriented environment. The principle advantages of this extension over existing alternatives are its powerful ...

Publ by Elsevier Science Publishers B.V., Amsterdam, Neth1994

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.