• Publications
  • Influence
Reo: a channel-based coordination model for component composition
  • F. Arbab
  • Computer Science
  • Mathematical Structures in Computer Science
  • 20 May 2004
TLDR
It is shown that exogenous coordination patterns that can be expressed as (meta-level) regular expressions over I/O operations can be composed in Reo out of a small set of only five primitive channel types. Expand
Modeling component connectors in Reo by constraint automata
TLDR
This paper covers the foundations for building tools to address concerns such as the automated construction of the automaton for a given component connector, equivalence checking or containment checking of the behavior of two given connectors, and verification of coordination mechanisms. Expand
Coordination Models and Languages
TLDR
This chapter defines and presents in sufficient detail the fundamental concepts of what constitutes a coordination model or language and describes the main existing coordination models and languages as either ``data-driven'' or ``control-driven'''' (also called ``process-'''' or ``task-oriented''). Expand
Enterprise architecture: Management tool and blueprint for the organisation
This is an editorial to a special issue of ISF on enterprise architecture.We define the concept of enterprise architecture, notivate its importance, and then introduce the papers in this specialExpand
The IWIM Model for Coordination of Concurrent Activities
  • F. Arbab
  • Computer Science
  • COORDINATION
  • 15 April 1996
TLDR
The concurrent applications of today essentially use a set of ad hoc templates to coordinate the cooperation of their active components, showing the lack of proper coordination languages that can be used to explicitly describe complex cooperation protocols in terms of simple primitives and structuring constructs. Expand
Abstract Behavior Types: A Foundation Model for Components and Their Composition
  • F. Arbab
  • Computer Science
  • FMCO
  • 5 November 2002
TLDR
This work introduces the notion of Abstract Behavior Type (ABT) as a higher-level alternative to ADT and proposes it as a proper foundation model for both components and their composition and describes Reo: an exogenous coordination language for compositional construction of component connectors based on a calculus of channels. Expand
Towards a language for coherent enterprise architecture descriptions
TLDR
The requirements and design of a generic, organization-independent concepts language that fully enables integrated enterprise modeling of architecture descriptions are focused on. Expand
Coordination through Channel Composition
TLDR
It is shown that exogenous coordination patterns that can be expressed as (meta-level) regular expressions over I/O operations can be composed in P?? out of a small set of only five primitive channel types. Expand
An algorithm for generating NC tool paths for arbitrarily shaped pockets with islands
TLDR
Algorithms for generating NC tool paths for machining of arbitrarily shaped 2 l/2 dimensional pockets with arbitrary islands are described, based on a new offsetting algorithm presented in this paper. Expand
Models and temporal logical specifications for timed component connectors
TLDR
An operational semantics for the channel-based component connectors of Reo is presented in terms of Timed Constraint Automata and a temporal-logic for specification and verification of their real-time properties is introduced. Expand
...
1
2
3
4
5
...