Reo: a channel-based coordination model for component composition

F Arbab - Mathematical structures in computer science, 2004 - cambridge.org
In this paper, we present Reo, which forms a paradigm for composition of software
components based on the notion of mobile channels. Reo is a channel-based exogenous …

Coordination models and languages

GA Papadopoulos, F Arbab - Advances in computers, 1998 - Elsevier
Abstracts A new class of models, formalisms, and mechanisms has recently evolved for
describing concurrent and distributed computations based on the concept of “CO …

[LIBRO][B] Objective coordination in multi-agent system engineering: design and implementation

M Schumacher - 2003 - books.google.com
Based on a suitably defined coordination model distinguishing between objective (inter-
agent) coordination and subjective (intra-agent) coordination, this book addresses the …

[LIBRO][B] Coordination of Internet agents: Models, technologies, and applications

A Omicini, F Zambonelli, M Klusch, R Tolksdorf - 2013 - books.google.com
As today's most complex computing environment, the Internet confronts IT researchers,
system designers, and application developers with completely new challenges and, as a …

[PDF][PDF] What do you mean, coordination

F Arbab - Bulletin of the Dutch Association for Theoretical …, 1998 - researchgate.net
Coordination models and languages represent a new approach to design and development
of concurrent systems. The interest in coordination has intensi ed in the last few years, as …

Abstract behavior types: a foundation model for components and their composition

F Arbab - Science of Computer Programming, 2005 - Elsevier
The notion of Abstract Data Type (ADT) has served as a foundation model for structured and
object oriented programming for some thirty years. The current trend in software engineering …

Exogenous connectors for software components

KK Lau, P Velasco Elizondo, Z Wang - … , CBSE 2005, St. Louis, MO, USA …, 2005 - Springer
In existing component models, control originates in components, and connectors are
channels for passing on the control to other components. This provides a mechanism for …

[PDF][PDF] Software adaptation.

C Canal, JM Murillo, P Poizat - Obj. Logiciel Base données …, 2006 - researchgate.net
Reuse and integration of heterogeneous software parts are promises of Component-Based
Software Development. However, current industrial approaches suffer from a limited support …

Software architectures: advances and applications

L Barroca, J Hall, P Hall - 2011 - books.google.com
We have recently seen a renewal of interest in the field of software architectures. This has
happened within the object-oriented community-with the emergenceofframe works and …

Reo + mCRL2 : A framework for model-checking dataflow in service compositions

N Kokash, C Krause, E De Vink - Formal Aspects of Computing, 2012 - Springer
The paradigm of service-oriented computing revolutionized the field of software engineering.
According to this paradigm, new systems are composed of existing stand-alone services to …