Raymond J. A. Buhr

Learn More
This paper presents a novel, scenario based notation called Use Case Maps (UCMs) for describing, in a high-level way, how the organizational structure of a complex system and the emergent behavior of the system are intertwined. The notation is not a behavior specification technique in the ordinary sense, but a notation for helping a person to visualize,(More)
Functional scenarios describing system views, uses, or services are a common way of capturing requirements of distributed systems. However, integrating individual scenarios in different ways may result in different kinds of unexpected or undesirable interactions. In this paper, we present an innovative approach based on the combined use of two notations.(More)
Multi-agent systems are emerging as a potential solution to the problem of constructing flexible network-based software. A characteristic of such systems is that whole-system behaviour patterns emerge from the combination of many details in many agents, in sometimes intricate ways. Understanding the big picture by composing the details is often difficult(More)
A design methodology which allies the graphical expressiveness of the timethread notation with the analytical power of the LOTOS language and its associated tools is presented. The concept of timethread is at the basis of a design methodology based on scenarios. A simple telephone system is used as an example. It is shown how the main scenarios of such a(More)
We explain how to use a high level, visual notation called Use Case Maps (UCMs) to bring together the "what" and "how" of multiagent systems, for understanding and design. "What" refers to descriptions of what agents do, descriptions that are declarative from a detailed software design perspective (e.g., BDI models). "How" refers to descriptions of how the(More)