Article

Inferring operational requirements from scenarios and goal models using inductive learning

Authors:

Alessandra Russo,

Sebastian UchitelAuthors Info & Claims

SCESM '06: Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools

Pages 29 - 36

https://doi.org/10.1145/1138953.1138960

Published: 27 May 2006 Publication History

Abstract

Goal orientation is an increasingly recognised Requirements Engineering paradigm. However, integration of goal modelling with operational models remains an open area for which the few techniques that exist are cumbersome and impractical. In particular, the derivation of operational models and operational requirements from goals is a manual and tedious task which is, currently, only partially supported by operationalisation patterns. In this position paper we propose a framework for supporting such tasks by combining model checking and machine learning. As a proof of concept we instantiate the framework to show that progress checks and inductive learning can be used to infer preconditions and hence to support derivation of operational models.

References

[1]

D. Barstow. Artificial intelligence and software engineering. In Proceeding of the 9th International Conference on Software Engineering, Oct. 1987.]]

Digital Library

[2]

G. Berry and L. Cosserat. The esterel synchronous programming language and its mathematical semantics. Lecture Notes in Computer Science, 197:389--448, 1984.]]

Digital Library

[3]

J. F. Bowring, J. M. Rehg, and M. J. Harold. Active learning for automatic classification of software behaviour. In Proceeding of the Int. Symp. on Software Testing and Analysis, July 2004.]]

Digital Library

[4]

A. D. Garcez, A. Russo, B. Nuseibeh, and J. Kramer. Combining abductive reasoning and inductive learning to evolve requirements specifications. IEE Proceedings-Software, 150(1):25--38, Feb. 2003.]]

[5]

D. Giannakopoulou and J. Magee. Fluent model checking for event-based systems. In Proceeding of the 9th ACM European Software Engineering Conference, pages 257--266, Sept. 2003.]]

Digital Library

[6]

J. Kramer, J. Magee, and M. Sloman. Conic: An integrated approach to distributed computer control systems. In IEE Proceedings, Part E 130, pages 1--10, Jan. 1983.]]

[7]

A. V. Lamsweerde. Requirements engineering in the year 00: A research perspective. In Proceedings of the 22nd Int. Conference on Software Engineering, pages 5--19. ACM press, June 2000.]]

Digital Library

[8]

A. V. Lamsweerde. Goal-oriented requirements engineering: A guided tour. In Proceedings of the 5th IEEE Int. Symposium on Requirements Engineering, pages 249--263, Aug. 2001.]]

[9]

A. V. Lamsweerde and L. Willemet. Inferring declarative requirements specifications from operational scenarios. IEEE Transactions on Software Engineering, 24(12):1089--1114, 1998.]]

Digital Library

[10]

E. Letier, J. Kramer, J. Magee, and S. Uchitel. Deriving event-based transitions systems from goal-oriented requirements models.]]

[11]

E. Letier, J. Kramer, J. Magee, and S. Uchitel. Fluent temporal logic for discrete-time in event-based models. In Proceedings of the 10th European Software Engineering Conference, pages 70--79, Sept. 2005.]]

Digital Library

[12]

E. Letier and A. V. Lamsweerde. Agent-based tactics for goal-oriented requirements elaboration. In Proceedings of the 24th Int. Conference on Software Engineering, pages 83--93, May 2002.]]

Digital Library

[13]

E. Letier and A. V. Lamsweerde. Deriving operation software specifications from system goals. In Proceeding of the 10th ACM SIGSOFT Symp. on Foundation software engineering, pages 119--128, Charleston, November 2002.]]

Digital Library

[14]

J. Magee and J. Kramer. Concurrency: State Models and Java Programs. John Wiley and Sons, 1999.]]

Digital Library

[15]

Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer, 1992.]]

Digital Library

[16]

R. Miller and M. Shanahan. Some alternative formulation of event calculus. Computer Science; Computational Logic; Logic programming and Beyond, 2408, 2002.]]

Digital Library

[17]

S. Moyle. Learning about action and change: An inductive logic programming approach. MSc thesis, Computing Laboratory, University of Oxford, 1998.]]

[18]

S. Muggleton. Inverse entailment and progol5. New Generation Computing, 13:245--286, 1995.]]

[19]

O. Ray, K. Broda, and A. Russo. A hybrid abductive inductive learning proof procedure. Journal of the IGPL, 12(5):371--397, 2004.]]

[20]

A. Sutcliffe, N. A. M. Maiden, S. Minocha, and D. Manuel. Supporting scenario-based requirements engineering. IEEE Transactions on Software Engineering, 24:1072--1088, 1998.]]

Digital Library

[21]

D. Zhang and J. Tsai. Machine learning and software engineering. Software Quality Journal, 11:87--119, 2003.]]

Digital Library

Cited By

Yang XChen XWang J(2023)A Model Checking Based Software Requirements Specification Approach for Embedded Systems2023 IEEE 31st International Requirements Engineering Conference Workshops (REW)10.1109/REW57809.2023.00037(184-191)Online publication date: Sep-2023
https://doi.org/10.1109/REW57809.2023.00037
Campbell GTurner K(2008)Goals and Policies for Sensor Network ManagementProceedings of the 2008 Second International Conference on Sensor Technologies and Applications10.1109/SENSORCOMM.2008.105(354-359)Online publication date: 25-Aug-2008
https://dl.acm.org/doi/10.1109/SENSORCOMM.2008.105
Alrajeh DRay ORusso AUchitel S(2007)Extracting Requirements from Scenarios with ILPInductive Logic Programming10.1007/978-3-540-73847-3_14(64-78)Online publication date: 1-Mar-2007
https://dl.acm.org/doi/10.1007/978-3-540-73847-3_14

Index Terms

Inferring operational requirements from scenarios and goal models using inductive learning
1. Computing methodologies
  1. Machine learning
    1. Machine learning approaches
      1. Logical and relational learning
        Inductive logic learning
2. Software and its engineering
  1. Software creation and management
    1. Software development process management
      1. Software development methods
        Rapid application development

Recommendations

Learning operational requirements from goal models
ICSE '09: Proceedings of the 31st International Conference on Software Engineering

Goal-oriented methods have increasingly been recognised as an effective means for eliciting, elaborating, analysing and specifying software requirements. A key activity in these approaches is the elaboration of a correct and complete set of opertional ...
Inferring Declarative Requirements Specifications from Operational Scenarios

Scenarios are increasingly recognized as an effective means for eliciting, validating, and documenting software requirements. This paper concentrates on the use of scenarios for requirements elicitation and explores the process of inferring formal ...
The many faces of operationalization in goal-oriented requirements engineering
APCCM '14: Proceedings of the Tenth Asia-Pacific Conference on Conceptual Modelling - Volume 154

Goal models have been used in Requirements Engineering (RE) to elicit, model and analyse stakeholder requirements. In a goal model, stakeholder requirements are represented as root-level goals that are iteratively refined through AND/OR-refinements to ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

SCESM '06: Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools

May 2006

93 pages

ISBN:1595933948

DOI:10.1145/1138953

Program Chairs:
Jon Whittle
George Mason University, USA
,
Leif Geiger
University of Kassel, Germany
,
Michael Meisinger
TU Munich, Germany

Copyright © 2006 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 27 May 2006

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

ICSE06

Sponsor:

ICSE06: International Conference on Software Engineering

May 27, 2006

Shanghai, China

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
389
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)1

Reflects downloads up to 07 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Yang XChen XWang J(2023)A Model Checking Based Software Requirements Specification Approach for Embedded Systems2023 IEEE 31st International Requirements Engineering Conference Workshops (REW)10.1109/REW57809.2023.00037(184-191)Online publication date: Sep-2023
https://doi.org/10.1109/REW57809.2023.00037
Campbell GTurner K(2008)Goals and Policies for Sensor Network ManagementProceedings of the 2008 Second International Conference on Sensor Technologies and Applications10.1109/SENSORCOMM.2008.105(354-359)Online publication date: 25-Aug-2008
https://dl.acm.org/doi/10.1109/SENSORCOMM.2008.105
Alrajeh DRay ORusso AUchitel S(2007)Extracting Requirements from Scenarios with ILPInductive Logic Programming10.1007/978-3-540-73847-3_14(64-78)Online publication date: 1-Mar-2007
https://dl.acm.org/doi/10.1007/978-3-540-73847-3_14

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten