Article

Towards automatic problem decomposition: an ontology-based approach

Authors:

Lin LiuAuthors Info & Claims

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

Pages 41 - 48

https://doi.org/10.1145/1138670.1138678

Published: 23 May 2006 Publication History

Abstract

In this paper, we propose a conceptual description schema based on the Problem Frames (PF) approach, which treats environment as a first-class concept. Requirements are defined as problem descriptions in terms of the environment model. Thus, knowledge about the environment can be used to facilitate the derivation of software specifications from requirements. Heuristic rules that help structuring software problems are given. Major idea of the proposed approach is illustrated with a simple real world example.

References

[1]

D. L. Parnas and J. Madey. Functional documentation for computer systems. Science Computing Program, 25(1):41--61, Oct. 1995.

Digital Library

[2]

M. Jackson. Software Requirements and Specications: a Lexicon of Practice, Principles and Prejudices. Addison-Wesley, 1995.

Digital Library

[3]

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

Digital Library

[4]

M. Jackson. The meaning of requirements. Annals of Software Engineering, 3:5--21, 1997.

Digital Library

[5]

C. A. Gunter, E. L. Gunter, M. Jackson, and P. Zave. A reference model for requirements and specication. IEEE Software, 17(3):37--43, May/June 2000.

Digital Library

[6]

M. Jackson. Problem Frames: Analyzing and Structuring software development problems. Addison-Wesley, 2001.

Digital Library

[7]

Andrés Silva. Requirements, domain and specications: A viewpoint-based approach to requirements engineering. In Proceedings of the ICSE'02, pages 94--104, Orlando, Florida, USA, 2002.

Digital Library

[8]

Jon G. Hall, Lucia Rapanotti, and Michael Jackson. Problem frames semantics for software development. Journal of Software and System Modeling, 40(2):189--198, 2005.

Digital Library

[9]

Jeffrey L. Whitten, Lonnie D. Bentley, and Kevin C. Dittman. System Anaysis ans Design Methods. McGraw-Hill Companies, fifth edition, 2001.

Digital Library

[10]

R. Lu and Z. Jin. Domain Modelling based Software Engineering. Kluwer Academic Publishers, 2000.

Digital Library

[11]

Z. Jin, D. A. Bell, F. G. Wilkie, and D. G. Leahy. Automated requirements elicitation: Combining a model-driven approach with concept reuse. International Journal of Software Engineering and Knowledge Engineering, 13(1):53--82, 2003.

[12]

Z. Jin, R. Lu, and D. A. Bell. Automatically multi-paradigm requirements modeling and analyzing: an ontology-based approach. Science in China (SeriesF), 46(4):279--297, Aug. 2003.

[13]

Zhi Jin. Revisiting the meaning of requirements. Journal of Computer Science and Technology, 21(1):32--40, 2006.

[14]

Leszek A. Maciaszek. Requirements Analysis and System Design: Developing Information Systems with UML. Pearson Education Limited, 2001.

Digital Library

[15]

A. Finkelstein, J. Kramer, B. Nuseibeh, L. Finkelstein, and M. Goedicke. Viewpoints: a framework for integrating multiple perspectives in system development. International Journal of Software Engineering and Knowledge Engineering, 2(1):31--57, 1992.

[16]

Alan M. Davis, Kathleen Jordan, and Tsuyoshi Nakajima. Elments underlying the specification of requirements. Annals of Software Engineering, 3:63--100, 1997.

Digital Library

Cited By

Listopad SKirikov I(2024)Analysis of Approaches to Automation of Problem Structure Identification2024 6th International Conference on Control Systems, Mathematical Modeling, Automation and Energy Efficiency (SUMMA)10.1109/SUMMA64428.2024.10803780(312-316)Online publication date: 13-Nov-2024
https://doi.org/10.1109/SUMMA64428.2024.10803780
Tenbergen BDaun MAluko Obe PBrings j(2018)View-Centric Context Modeling to Foster the Engineering of Cyber-Physical System Networks2018 IEEE International Conference on Software Architecture (ICSA)10.1109/ICSA.2018.00030(206-20609)Online publication date: Apr-2018
https://doi.org/10.1109/ICSA.2018.00030
Bandyszak TDaun MTenbergerr BWeyer T(2018)Model-based Documentation of Context Uncertainty for Cyber-Physical Systems2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)10.1109/COASE.2018.8560480(1087-1092)Online publication date: 20-Aug-2018
https://dl.acm.org/doi/10.1109/COASE.2018.8560480
Show More Cited By

Index Terms

Towards automatic problem decomposition: an ontology-based approach
1. Software and its engineering
  1. Software creation and management
    1. Software development process management
      1. Software development methods
    2. Software development techniques
  2. Software notations and tools
    1. System description languages
      1. Specification languages

Recommendations

A Norm-Based Approach towards Requirements Patterns
COMPSAC '11: Proceedings of the 2011 IEEE 35th Annual Computer Software and Applications Conference

Requirements engineering is considered to be one of the crucial and at the same time difficult tasks during development process. It is considered to be one of the key factors causing software projects to fail since weak requirements engineering affects ...
A Problem-Based Approach for Computer-Aided Privacy Threat Identification
APF 2012: Revised Selected Papers of the First Annual Privacy Forum on Privacy Technologies and Policy - Volume 8319

Recently, there has been an increase of reported privacy threats hitting large software systems. These threats can originate from stakeholders that are part of the system. Thus, it is crucial for software engineers to identify these privacy threats, ...
2nd international workshop on advances and applications of problem frames
IWAAPF '06: Proceedings of the 2006 international workshop on Advances and applications of problem frames

Software problems originate from real world problems. A software solution must address its real world problem in a satisfactory way. A software engineer must therefore understand the real world problem that their software intends to address. To be able ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

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

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: 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

13
Total Citations
View Citations
278
Total Downloads

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

Reflects downloads up to 03 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Listopad SKirikov I(2024)Analysis of Approaches to Automation of Problem Structure Identification2024 6th International Conference on Control Systems, Mathematical Modeling, Automation and Energy Efficiency (SUMMA)10.1109/SUMMA64428.2024.10803780(312-316)Online publication date: 13-Nov-2024
https://doi.org/10.1109/SUMMA64428.2024.10803780
Tenbergen BDaun MAluko Obe PBrings j(2018)View-Centric Context Modeling to Foster the Engineering of Cyber-Physical System Networks2018 IEEE International Conference on Software Architecture (ICSA)10.1109/ICSA.2018.00030(206-20609)Online publication date: Apr-2018
https://doi.org/10.1109/ICSA.2018.00030
Bandyszak TDaun MTenbergerr BWeyer T(2018)Model-based Documentation of Context Uncertainty for Cyber-Physical Systems2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)10.1109/COASE.2018.8560480(1087-1092)Online publication date: 20-Aug-2018
https://dl.acm.org/doi/10.1109/COASE.2018.8560480
Daun MBrings JWeyer TTenbergen B(2016)Fostering concurrent engineering of cyber-physical systems a proposal for an ontological context framework2016 3rd International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems (EITEC)10.1109/EITEC.2016.7503689(5-10)Online publication date: Apr-2016
https://doi.org/10.1109/EITEC.2016.7503689
Daun MTenbergen BBrings JWeyer T(2016)SPES XT Context Modeling FrameworkAdvanced Model-Based Engineering of Embedded Systems10.1007/978-3-319-48003-9_4(43-57)Online publication date: 2-Dec-2016
https://doi.org/10.1007/978-3-319-48003-9_4
Bin YZhi JXiaohong CMei HLv JWang QLiu L(2012)An approach for selecting implementation strategies of non-functional requirementsProceedings of the Fourth Asia-Pacific Symposium on Internetware10.1145/2430475.2430495(1-7)Online publication date: 30-Oct-2012
https://dl.acm.org/doi/10.1145/2430475.2430495
Lavazza LCoen-Porisini AColombo PBianco V(2010)A Meta-model Supporting the Decomposition of Problem DescriptionsProceedings of the 2010 Fifth International Conference on Software Engineering Advances10.1109/ICSEA.2010.15(50-57)Online publication date: 22-Aug-2010
https://dl.acm.org/doi/10.1109/ICSEA.2010.15
Colombo PLavazza LCoen-Porisini ABianco V(2009)Towards a Meta-model for Problem FramesProceedings of the 2009 Fourth International Conference on Software Engineering Advances10.1109/ICSEA.2009.56(339-345)Online publication date: 20-Sep-2009
https://dl.acm.org/doi/10.1109/ICSEA.2009.56
Chen XJin ZRapanotti LHall JJin ZCox K(2008)An ontology-guided process for developing problem frame specificationProceedings of the 3rd international workshop on Applications and advances of problem frames10.1145/1370811.1370818(36-39)Online publication date: 10-May-2008
https://dl.acm.org/doi/10.1145/1370811.1370818
Chen XJin Z(2008)A Scenario-Based Problem DecompositionProceedings of the 2008 The 9th International Conference for Young Computer Scientists10.1109/ICYCS.2008.139(1150-1155)Online publication date: 18-Nov-2008
https://dl.acm.org/doi/10.1109/ICYCS.2008.139
Show More Cited By

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