A model is given as a clustered graph, an abstract syntax for netlists, state transition
diagrams, block diagrams, etc. An abstract syntax is a conceptual data organization. It can …

We describe a new and simpler implementation in Haskell of CML's events, which encode
reactions by a thread to combinations of messages from other threads. We add a new type of …

It's February, and by now you've probably read about, or heard people talk about, making
the change to UML 2.0—the new specification for UML that contains a number of …

The Systems Modeling Language (SysML) extends UML with powerful systems engineering
capabilities for modeling a wider spectrum of systems and capturing all aspects of a system's …

Abstract Protocol State Machines (PSM) in UML 2.0 [13] describe valid sequences of
operation calls. To support modeling components, UML 2.0 introduces a Port associated …

Current middleware solutions such as CORBA and Java's RMI emphasize compositional
design by separating functional aspects of a system (eg objects) from the mechanisms used …

The UMLlac ks precise and formal foundations for several constructs such as transition
guards or method bodies, for which it resorts to semantic loopholes in the form of …

In this paper we describe an implementation of actors in Smalltalk-80, named Actalk. This
attempt is designed as a minimal extension preserving the Smalltalk-80 language. Actors …

We present a formal model for the coordination of interactions in service-oriented systems.
This model provides a declarative semantics for the language SRML that is being developed …

UML models consist of several diagrams of different types describing different views of a
software system ranging from specifications of the static system structure to descriptions of …