Requirements Specification in The Prometheus Methodology via Activity Diagrams
نویسندگان
چکیده
In this work we extend a popular agent design methodology, Prometheus, and improve the understandability and maintainability of requirements by automatically generating UML activity diagrams from existing requirements models; namely scenarios and goal hierarchies. The approach is general to all the methodologies that support similar notions in specifying requirements.
منابع مشابه
Using Activity Theory and Causal Diagrams for Designing MultiAgent Systems That Assist Human Activities
In this paper, we propose to use the Activity Theory and causal diagrams for modelling human activities with the aim of facilitating the specification of an agent-based assistance system through the Prometheus methodology. As a case study, we consider the elder medication activity, a recurring, complex and context-rich activity that involves several individual and collective activities which ma...
متن کاملAUML protocols: from specification to detailed design
In this work, we show how AUML protocol specifications in the Prometheus methodology can be automatically propagated to the detailed design of the methodology by creating appropriate artefacts. The approach is general to all design methodologies that follow the BDI model of agents.
متن کاملNew Approach for Modeling State-Chart Diagrams in B
An appropriate approach for integrating UML and B specification techniques allows us to map UML specifications into B specifications. Therefore, we can formally analyze an UML specification via the corresponding B formal specification. This point is significant because B support tools are available. We can also use UML specifications as a tool for building B specifications. Thus, an approach fo...
متن کاملPrometheus: A Pragmatic Methodology for Engineering Intelligent Agents
Agents are a powerful technology with many significant applications. A key issue in getting the technology into mainstream software development is the development of appropriate methodologies for engineering agent-oriented software. This paper presents the Prometheus methodology, which has been developed over several years in collaboration with Agent Oriented Software. The methodology has been ...
متن کاملAdding debugging support to the Prometheus methodology
This paper describes a debugger which uses the design artifacts of the Prometheus agent oriented software engineering methodology to alert the developer testing the system, that a specification has been violated. Detailed information is provided regarding the error which can help the developer in locating its source. Interaction protocols specified during design, are converted to executable Pet...
متن کامل