On constructing software environment ontology for time-continuous environment

Authors:
Xiaohong Chen;Jing Liu;Zuohua Ding
Affiliations:
Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, P.R. China;Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, P.R. China;Center of Math Computing and Software Engineering, Zhejiang Sci-Tech University, Hangzhou, P.R. China
Venue:
KSEM'11 Proceedings of the 5th international conference on Knowledge Science, Engineering and Management
Year:
2011

Citing 11
Cited 0

The algorithmic analysis of hybrid systems

Theoretical Computer Science - Special issue on hybrid systems
Functional documents for computer systems

Science of Computer Programming
Four dark corners of requirements engineering

ACM Transactions on Software Engineering and Methodology (TOSEM)
Formal refinement patterns for goal-driven requirements elaboration

SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Problem frames: analyzing and structuring software development problems

Problem frames: analyzing and structuring software development problems
The meaning of requirements

Annals of Software Engineering
The theory of hybrid automata

LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
The HybridUML profile for UML 2.0

International Journal on Software Tools for Technology Transfer (STTT) - Special Section on Specification and Validation of Models of Real Time and Embedded Systems with UML
Problem Oriented Software Engineering: Solving the Package Router Control Problem

IEEE Transactions on Software Engineering
An ontology of problem frames for guiding problem frame specification

KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
Social Modeling for Requirements Engineering

Social Modeling for Requirements Engineering

Quantified Score

Hi-index	0.00

Visualization

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.