The Concepts and Ontology of SiSL: A Situation-Centric Specification Language

@article{Xie2012TheCA,
  title={The Concepts and Ontology of SiSL: A Situation-Centric Specification Language},
  author={Haihua Xie and Carl K. Chang and Hua Ming and Kai-Shin Lu},
  journal={2012 IEEE 36th Annual Computer Software and Applications Conference Workshops},
  year={2012},
  pages={385-391}
}
The concept of situation proposed in Situ, a context aware service-centric model, is the instant status of a software system environment, including context values and user's actions, as well as the predicated user's desires, which are critical for service evolution because they usually reflect user's requirements on the system. For better applying the situation theory in practice, it is essential to provide formal specification and explicit description for situations. In this paper, we present… CONTINUE READING
2 Citations
7 References
Similar Papers

Citations

Publications citing this paper.

References

Publications referenced by this paper.
Showing 1-7 of 7 references

The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression

  • R. Reiter
  • Artificial intelligence and mathematical theory…
  • 1991
Highly Influential
3 Excerpts

Towards a general theory of action and time. Artificial Intelligence

  • J. F. Allen
  • 23(2): 123-154,1984. 391
  • 1984

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof

  • Peter Andrews
  • 2nd ed. Berlin: Kluwer Academic Publishers.
2 Excerpts

Towards a general theory of action and time

  • Hsin-yi Jiang Carl K. Chang, Hua Ming, Katsunori Oyama
  • IEEE Transactions on Services Computing

Similar Papers

Loading similar papers…