Loading...
Please wait, while we are loading the content...
Similar Documents
“integrare”, a collaborative environment for behavior-oriented design.
| Content Provider | CiteSeerX |
|---|---|
| Author | Seagrott, John Lin, Kai Colvin, Robert Yatapanage, Nisansala Dromey, Geoff Wen, Lian |
| Abstract | In order to build complex, large-scale, dependable systems it is necessary to use a development environment with an integrated set of capabilities that supports editing and formalization of large sets of requirements. In this paper, we introduce a new environment, called “Integrare”, which supports designers and developers in building dependable, component-based systems using a new behaviororiented design method. This method has advantages in terms of its abilities to manage complexity, find defects and make checks of dependability. The environment integrates and unifies several tools that support multiple phases of the design process, allowing them to interact and exchange information, as well as providing efficient editing capabilities. It incorporates a Requirements Translation Assistant that can help formalize individual natural language functional requirements as Behavior Trees. These trees can be composed to create an integrated tree-like view of all the formalized requirements. The environment manages complexity by allowing multiple users to work independently on requirements translation and tree editing in a collaborative mode. Once an integrated Behavior Tree is constructed from the requirements, it can be visually simulated with respect to an underlying operational semantics, and formally verified by way of a model checker. The environment is implemented using a model-view and event-driven architecture, based on MFC and a commercial software library, XD++. |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | Collaborative Environment Model Checker Requirement Translation Assistant Component-based System Environment Integrates Multiple User Integrated Behavior Tree Integrated Set Individual Natural Language Functional Requirement New Environment Event-driven Architecture Dependable System Design Process Collaborative Mode Integrated Tree-like View Underlying Operational Semantics Behavior-oriented Design Tree Editing Formalized Requirement Multiple Phase Requirement Translation Behavior Tree Commercial Software Large Set Design Method Unifies Several Tool Development Environment |
| Content Type | Text |
