Emerging multi-agent behaviors are explained as conducts that appear during run-time in multi agent software applications [1]. These categories of actions are not detected at the validation and verification stages. Proposals such as architectures, patterns for their detection and metrics have been presented and so far, more research is required in this area [2, 3]. The demonstration in this document proposes to visually find the patterns exhibited by agent communication in a visually analyzable and traceable format.
Extreme Programming has been considered as an optional methodology for software development. XP is based on certain practices, which provide an informal method for fast development. Thus the cost is reduced since the analysis, design, and coding are done at the same time. Hence this kind of software development approach permits changes in both, priority, and non-critical functionalities without big scale rework. This document studies the impact on academia and customer satisfaction, by using XP on the development of an industry strength software project by freshman Software Engineering undergraduate students.
Statecharts are widely used for the requirements specification of reactive systems. This notation captures the requirements attributes that are concerned with the behavioral features of a system, and models these features in terms of a hierarchy of diagrams and states. The usefulness of statecharts depends primarily on their readability, that is the capability of the drawing to convey the meaning quickly and clearly. Several visualization tools for the specification of reactive systems are available in the market [15],[26],[24],[1]. Even though these tools are helpful in organizing designers’ thoughts, they are mostly sophisticated small scale graphical editors, and therefore are inadequate for the modeling of complex reactive systems. Specifically, hand made diagrams quickly become unreadable when the specification complexity and size increase. Therefore computer assistance is of paramount importance for the graphical representation of complex reactive systems.
ViSta is a tool suite designed to support the requirements specification of reactive systems. It guides the user through the steps necessary for the visualization of statechart diagrams from an informal document. The user first extracts information from a textual document and stores into a set of interactive templates. The information is used by the tool to automatically generate statechart layouts. In this paper we describe how ViSta is augmented with a tool that automatically translates statecharts into Z specifications. The template, statechart and Z representations are inter-related. This ensures consistency between the different representations, and therefore facilitates the verification and validation effort.
Graphical notations are widely used for system specification. The usefulness of these notations depends primarily on their readability. Hence, automatic methods are needed to obtain efficient and understandable graphical representations of requirements. In this paper, we present an algorithm that automatically generates layouts of statecharts. We assume that relevant information is stored in a structure that we call a decomposition tree , and we draw the graph that models a statechart in a hierarchical fashion. Our approach excludes diagrams with inter‐level transitions. Copyright © 2001 John Wiley & Sons, Ltd.
We present a framework for the automatic generation of layouts of statechart diagrams. Statecharts [] are widely used for the requirements specification of reactive systems. Our framework is based on several techniques that include hierarchical drawing, labeling, and floorplanning, designed to work in a cooperative environment. Therefore, the resulting drawings enjoy several important properties: they emphasize the natural hierarchical decomposition of states into substates; they have a low number of edge crossings; they have good aspect ratio; and require a small area. We also present techniques for interactive operations. We have implemented our framework and obtained drawings for several statechart examples.
Statecharts [9] are widely used for the requirements specification of reactive systems. In this paper, we present a framework for the automatic generation of layouts of statechart diagrams. Our framework is based on several techniques that include hierarchical drawing, labeling, and floorplanning, designed to work in a cooperative environment. Therefore, the resulting drawings enjoy several important properties: they emphasize the natural hierarchical decomposition of states into substates; they have a low number of edge crossings; they have good aspect ratio; and require a small area. We have implemented our framework and obtained drawings for several statechart examples. The preliminary drawings are very encouraging.
In this paper we present an approach that facilitates the validation of high consequence system requirements. This approach consists of automatically generating a graphical representation from an informal document. Our choice of a graphical notation is statecharts. We proceed in two steps: we first extract a hierarchical decomposition tree from a textual description, then we draw a graph that models the statechart in a hierarchical fashion. The resulting drawing is an effective requirements assessment tool that allows the end user to easily pinpoint inconsistencies and incompleteness.
Extreme Programming has been considered as an optional methodology for software development. XP is based on certain practices, which provide an informal method for fast development. Thus the cost is reduced since the analysis, design, and coding are done at the same time. Hence this kind of software development approach permits changes in both, priority, and non-critical functionalities without big scale rework. This document studies the impact on academia and customer satisfaction, by using XP on the development of an industry strength software project by freshman Software Engineering undergraduate students.
