Skip to main content
SpringerLink
Log in

On Constructing Software Environment Ontology for Time-Continuous Environment

  • Conference paper
Knowledge Science, Engineering and Management (KSEM 2011)

Part of the book series: Lecture Notes in Computer Science ((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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

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)

    Article  Google Scholar 

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

    Article  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)

    Article  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)

    Article  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)

    Article  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)

    Article  MathSciNet  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)

    Chapter  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)

Publish with us

Policies and ethics

Search

Navigation