Article

From requirements to specifications: a formal approach

Authors:

Zhi Li,

Jon G. Hall,

Lucia RapanottiAuthors Info & Claims

IWAAPF '06: Proceedings of the 2006 international workshop on Advances and applications of problem frames

Pages 65 - 70

https://doi.org/10.1145/1138670.1138681

Published: 23 May 2006 Publication History

Get Access

Abstract

Achieving a proper understanding of the problem space before providing the design in the solution space is one of the basic tenets in requirements engineering. The Problem Frames approach provides a way for people to understand and solve software problems.Recently, a denotational semantics for Problem Frames was defined to relate the various elements of Problem Frames together. One of the problems of the semantics is that, as denotation, a problem has the set of all satisfying solution specifications. Whereas this is a sensible initial choice, it does not lend itself easily to the construction of solution specifications.The contribution of this paper is to provide a formal technique which in the context of the given semantics allows for the systematic derivation of software specifications from requirements.

References

[1]

J. G. Hall, L. Rapanotti, and M. Jackson. Problemframe semantics for software development. Journal ofSoftware and Systems Modeling, 4(2):189--198, 2005.

Digital Library

Google Scholar

[2]

C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall International, 1985.

Digital Library

Google Scholar

[3]

M. A. Jackson. Problem Frames: Analyzing and Structuring Software Development Problem. Addison-Wesley Publishing Company, 1st edition,2001.

Digital Library

Google Scholar

[4]

M. A. Jackson and P. Zave. Domain descriptions. In Proceedings of the 1st IEEE International Symposiumon Requirements Engineering, pages 56--64. IEEE CS Press, 1993.

Google Scholar

[5]

L. Lai and J. W. Sanders. A weakest-environment calculus for communicating systems. In F. Fritzson and L. Finmo, editors, Proceedings 4th Nordic Transputer Conference: Parallel Programming and Applications, pages 381--395. IOS Press, Ohmsha,1995.

Google Scholar

[6]

L. Lai and J. W. Sanders. A refinement calculus for communicating processes with state. In H. McGloughlin and G. O'Regan, editors, Proceedings of the 1st Irish Workshop on Formal Methods, Dublin, 1997.

Digital Library

Google Scholar

[7]

N. Maiden. Crews-savre: Scenarios for acquiring and validating requirements. Automated Software Engineering, 5(4):419--446, 1998.

Digital Library

Google Scholar

[8]

E. Mendelson. Introduction to Mathematical Logic. Chapman & Hall, 1997.

Digital Library

Google Scholar

[9]

C. Morgan. Programming from Specifications. Prentice Hall International Series in Computer Science. Prentice-Hall International, 1994.

Digital Library

Google Scholar

[10]

L. Rapanotti, J. G. Hall, M. Jackson, and B. Nuseibeh. Architecture-driven problem decomposition. In 12th IEEE International Conference on Requirements Engineering (RE 2004), pages 80--89. IEEE Computer Society, 2004.

Digital Library

Google Scholar

[11]

A. van Lamsweerde. Goal-oriented requirements engineering: A guided tour. In Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE2001), pages 249--263, Toronto, 2001. 27-31 August 2001.

Digital Library

Google Scholar

[12]

E. S. K. Yu. Towards modeling and reasoning support for early-phase requirements engineering. Technical report, Faculty of Information Studies, University of Toronto, 1997.

Google Scholar

[13]

P. Zave and M. A. Jackson. Four dark corners of requirements engineering. ACM Transactions on Software Engineering and Methodology, 6(1), 1997.

Digital Library

Google Scholar

[14]

P. Zave and M. A. Jackson. Conjunction as composition. ACM Transactions on Software Engineering and Methodology, Volume 2, No. 4, October 1993.

Digital Library

Google Scholar

Cited By

View all

Shigo OYokoyama K(2011)A State Machine Analysis Support System Based on the Problem FramesProceedings of the 2011 18th Asia-Pacific Software Engineering Conference10.1109/APSEC.2011.46(373-380)Online publication date: 5-Dec-2011
https://dl.acm.org/doi/10.1109/APSEC.2011.46
Schmidt H(2009)Pattern-Based Confidentiality-Preserving RefinementProceedings of the 1st International Symposium on Engineering Secure Software and Systems10.1007/978-3-642-00199-4_5(43-59)Online publication date: 27-Mar-2009
https://dl.acm.org/doi/10.1007/978-3-642-00199-4_5
Tun TTrew TJackson MLaney RNuseibeh B(2009)Specifying features of an evolving software systemSoftware: Practice and Experience10.1002/spe.92339:11(973-1002)Online publication date: 8-May-2009
https://doi.org/10.1002/spe.923
Show More Cited By

Index Terms

From requirements to specifications: a formal approach
1. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Requirements analysis

Recommendations

Formalized structured analysis specifications
On the systematic transformation of requirements to specifications

Formal approaches to development are widely acknowledged to have difficulty in the validation of real-world requirements; in contrast, non-formal approaches find it difficult to identify the formal structures in requirements that are useful in a ...
Progressing problems from requirements to specifications in problem frames
IWAAPF '08: Proceedings of the 3rd international workshop on Applications and advances of problem frames

One of the problems with current practice in software development is that customer requirements are often not well captured, understood and analysed, and there is no clear traceable path from customer requirements to software specifications. This often ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

IWAAPF '06: Proceedings of the 2006 international workshop on Advances and applications of problem frames

May 2006

93 pages

ISBN:1595934065

DOI:10.1145/1138670

Conference Chairs:
Jon G. Hall
CRC, Open University, UK
,
Lucia Rapanotti
CRC, Open University, UK
,
Karl Cox
NICTA, Australia
,
Zhi Jin
Academy of Sciences, China

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]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 23 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 23, 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

9
Total Citations
View Citations
498
Total Downloads

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

Reflects downloads up to 12 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Shigo OYokoyama K(2011)A State Machine Analysis Support System Based on the Problem FramesProceedings of the 2011 18th Asia-Pacific Software Engineering Conference10.1109/APSEC.2011.46(373-380)Online publication date: 5-Dec-2011
https://dl.acm.org/doi/10.1109/APSEC.2011.46
Schmidt H(2009)Pattern-Based Confidentiality-Preserving RefinementProceedings of the 1st International Symposium on Engineering Secure Software and Systems10.1007/978-3-642-00199-4_5(43-59)Online publication date: 27-Mar-2009
https://dl.acm.org/doi/10.1007/978-3-642-00199-4_5
Tun TTrew TJackson MLaney RNuseibeh B(2009)Specifying features of an evolving software systemSoftware: Practice and Experience10.1002/spe.92339:11(973-1002)Online publication date: 8-May-2009
https://doi.org/10.1002/spe.923
Li ZRapanotti LHall JJin ZCox K(2008)Progressing problems from requirements to specifications in problem framesProceedings of the 3rd international workshop on Applications and advances of problem frames10.1145/1370811.1370823(53-59)Online publication date: 10-May-2008
https://dl.acm.org/doi/10.1145/1370811.1370823
Shigo O(2008)Jackson's JSP-Like Method for State Transition DesignProceedings of the 2008 15th Asia-Pacific Software Engineering Conference10.1109/APSEC.2008.60(307-314)Online publication date: 3-Dec-2008
https://dl.acm.org/doi/10.1109/APSEC.2008.60
Hall JRapanotti LJackson M(2007)Problem Oriented Software Engineering: A design-theoretic framework for software engineeringFifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007)10.1109/SEFM.2007.29(15-24)Online publication date: Sep-2007
https://doi.org/10.1109/SEFM.2007.29
Colombo PDel Bianco VLavazza LCoen-Porisini A(2007)A Methodological Framework for SysML: a Problem Frames-based Approach14th Asia-Pacific Software Engineering Conference (APSEC'07)10.1109/ASPEC.2007.56(25-32)Online publication date: Dec-2007
https://doi.org/10.1109/ASPEC.2007.56
Seater RJackson DGheyi R(2007)Requirement progression in problem frames: deriving specifications from requirementsRequirements Engineering10.1007/s00766-007-0048-y12:2(77-102)Online publication date: 12-Apr-2007
https://doi.org/10.1007/s00766-007-0048-y
Seater RJackson D(2006)Requirement Progression in Problem Frames Applied to a Proton Therapy SystemProceedings of the 14th IEEE International Requirements Engineering Conference10.1109/RE.2006.53(166-175)Online publication date: 11-Sep-2006
https://dl.acm.org/doi/10.1109/RE.2006.53

View Options

Get Access

Login options

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

Cited By

Index Terms

Recommendations

Formalized structured analysis specifications

On the systematic transformation of requirements to specifications

Progressing problems from requirements to specifications in problem frames