IOS Press A Component Coordination Model Based on Mobile Channels (2008)
Juan Guillen-scholten, Farhad Arbab, Frank De Boer, Marcello Bonsangue
Abstract. In this paper we present a coordination model for component-based software systems based on the notion of mobile channels, define it in terms of a compositional trace-based semantics, and...
Fully Abstract Behavioral Types for UML Components (2008)
We present a fully abstract trace semantics for UML components. This semantics is formalized in terms of a new notion of abstract behavioral types for components, providing a description of the...
MoCha-pi, an Exogenous Coordination Calculus based on Mobile Channels ABSTRACT (2008)
Juan Guillen-scholten, Farhad Arbab, Frank De Boer
In this paper we present MoCha-π, an exogenous coordination calculus that is based on mobile channels. A mobile channel is a coordination primitive that allows anonymous point-to-point communication...
Testing concurrent objects with application-specific schedulers (2008)
Rudolf Schlatte, Bernhard Aichernig, Frank De Boer, Andreas Griesmayer, Einar Broch Johnsen
Abstract. In this paper, we propose a novel approach to testing executable models of concurrent objects under application-specific scheduling regimes. Method activations in concurrent objects are...
Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications (2005)
Farhad Arbab, Christel Baier, Frank De Boer, Jan Rutten, Marjan Sirjani
Composition of a concurrent system out of components involves coordination of their mutual interactions. In component-based construction, this coordination becomes the responsibility of the glue-code...
Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications (2004)
Farhad Arbab, Christel Baier, Frank De Boer, Jan Rutten, Marjan Sirjani
Composition of a concurrent system out of components involves coordination of their mutual interactions. In component-based construction, this coordination becomes the responsibility of the glue-code...
Models and Temporal Logics for Timed Component Connectors (2004)
Farhad Arbab, Christel Baier, Frank De Boer, Jan Rutten
The coordination language Reo supports compositional system construction through connectors with real-time properties that exogenously coordinate the interactions among the constituent components...
Programming Agent Deliberation: An Approach Illustrated Using the 3APL Language (2003)
Mehdi Dastani, Frank De Boer, Frank Dignum, John-jules Meyer
This paper presents the specification of a programming language for implementing the deliberation cycle of cognitive agents. The mental attitudes of cognitive agents are assumed to be represented in...
Towards a Language for Coherent Enterprise Architecture Descriptions (2003)
Henk Jonkers, René Van Buuren, Farhad Arbab, Frank De Boer, Marcello Bonsangue, Hans Bosma, ...
A coherent description of architectures provides insight, enables communication among different stakeholders and guides complicated (business and ICT) change processes. Unfortunately, so far no...
Frank De Boer, Marcello Bonsangue, Joost Jacob
In this paper we introduce a formal model of components in the OMEGA subset of UML. The main rationale of our component model is to provide additional structuring and abstraction mechanisms which...
Programming the deliberation cycle of cognitive robots (2002)
Mehdi Dastani, Frank De Boer, Frank Dignum, Meindert Kroese, John-jules Meyer
This paper presents an overview of ongoing research that aims to develop a programming language for high level control of cognitive robots and software agents. The language is called 3APL and its...
Programming the deliberation cycle of cognitive robots (2002)
Mehdi Dastani, Frank De Boer, Frank Dignum, Meindert Kroese, John-jules Meyer
This paper presents an overview of ongoing research that aims to develop a programming language for high level control of cognitive robots and software agents. The language is called 3APL and its...
On Programming KARO Agents (2001)
John-jules Meyer, Frank De Boer, Rogier Van Eijk, Koen Hindriks
After having defined the KARO logic for specifying intelligent agents (an amalgam of various modal logics to reason about both informational and motivational attitudes of agents) in earlier work we...
In this paper, we present a semantic theory for the exchange of information inmulI8IAM8W systems. We consider the mulOI;IAMJ programminglrogram agent communication programming lprogram which...
On programming KARO agents (2001)
John-Jules Meyer, Frank De Boer, Rogier Van Eijk
After having defined the KARO logic for specifying intelligent agents (an amalgam of various modal logics to reason about both informational and motivational attitudes of agents) in earlier work we...
Imprecise Observations of Mobile Robots Specified by a Modal Logic (1999)
Mathijs De Weerdt, Frank De Boer, John-jules Meyer
To be able to describe uncertainty of beliefs and of results of actions a modal logic is proposed. We use a dynamic variant of the Bayesian approach to deal with the uncertainty introduced by...
Specifying Uncertainty for Mobile Robots (1998)
Mathijs De Weerdt, Frank De Boer, John-jules Meyer
this document we will use the term robot to denote an autonomous mobile robot. So, all robots in this documents are agents because they are autonomous. In general many robots exist in for example...