Skip to main content
Book cover

International Conference on Knowledge Science, Engineering and Management

KSEM 2011: Knowledge Science, Engineering and Management pp 148–159Cite as

On Constructing Software Environment Ontology for Time-Continuous Environment

  • Conference paper

Part of the Lecture Notes in Computer Science book series (LNAI,volume 7091)

Abstract

It is well known that environment plays an important part in requirements engineering(RE). However, at present the time-continuous properties of the environment are not considered yet in RE. This paper proposes to model the time-continuous environment by constructing a software environment ontology. Based on this ontology, a small example is given for deriving software requirements specification using problem frames approach under different situations. The results show that the software behaviors can be more accurately determined with respect to time-continuous environment by using time as a measurement.

Keywords

  • requirements engineering
  • environment
  • time-continuous property
  • software environment ontology
  • problem frames approach

This is a preview of subscription content, access via your institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-642-25975-3_14
  • Chapter length: 12 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   74.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-25975-3
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   99.00
Price excludes VAT (USA)
Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

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

    CrossRef  Google Scholar 

  2. Jackson, M.A.: The meaning of requirements. Annals of Software Engineering 3, 5–21 (1997)

    CrossRef  Google Scholar 

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

    CrossRef  Google Scholar 

  4. van Lamsweerde, A.: Formal refinement patterns for goal-driven requirements elaboration. In: Proceedings of the 4th ACM Symposium on the Foundations of Software Engineering (FSE4), San Francisco, USA, pp. 179–190 (1996)

    Google Scholar 

  5. Yu, E.: Agent orientation as a modeling paradigm. Wirtschaftsinformatik 43(2), 123–132 (2001)

    CrossRef  Google Scholar 

  6. Yu, E., Giorgini, P., Maiden, N., Mylopoulos, J. (eds.): Social Modelling for Requirements Engineering. MTI Press (2011)

    Google Scholar 

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

    Google Scholar 

  8. Hall, J.G., Rapanotti, L., Jackson, M.: Problem oriented software engineering: Solving the package router control problem. IEEE Transactions on Software Engineering 34(2), 226–241 (2008)

    CrossRef  Google Scholar 

  9. Alur, R., Courcoubetis, C., Halbwachs, N.E.A.: The algorithmic analysis of hybrid systems. Theoretical Computer Science 138(1), 3–34 (1995)

    MathSciNet  CrossRef  MATH  Google Scholar 

  10. Henzinger, T.A.: The theory of hybrid automata. In: 11th Annual Symposium on Logic in Computer Science (LICS), pp. 278–292. IEEE Computer Society Press (1996)

    Google Scholar 

  11. Őtter, K.B., Bisanz, S., Hannemann, U., Peleska, J.: The hybriduml profile for uml 2.0, pp. 167–176 (2006)

    Google Scholar 

  12. Chen, X., Jin, Z., Yi, L.: An Ontology of Problem Frames for Guiding Problem Frame Specification. In: Zhang, Z., Siekmann, J.H. (eds.) KSEM 2007. LNCS (LNAI), vol. 4798, pp. 384–395. Springer, Heidelberg (2007)

    CrossRef  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, 20062, P.R. China

    Xiaohong Chen & Jing Liu

  2. Key Laboratory of High Confidence Software Technologies, Ministry of Education, Peking University, Beijing, 100871, P.R. China

    Xiaohong Chen

  3. Center of Math Computing and Software Engineering, Zhejiang Sci-Tech University, Hangzhou, 310018, P.R. China

    Zuohua Ding

Authors
  1. Xiaohong Chen
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jing Liu
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Zuohua Ding
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Management Science and Information Systems Department, Rutgers, the State University of New Jersey, 1, Washington Park, 07102, Newark, NJ, USA

    Hui Xiong

  2. Department of Industrial and Systems Engineering, The Hong Kong Polytechnic University, Hong Kong, China

    W. B. Lee

Rights and permissions

Reprints and Permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Chen, X., Liu, J., Ding, Z. (2011). On Constructing Software Environment Ontology for Time-Continuous Environment. In: Xiong, H., Lee, W.B. (eds) Knowledge Science, Engineering and Management. KSEM 2011. Lecture Notes in Computer Science(), vol 7091. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-25975-3_14

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-25975-3_14

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-25974-6

  • Online ISBN: 978-3-642-25975-3

  • eBook Packages: Computer ScienceComputer Science (R0)