Wang, X., Lesprance, Y. Agent-Oriented Requirements Engineering Using ConGolog and i*. Proceedings of 3rd International Bi-Conference Workshop Agent-Oriented Information Systems (AOIS-2001. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Towards Requirements-Driven Information Systems.. - Castro, Kolp, Mylopoulos (2002) (40 citations) (Correct)
....not valid] CC# valid] confirm( confirm( Press confirm button any [ Cancel button pressed] OR [timeout 90 sec] shoppingCart.initialize( Fig. 16. A Plan Diagram for Checkout Dynamics specifications such as processes modeled by plan diagrams in Tropos can be formalized using ConGolog [36,44]. Primitive actions can be defined in terms of pre and post conditions and decomposed into procedures using modeling constructs like sequencing (a 1 ; a 2 ) conditional (if then ) iteration (while condition do) concurrent activities (a 1 a 2 ) priority (a 1 ##a 2 ) nondeterministic ....
X. Wang and Y. Lesperance. Agent-oriented requirements engineering using ConGolog and i*. In Proc. of the 3rd Int. Bi-Conference Workshop on AgentOriented Information Systems, AOIS'01, Montreal, Canada, May 2001.
Towards Requirements-Driven Information Systems Engineering - Castro, Kolp, Mylopoulos (2002) (40 citations) (Correct)
....not valid] CC# valid] confirm( confirm( Press confirm button any [ Cancel button pressed] OR [timeout 90 sec] shoppingCart.initialize( Fig. 18. A Plan Diagram for Checkout Dynamics specifications such as processes modeled by plan diagrams in Tropos can be formalized using ConGolog [34,44]. Primitive actions can be defined in terms of pre and post conditions and decomposed into procedures using modeling constructs like sequencing (a 1 ; a 2 ) conditional (if then ) iteration (while condition do) concurrent activities (a 1 a 2 ) priority (a 1 ##a 2 ) nondeterministic ....
X. Wang and Y. Lesperance. Agent-oriented requirements engineering using ConGolog and i*. In Proc. of the 3rd Int. Bi-Conference Workshop on AgentOriented Information Systems, AOIS'01, Montreal, Canada, May 2001.
Modeling early requirements in Tropos: a.. - Bresciani, Perini.. (1 citation) (Correct)
....engineering multi agent systems. Tropos shares with these approaches several methodological principles. In addition, it also features both diagrammatic and formal specification techniques, allowing for application of formal analysis techniques, such as model checking [6] and formal verification [11]. More concretely, Tropos is based on two key ideas. First, the notion of agent and all the related mentalistic notions (for instance: beliefs, goals, actions and plans) are used in all phases of software development, from the early analysis down to the actual implementation. Second, Tropos ....
X. Wang and Y. Lesperance. Agent-oriented requirements engineering using ConGolog and i*. 2001. Submitted to AOIS-2001, Bi-Conference Workshop at Agents 2001 and CAiSE'01.
Agent-Oriented Requirements Engineering Using ConGolog and i* - Wang, Lespérance (2001) (13 citations) Self-citation (Wang) (Correct)
....consistent. This allows us to trace corresponding elements in the two models when changes are made. A methodology has been developed to guide the analyst in specifying requirements using the combined i and ConGolog frameworks. Our approach and the case study are described in more detail in [Wang01]. She also tests the methodology in a second case study involving a mail order business application taken from [Bissener97] There are various agent oriented or goal oriented requirements engineering frameworks in existence that are related to ours. One is ALBERT II (Agent Oriented Language for ....
Wang, X., Agent-Oriented Requirements Engineering Using the ConGolog and i* Frameworks, M.Sc. thesis, Dept. of Computer Science, York University, Toronto, ON, Canada, 2001, to appear.
Loosely-coupled" Consistency between Agent-Oriented.. - Aneesh Krishna Aditya (2005) (Correct)
No context found.
Wang, X., Lesprance, Y. Agent-Oriented Requirements Engineering Using ConGolog and i*. Proceedings of 3rd International Bi-Conference Workshop Agent-Oriented Information Systems (AOIS-2001.
Co-Evolution of Complementary Formal and Informal Requirements - Aneesh Krishna Aditya (2004) (Correct)
No context found.
Wang, X., Lesprance, Y. Agent-Oriented Requirements Engineering Using ConGolog and i*. Proceedings of 3rd International Bi-Conference Workshop Agent-Oriented Information Systems (AOIS-2001.
Formal Analysis of Early Requirements Specifications - Fuxman (2001) (6 citations) (Correct)
No context found.
Xiyun Wang. Agent-oriented requirements engineering using ConGolog and i*. Master's thesis, York University, 2001.
Combining Agent-Oriented Conceptual Modelling with Formal.. - Vilkomir, Ghose, Krishna (Correct)
No context found.
Wang, X., Lesprance, y. Agent-Oriented Requirements Engineering Using ConGolog and i*. Proceedings of 3rd International Bi-Conference Workshop Agent-Oriented Information Systems (AOIS2001.
SNet: A Modeling and Simulation Environment for Agent.. - Gans, Lakemeyer.. (2002) (Correct)
No context found.
Xiyun Wang and Yves Lesperance. Agent-oriented requirements engineering using ConGolog and i*. In Working Notes of the Agent-Oriented Information Systems (AOIS-2001) Workshop, Montreal, QC, May 2001.
Deliberation in a Modeling and Simulation Environment .. - Gans, Jarke.. (2003) (Correct)
No context found.
Xiyun Wang and Yves Lesperance. Agent-oriented requirements engineering using ConGolog and i*. In Working Notes of the Agent-Oriented Information Systems (AOIS-2001) Workshop, Montreal, QC, May 2001.
Modeling early requirements in Tropos: a.. - Bresciani.. (2001) (1 citation) (Correct)
No context found.
X. Wang and Y. Lesperance. Agent-Oriented Requirements Engineering Using ConGolog and i*. In Proceedings of the Third International Bi-Conference Workshop on Agent-Oriented Information Systems (AOIS-2001), at Agents 2001, Montreal, Canada, May 28, 2001.
Finding Aspects in Requirements with Theme/Doc - Baniassad, Clarke (2004) (1 citation) (Correct)
No context found.
X. Wang and Y. Lesperance. Agent-oriented requirements engineering using congolog and i*. In Submitted to AOIS-2001.
Theme: An Approach for Aspect-Oriented Analysis and Design - Elisa Baniassad And (2003) (3 citations) (Correct)
No context found.
X. Wang and Y. Lesperance. Agent-oriented requirements engineering using congolog and i*. In Submitted to AOIS-2001.
Theme: An Approach for Aspect-Oriented Analysis and Design - Elisa Baniassad And (2004) (3 citations) (Correct)
No context found.
X. Wang and Y. Lesperance. Agent-oriented requirements engineering using congolog and i*. In Submitted to AOIS-2001.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC