Axel van Lamsweerde

Goal-Driven Requirements Engineering:
the KAOS Approach

Project Supervisor
Prof. Axel van Lamsweerde
Collaborators
Emmanuel Letier, Renaud De Landtsheer, Christophe Damas, Bernard Lambeau, Antoine Cailliau, Robert Darimont, Christophe Ponsard, Philippe Massonet, Steve Fickas (University of Oregon)

Objectives

  • Formal modelling of functional and non-functional requirements in terms of goals, constraints, assumptions, objects, events, actions, agents, etc.
  • Goal-based analysis of hazards and threats.
  • Thrustworthiness in requirements models
  • Synthesis of behavior models from goal and scenarios
  • Dedicated proof and derivation techniques for goal refinement, goal operationalization, conflict detection and resolution, assumption retraction, and agent assignment.
  • Requirements acquisition: goal-directed, scenario-directed, and viewpoint-directed strategies.
  • Reuse of requirements frameworks.
  • Tool support: animation, refinement checking, test data generation
  • Requirements Reengineering.
  • Experimentation on real projects.

Publications

2017

Antoine Cailliau, Axel van Lamsweerde
Runtime Monitoring and Resolution of Probabilistic Obstacles to System Goals
Proc. SEAMS'2017: SEAMS 2017: 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Buenos Aires (Argentina), May 2017. Best Paper Award.
Available via: SEAMS17.pdf

2016

Dalal Alrajeh, Axel van Lamsweerde, Jeff Kramer, Alessandra Russo, Sebastian Uchitel
Risk-Driven Revision of Requirements Models
Proc. ICSE'2016: 38th International Conference on Software Engineering, Austin (TX), May 2016.
Available via: ICSE16.pdf

2015

Antoine Cailliau, Axel van Lamsweerde
Handling Knowledge Uncertainty in Risk-Based Requirements Engineering
Proc. RE'2015 : IEEE International Conference on Requirements Engineering, Ottawa (Canada), August 2015.
Available via: RE2015.pdf

2014

Antoine Cailliau, Axel van Lamsweerde
Integrating Exception Handling in Goal Models
Proc. RE'2014: 22nd IEEE International Conference on Requirements Engineering, Karlskrona (Sweden), August 2014, 43-52.
Available via: RE2014.pdf

2013

Antoine Cailliau, Christophe Damas, Bernard Lambeau, Axel van Lamsweerde
Modeling Car Crash Management with KAOS
Proc. RE'2013 Workshop on Comparing Requirements Modeling Approaches, Rio de Janeiro, IEEE, July 2013.

Axel van Lamsweerde
Risk-Driven Engineering of Requirements for Dependable Systems
In Engineering Dependable Systems, M. Broy, D. Peled, G. Kalus (Eds.), NATO Science for Peace and Security Series, D: Information and Communication Security Vol. 34, IOS Press, 2013, 207-234.
Available via: Markt2012paper-Axel.pdf

Antoine Cailliau, Axel van Lamsweerde
Assessing requirements-related risks through probabilistic goals and obstacles
Requirements Engineering Journal Vol.18 No. 2, June 2013, pp. 129-146
Available via: rej13.pdf

2012

Antoine Cailliau, Axel van Lamsweerde
A Probabilistic Framework for Goal-Oriented Risk Analysis
Proc. RE'2012: 20th IEEE International Conference on Requirements Engineering, Chicago, September 2012
Available via: re12.pdf

Dalal Alrajeh, Jeff Kramer, Axel van Lamsweerde, Alessandra Russo, Sebastian Uchitel
Generating Obstacle Conditions for Requirements Completeness
Proc. ICSE'2012: 34th International Conference on Software Engineering, Zurich, June 2012.
Available via: icse12.pdf

2009

Axel van Lamsweerde
From Worlds to Machines
in A Tribute to Michael Jackson, B. Nuseibeh and P. Zave (Eds.), Lulu Press, 2009.
Available via: JacksonTribute.pdf

Axel van Lamsweerde
Reasoning About Alternative Requirements Options
In Conceptual Modeling: Foundations and Applications, Essays in Honor of John Mylopoulos, A. Borgida, V. Chaudhri, P. Giorgini, E. Yu (Eds.), Springer-Verlag LNCS 5600, 2009, 380-397.
Available via: MylopoulosTribute.pdf

2008

A. van Lamsweerde
Requirements Engineering: From Craft to Discipline
Proc. FSE'2008: 16th ACM Sigsoft Intl. Symposium on the Foundations of Software Engineering, Atlanta, November 2008 (Invited Paper for the ACM Sigsoft Outstanding Research Award).
Available via: avl-fse08.pdf

P. Dupont, B. Lambeau, C. Damas, and A. van Lamsweerde
The QSM Algorithm and its Application to Software Behavior Model Induction
Applied Artificial Intelligence, Vol. 22, 2008, 77-115.

2007

A. van Lamsweerde
Engineering Requirements for System Reliability and Security
in Software System Reliability and Security, M. Broy, J. Grunbauer and C.A.R. Hoare (eds.), NATO Security through Science Series - D: Information and Communicarion Security, Vol. 9. IOS Press, 2007, 196-238.
Available via: avl-markt07.pdf

C. Ponsard, P. Massonet, J.F. Molderez, A. Rifaut, and A. van Lamsweerde
Early Verification and Validation of Mission-Critical Systems
Formal Methods in System Design, Vol. 30 No. 3, Springer, June 2007, 233-247.

2006

C. Damas, B. Lambeau, A. van Lamsweerde
Scenarios, Goals, and State Machines: a Win-Win Partnership for Model Synthesis
Proc. FSE'06: Intl. ACM Symposium on the Foundations of Software Engineering, Portland (OR), November 2006.
Available via: avl-fse06.pdf

2005

R. De Landtsheer, A. van Lamsweerde
Reasoning about Confidentiality at Requirements Engineering Time
’05, The fifth joint meeting of the European Software Engineering Conference and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Lisbon, Portugal, Sept. 2005
Available via: avl-fse05.pdf

C. Damas, B. Lambeau, P. Dupont, A. van Lamsweerde
Generating Annotated Behavior Models From End-User Scenarios
IEEE Transactions on Software Engineering, Special Issue on Interaction and State-based Modeling, Vol. 31, No. 12, pp. 1056-1073, 2005.
Available via: avl-tse05.pdf

2004

E. Letier and A. van Lamsweerde
Reasoning about Partial Goal Satisfaction for Requirements and Design Engineering
’04, 12th ACM International Symp. on the Foundations of Software Engineering, Newport Beach (CA), Nov. 2004, 53-62 (Best Research Paper Award)
Available via: avl-FSE04.pdf

C. Ponsard, P. Massonet, A. Rifaut, J.F. Molderez, A. van Lamsweerde, H. Tran Van
Early Verification and Validation of Mission-Critical Systems
’04, 9th International Workshop on Formal Methods for Industrial Critical Systems, Linz (Austria) Sept. 2004.
Available via: avl-faust-fmics04-v2-1.pdf

A. van Lamsweerde
Goal-Oriented Requirements Engineering: A Roundtrip from Research to Practice
’04, 12th IEEE Joint International Requirements Engineering Conference, Kyoto, Sept. 2004, 4-8 (Invited Keynote Paper)
Available via: avl-RE04-Keynote.pdf

H. Tran Van, A. van Lamsweerde, P. Massonet, Ch. Ponsard
Goal-Oriented Requirements Animation
’04, 12th IEEE Joint International Requirements Engineering Conference, Kyoto, Sept. 2004, 218-228.
Available via: avl-RE04.pdf

A. van Lamsweerde
Elaborating Security Requirements by Construction of Intentional Anti-Models
Proceedings of ICSE'04, 26th International Conference on Software Engineering, Edinburgh, May. 2004, ACM-IEEE ,148-157.
Available via: avl-Icse04-AntiGoals.pdf

2003

Axel van Lamsweerde
From System Goals to Software Architecture
In Formal Methods for Software Architectures, M. Bernardo and P. Inverardi (eds), LNCS 2804, Springer-Verlag, 2003, 25-43
Available via: avl-ReqToArch-avl.pdf

A. van Lamsweerde and E. Letier
From Object Orientation to Goal Orientation: A Paradigm Shift for Requirements Engineering
In Radical Innovations of Software and Systems Engineering, POst-Workshop Proceedings of the Monterey'02 Workshop, Springer-Verlag LNCS, 2003
Available via: avl-MontereyLNCS.pdf

A. van Lamsweerde, S.n Brohez, R.d De Landtsheer and D. Janssens
From System Goals to Intruder Anti-Goals: Attack Generation and Resolution for Security Requirements Engineering
’03 Workshop on Requirements for High Assurance Systems (RHAS’03), Monterey (CA), Sept. 2003, 49-56
Available via: avl-RHAS03.pdf

R. De Landtsheer, E. Letier and A. van Lamsweerde
Deriving Tabular Event-Based Specifications from Goal-Oriented Requirements Models
’03, 11th IEEE Joint International Requirements Engineering Conference, Monterey (CA), Sept. 2003, 200-210 (Best Research Paper Award)
Available via: avl-RE03.pdf

2002

E. Letier and A. van Lamsweerde
Deriving Operational Software Specifications from System Goals
Proceedings FSE'10 - 10th ACM S1GSOFT Symp. on the Foundations of Software Engineering, Charleston, November 2002
Available via: FSE02.pdf

E. Letier and A. van Lamsweerde
Agent-Based Tactics for Goal-Oriented Requirements Elaboration
Proceedings ICSE'2002 - 24th International Conference on Software Engineering, Orlando, May, 2002
Available via: Icse02.pdf

2001

A. van Lamsweerde
Goal-Oriented Requirements Engineering: A Guided Tour
Invited Paper for RE'01 - 5th IEEE International Symposium on Requirements Engineering, Toronto, August, 2001, pp. 249-263
Available via: RE01.pdf

A. van Lamsweerde
Building Formal Requirements Models for Reliable Software
Invited Paper for 6th International Conference on Reliable Software Technologies, Ada-Europe 2001, Leuven, May 14-18, 2001 Lecture Notes in Computer Science, Vol. 2043, Springer-Verlag
Available via: avl-AdaEurope.pdf

2000

A. van Lamsweerde, E. Letier
Handling Obstacles in Goal-Oriented Requirements Engineering
IEEE Transactions on Software Engineering, Special Issue on Exception Handling, Vol. 26 No. 10, October 2000, 978-1005.
Available via: TSE-Obstacles.pdf

A. van Lamsweerde
Formal Specification: a Roadmap
In "The Future of Software Engineering", A. Finkelstein (ed.), ACM Press.
Available via: FormalSpec-avl.pdf

R.A. Riemenschneider, B. Dutertre, V. Stavridou, A. van Lamsweerde
From System Requirements to System Architecture
Proceedings de ISAW-4 - Fourth International Software Architecture Workshop, Limerick, June 2000

A. van Lamsweerde
Requirements Engineering in the Year 00: A Research Perspective
Invited Paper for ICSE'2000 - 22nd International Conference on Software Engineering, Limerick, ACM Press, 2000
Available via: icse2000-avl.pdf

1998

A. van Lamsweerde, L. Willemet
Inferring Declarative Requirements Specifications from Operational Scenarios
IEEE Transactions on Software Engineering, Special Issue on Scenario Management, December 1998.
Available via: scenarios-TSE.ps.gz

A. van Lamsweerde, R. Darimont, E. Letier
Managing Conflicts in Goal-Driven Requirements Engineering
IEEE Transactions on Software Engineering, Special Issue on Managing Inconsistency in Software Development, November 1998.
Available via: Conflicts-TSE.ps.gz

A. van Lamsweerde, E. Letier
Integrating Obstacles in Goal-Driven Requirements Engineering
Proceedings ICSE'98 - 20th International Conference on Software Engineering, IEEE-ACM, Kyoto, April 98.
Available via: Icse98.ps.gz

M.S. Feather, S. Fickas, A. van Lamsweerde, C. Ponsard
Reconciling System Requirements and Runtime Behaviour
Proceedings de IWSSD'98 - 9th International Workshop on Software Specification and Design, IEEE, Isobe, Japan, April 1998.
Available via: Iwssd9-Monitoring.ps.gz

P. Bertrand, R. Darimont, E. Delor, P. Massonet, A. van Lamsweerde
GRAIL/KAOS: an environment for goal drivent requirements engineering
Proceedings ICSE'98 - 20th International Conference on Software Engineering, IEEE-ACM, Kyoto, April 98.
Available via: icse984p.ps.gz

1997

M.S. Feather, S. Fickas, A. Finkelstein, A. van Lamsweerde
Requirements and Specification Exemplars
Automated Software Engineering, Kluwer Pubs, Vol. 4, No. 4 (1997)
Available via: Exemplars-ASE.ps

Ph. Massonet, A. van Lamsweerde
Analogical Reuse of Requirements Frameworks
Proceedings RE'97 - Third International Conference on Requirements Engineering , Washington DC, IEEE, January 1997, pp. 26-37.
Available via: re97.ps.gz

1996

R. Darimont, A. van Lamsweerde
Formal Refinement Patterns for Goal-Driven Requirements Elaboration
Proceedings FSE-4 - 4th ACM Symp. on the Foundations of Software Engineering, San Francisco, Oct. 1996, pp. 179-190
Available via: fse4.ps.gz

A. van Lamsweerde
Divergent Views in Goal-Driven Requirements Engineering
Proceedings of the ACM SIGSOFT Workshop on Viewpoints in Software Development, San Francisco, Oct. 1996, pp. 252-256
Available via: Views.ps

1995

E. Dubois, J. Hagelstein, A. van Lamsweerde, F. Orejas, J. Souquieres and P. Wodon
A Guided Tour through the ICARUS Project
ACM Software Engineering Notes, Vol. 20 No. 2, April 1995, pp. 28-34.

A. van Lamsweerde, R. Darimont and Ph. Massonet
Goal-Directed Elaboration of Requirements for a Meting Scheduler: Problems and Lessons Learnt
Proceedings RE'95 - Second International Conference on Requirements Engineering (York, UK), IEEE Computer Society Press, March 1995, 194-203.
Available via: re95.ps.gz

1993

A. Dardenne, A. van Lamsweerde and S. Fickas
Goal-Directed Requirements Acquisition
Science of Computer Programming Vol. 20, North Holland, 1993, pp. 3-50.
Available via: SCP.ps.gz

1992

A. van Lamsweerde, R. Darimont, and Ph. Massonet
The Meeting Scheduler System: Problem Statement

Available via: MeetingScheduler.ps

1991

A. Dardenne, S. Fickas and A. van Lamsweerde
Goal-Directed Concept Acquisition in Requirements Elicitation
Proceedings IWSSD-6: Sixth International Workshop on Software Specification and Design. IEEE Computer Society Press, 1991, pp. 14-21.

A. van Lamsweerde
Learning Machine Learning
Chap. 5 of A Logic Based Approach to Artificial Intelligence, Vol. III: From Natural Language Processing to Logic for Expert Systems, A. Thayse (Ed.). Wiley, 1991, pp. 263-356.

A. van Lamsweerde, A. Dardenne, B. Delcourt and F. Dubisy
The KAOS Project: Knowledge Acquisition in Automated Specification of Software
Proceedings AAAI Spring Symposium Series, Stanford University, American Association for Artificial Intelligence, March 1991, pp. 59-62.

1989

ICARUS
A Tasteful Variety of Specification Case Studies
ESPRIT Project 2537, Task IndusCas, January 1989
Available via: CaseStudies.ps

1987

E. Dubois and A. van Lamsweerde
Making Specification Processes Explicit
Proceedings IWSSD-4: 4th International Workshop on Software Specification and Design. IEEE Computer Society Press, April 1987, pp. 169-177.