Xiyun Wang, Yves Lespérance  Home/Search
Context Related
| cs.yorku.ca/People/lespera...AOIS01.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.yorku.ca/People...publications (more) Homepages: X.Wang |
Rate this article:      (best)Comment on this article |
Abstract: : Agent-oriented approaches are becoming popular in software engineering, both as architectural frameworks, and as modeling frameworks for requirements engineering and design. i* is an informal diagram-based language for early-phase requirements engineering that supports the modeling of social dependencies between agents and how process design choices affect the agents' goals both functional and non-functional. ConGolog is an expressive logic-based formalism for specifying processes that... (Update)
Cited by: More
Loosely-coupled" Consistency between Agent-Oriented.. - Aneesh Krishna Aditya (2005) (Correct)
Co-Evolution of Complementary Formal and Informal Requirements - Aneesh Krishna Aditya (2004) (Correct)
Formal Analysis of Early Requirements Specifications - Fuxman (2001) (Correct)
Active bibliography (related documents): More All
0.3: On the Epistemic Feasibility of Plans in Multiagent Systems.. - Lesperance (Correct)
0.3: Deliberation in a Modeling and Simulation Environment .. - Gans, Jarke.. (2003) (Correct)
0.2: Towards Modelling and Reasoning Support for Early-Phase.. - Yu (1997) (Correct)
Similar documents based on text: More All
0.3: Modeling Dynamic Domains with ConGolog - Lespérance, Kelley.. (1999) (Correct)
0.3: ConGolog, a concurrent programming language based on .. - De Giacomo.. (2000) (Correct)
0.3: Integrating IndiGolog and OAA - A Toolkit for Advanced.. - Lapouchnian, Lesperance (2002) (Correct)
Related documents from co-citation: More All
9: Modelling Strategic Relationships for Process Reengineering (context) - Yu - 1994
7: Model Checking Early Requirements Specifications in Tropos - Fuxman, Pistore et al. - 2001
6: Goaldirected requirements acquisition - Dardenne, van Lamsweerde et al. - 1993
BibTeX entry: (Update)
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. http://citeseer.ist.psu.edu/wang01agentoriented.html More
@misc{ wang01agentoriented,
author = "X. Wang and Y. Lesperance",
title = "Agent-oriented requirements engineering using ConGolog and",
text = "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.",
year = "2001",
url = "citeseer.ist.psu.edu/wang01agentoriented.html" }
Citations (may not include all citations):663 Some Philosophical Problems from the Standpoint of Artificia.. (context) - McCarthy, Hayes - 1979 ACM
388 The Frame Problem in the Situation Calculus: A Simple Soluti.. (context) - Reiter - 1991
229 Goal-Directed requirements Acquisition - Dardenne, Van Lamsweerde et al. - 1993 ACM DBLP
104 Modelling Strategic Relationships for Process Reengineering (context) - Yu - 1995 ACM
72 Agent Technology: Foundations (context) - Jennings, Wooldridge - 1998
66 A Methodology for Agent-Oriented Analysis and Design - Wooldridge, Jennings et al. - 1999 ACM DBLP
59 Model Checking Early Requirements Specifications in Tropos - Fuxman, Pistore et al. - 2001 ACM DBLP
56 Formal Specifications of MultiAgents Systems: A Real-World C.. - Brazier, Dunin-Keplicz et al. - 1995
51 a concurrent programming language based on the situation cal.. (context) - De Giacomo, Lesprance et al. - 2000
25 Towards Modelling and Reasoning Support for Early-Phase Requ.. - Yu - 1997
14 Agent-Oriented Requirements Engineering Using the ConGolog a.. - Wang - 2001
12 Modeling Dynamic Domains with ConGolog - Lesprance, Kelley et al. - 1999 ACM DBLP
12 A Situation Calculus Approach to Modeling and Programming Ag.. (context) - Lesprance, Levesque et al. - 1999
10 The Albert II Language - On the Design and the Use of a Form.. (context) - Bois - 1995
6 Cooperating Agents (context) - Yu, Du et al. - 1997 ACM
5 Specifying Communicative Multi-Agent Systems with ConGolog - Shapiro, Lesprance et al. - 1998
5 Modeling the Impact of Trust and Distrust in Agent Networks (context) - Gans, Jarke et al. - 2001
1 International Workshop on Agent-Oriented Information Systems (context) - Lesprance, Shapiro - 1999
1 A Proposal for a Requirements Engineering Method Dealing wit.. (context) - Bissener - 1977
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.yorku.ca/People/lesperan/publications.html): More
A Situation Calculus Approach To Modeling And Programming.. - Lespérance, al. (1999) (Correct)
Experiments in High-Level Robot Control Using ConGolog -.. - Tam (1998) (Correct)
Modeling Dynamic Domains with ConGolog - Lespérance, Kelley.. (1999) (Correct)
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