E. Letier and A. van Lamsweerde, "Agent-based Tactics for Goal-Oriented Requirements Elaboration", Proceedings of 24th International Conference on Software Engineering, ACM Press, May 2001. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Relating Software Requirements and Architectures.. - Hall, Jackson.. (2002) (5 citations) (Correct)
....the problem domain. KAOS in particular, allows domain properties, assumptions and constraints to be represented as part of its goal based specifications. More recent work by Letier and van Lamsweerde addresses the identification of agents (e.g. components) and their assignment to goals [18, 17]. The KAOS approach remains essentially goal driven and it is not clear how existing architectural artifacts can influence the problem structuring process. Similarly, the NFR framework uses high level goals to initiate a process of identification of associated design components. A very common ....
E. Letier and A. van Lamsweerde, "Agent-based Tactics for Goal-Oriented Requirements Elaboration", Proceedings of 24th International Conference on Software Engineering, ACM Press, May 2001.
From Object Orientation to Goal Orientation: A Paradigm.. - van Lamsweerde, Letier (2003) Self-citation (Letier Van lamsweerde) (Correct)
No context found.
E. Letier and A. van Lamsweerde, "Agent-Based Tactics for Goal-Oriented Requirements Elaboration", Proc. ICSE'02: 24th Intl. Conf. on Software Engineering, Orlando, IEEE Computer Society Press, May 2002.
From System Goals to Intruder Anti-Goals: Attack.. - van Lamsweerde.. (2003) Self-citation (Van lamsweerde) (Correct)
No context found.
E. Letier and A. van Lamsweerde, "Agent-Based Tactics for Goal-Oriented Requirements Elaboration", Proc. ICSE'02: 24 Intl. Conf. on Software Engineering, Orlando, IEEE Computer Society Press, May 2002.
Deriving Tabular Event-Based Specifications from.. - De Landtsheer.. (2003) (1 citation) Self-citation (Letier Van lamsweerde) (Correct)
No context found.
E. Letier and A. van Lamsweerde, "Agent-Based Tactics for GoalOriented Requirements Elaboration", Proc. ICSE'02: 24 Intl. Conf. on Software Engineering, Orlando, IEEE Press, May 2002.
From Object Orientation to Goal Orientation: A Paradigm.. - van Lamsweerde, Letier Self-citation (Letier Van lamsweerde) (Correct)
No context found.
E. Letier and A. van Lamsweerde, "Agent-Based Tactics for Goal-Oriented Requirements Elaboration", Proc. ICSE'02: 24th Intl. Conf. on Software Engineering, Orlando, IEEE Computer Society Press, May 2002.
High Assurance Requires Goal Orientation - Letier, van Lamsweerde (2002) Self-citation (Letier Van lamsweerde) (Correct)
.... in the environment that may prevent critical goals from being achieved can be identified and resolved to produce more robust requirements [Lam00a] the goals can be specified precisely and refined incrementally into operational software specifications that provably assure the higher level goals [Dar96, Let02a, Let02b]. This paper does not describe new research results per se. Our aim here is to illustrate the relevance and benefits of explicitly modeling and reasoning about multiple goals at various levels of abstraction in the specific context of high assurance systems. We show how our goal oriented ....
....sections. 2.4. Refining goals and identifying agent responsibil ities Goals have to be refined until they can be assigned as responsibilities of single agents. However, a goal can be assigned to an agent only if this agent has sufficient monitoring and control capabilities to realize the goal [Let02a]. Our terminology here is based on the 4 variable model [Par95] and the notion of shared phenomena [Jac95] For example, the above goal Maintain[SafetylnjectionlffLowWaterPressureExceptDuringStartUp CoolDown] is unrealizable by the Engineered Safety Feature Actuation System (ESFAS) because ....
[Article contains additional citation context not shown here]
E. Letier and A. van Lamsweerde, "Agent-Based Tactics for Goal-Oriented Requirements Elaboration", Proc. 1CSE'02: 24th Intl. Conf on Software Engineering, Orlando, 1EEE Computer Society Press, May 2002.
Deriving Operational Software Specifications from System Goals - Letier, van Lamsweerde (2002) (1 citation) Self-citation (Letier Van lamsweerde) (Correct)
.... the goal PumpSwitchOnWhenHighWaterDetected that was declared to be subgoal of the goal PumpOnWhenHighWater; it might be specified as follows: This goal might be assigned to the PumpController agent provided the latter has sufficient monitoring and control capabilities to realize the goal [39, 16, 33]; the agent must be able to monitor the quantity denoted by c.HighWaterFlag and to control the quantity denoted by c.PumpSwitch . Such monitoring and control links define the agent s interface in the agent model: Agent PumpController Monitors PumpController.HighWaterFlag, Controls ....
....refinement [7] A first important difference however is that the semantics of goal operationalization does not rely on domain properties to guarantee the satisfaction of the goal. This is due to the fact that the agent responsible for the goal may not rely on domain properties to realize the goal [33]. A second important difference is in the definition of the minimality condition. For operationalization, this condition requires that the requirements operationalizing the goal be not stronger than required by the goal. This is related to the fact that an agent responsible for a goal must have ....
[Article contains additional citation context not shown here]
E. Letier and A. van Lamsweerde, "Agent-Based Tactics for Goal-Oriented Requirements Elaboration", Proc. ICSE'02 - 24th Intl. Conf. on Software Engineering, Orlando, IEEE CS Press, May 2002.
Architecture-driven Problem Decomposition - Rapanotti, Hall, Jackson, Nuseibeh (2004) (Correct)
No context found.
E. Letier and A. van Lamsweerde, "Agent-based Tactics for Goal-Oriented Requirements Elaboration", Proceedings of 24th International Conference on Software Engineering, ACM Press, May 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