Skip to main content

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.

Buying options

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)

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

Authors

Editor information

Editors and Affiliations

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)