References

  1. C. Bock, A. Fokoue, P. Haase, R. Hoekstra, I. Horrocks, A. Ruttenberg, U. Sattler & M. Smith: OWL 2 Web Ontology Language Structural Specification and Functional-Style Syntax. W3 Recommendation. http://www.w3.org/TR/2009/REC-owl2-syntax-20091027/.
  2. Motick Boris, Patel-Schneider Peter F & Cuenca Grau Bernardo: OWL 2 Web Ontology Language Direct Semantics. Available at http://www.w3.org/TR/owl2-direct-semantics/.
  3. Manfred Broy, María Victoria Cengarle, Hans Grönniger & Bernhard Rumpe (2009): Considerations and Rationale for a UML System Model, pp. 43–60. John Wiley and Sons, Inc., doi:10.1002/9780470522622.ch3.
  4. Xiaoxia Cao, Huaikou Miao & Qingguo Xu (2008): Verifying Service-Oriented Requirements Using Model Checking. In: Proceedings of the 2008 IEEE International Conference on e-Business Engineering, ICEBE '08. IEEE Computer Society, Washington, DC, USA, pp. 643–648, doi:10.1109/ICEBE.2008.30.
  5. Roy Thomas Fielding (2000): Architectural Styles and the Design of Network-based Software Architectures. Citeseer, doi:10.1.1.91.2433. Available at http://www.ics.uci.edu/~fielding/pubs/dissertation/top.htm.
  6. R. Heckel, H. Voigt, J. Kuster & S. Thone (2003): Towards Consistency of Web Service Architectures. In the Proceedings of the 7th World Multiconference on Systemics, Cybernetics, and Informatics.
  7. A. Holovaty & J. Kaplan-Moss (2007): The Definitive Guide to Django: Web Development Done Right. Apress.
  8. Ian Horrocks, Oliver Kutz & Ulrike Sattler (2006): The Even More Irresistible SROIQ. In: Proc. of the 10th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2006). AAAI Press, pp. 57–67. Available at download/2006/HoKS06a.pdf.
  9. C. Nentwich, W. Emmerich & A. Finkelstein (2001): Static Consistency Checking for Distributed Specifications. In the Proceedings of the 16th IEEE international conference on Automated software engineering.
  10. OMG (2006): OCL, OMG Available Specification, Version 2.0. Available at http://www.omg.org/spec/OCL/2.0/.
  11. OMG (2011): UML Superstructure Specification, Version 2.4.1. Available at http://www.omg.org/spec/UML/2.4.1/Superstructure/PDF/.
  12. Ivan Porres & Irum Rauf (2011): Modeling behavioral RESTful web service interfaces in UML. In: Proceedings of the 2011 ACM Symposium on Applied Computing, SAC '11. ACM, New York, NY, USA, pp. 1598–1605, doi:10.1145/1982185.1982521.
  13. Shearer R, Motik B & Horrocks I (2008): HermiT: A highly-efficient OWL reasoner.. Proceedings of the 5th International Workshop on OWL: Experiences and Directions (OWLED 2008).
  14. Evren Sirin, Bijan Parsia, Bernardo Cuenca Grau, Aditya Kalyanpur & Yarden Katz (2007): Pellet: A practical OWL-DL reasoner. Web Semant. 5(2), pp. 51–53, doi:10.1016/j.websem.2007.03.004.
  15. W. T. Tsai, X. Wei, Y. Chen & R. Paul (2005): A Robust Testing Framework for Verifying Web Services by Completeness and Consistency Analysis. In: Proceedings of the IEEE International Workshop, SOSE '05. IEEE Computer Society, Washington, DC, USA, pp. 159–166, doi:10.1109/SOSE.2005.2.
  16. W.T. Tsai, X. Wei, Y. Chen, B. Xiao, R. Paul & H. Huang (2005): Developing and assuring trustworthy Web services. In the Proceedings of Autonomous Decentralized Systems.
  17. Dmitry Tsarkov & Ian Horrocks (2006): FaCT++ description logic reasoner: system description. In: Proceedings of the Third international joint conference on Automated Reasoning, IJCAR'06. Springer-Verlag, Berlin, Heidelberg, pp. 292–297, doi:10.1007/11814771/26.
  18. OMG UML (2009): 2.2 Superstructure Specification. OMG ed. http://www.omg.org/spec/UML/2.2/.
  19. YuYu Yin, JianWei Yin, Ying Li & ShuiGuang Deng (2008): Verifying Consistency of Web Services Behavior Using Type Theory. In: Asia-Pacific Services Computing Conference, 2008. APSCC '08. IEEE, pp. 1560–1567, doi:10.1109/APSCC.2008.149.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org