Table of Contents Author Guidelines Submit a Manuscript
Journal of Applied Mathematics
Volume 2013 (2013), Article ID 934349, 11 pages
http://dx.doi.org/10.1155/2013/934349
Research Article

OntCheck: An Ontology-Driven Static Correctness Checking Tool for Component-Based Models

Xi Lin,1,2,3 Hehua Zhang,1,3 and Ming Gu1,3

1School of Software, Tsinghua University, Beijing 100084, China
2Department of Computer Science and Technology, Tsinghua University, Beijing 100084, China
3Tsinghua National Laboratory for Information Science and Technology, Beijing 100084, China

Received 8 February 2013; Accepted 21 March 2013

Academic Editor: Xiaoyu Song

Copyright © 2013 Xi Lin et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Linked References

  1. P. Derler, E. Lee, and A. Sangiovanni-Vincentelli, “Addressing modeling challenges in cyber-physical systems,” Tech. Rep. EECS-2011-17, University of California, Berkeley, Calif, USA, 2011. View at Google Scholar
  2. G. Karsai, J. Sztipanovits, A. Ledeczi, and T. Bapty, “Model-integrated development of embedded software,” Proceedings of the IEEE, vol. 91, no. 1, pp. 145–164, 2003. View at Publisher · View at Google Scholar · View at Scopus
  3. C. M. Ong, Dynamic Simulation of Electric Machinery: Using MATLAB/SIMULINK, Prentice Hall PTR, Upper Saddle River, NJ, USA, 1998.
  4. J. Eker, J. W. Janneck, E. A. Lee et al., “Taming heterogeneity—the ptolemy approach,” Proceedings of the IEEE, vol. 91, no. 1, pp. 127–143, 2003. View at Publisher · View at Google Scholar · View at Scopus
  5. F. X. Dormoy, “SCADE 6—a model based solution for safety critical software development,” in Proceedings of the Embedded Real-Time Systems Conference, 2008.
  6. X. Chen, H. Hsieh, F. Balarin, and Y. Watanabe, “Formal verification for embedded system designs,” Design Automation for Embedded Systems, vol. 8, no. 2-3, pp. 139–153, 2003. View at Google Scholar · View at Scopus
  7. M. Whalen, D. Cofer, S. Miller, B. H. Krogh, and W. Storm, “Integration of formal analysis into a model-based software development process,” Formal Methods for Industrial Critical Systems, vol. 4916, pp. 68–84, 2008. View at Publisher · View at Google Scholar · View at Scopus
  8. T. R. Gruber, “A translation approach to portable ontology specifications,” Knowledge Acquisition, vol. 5, no. 2, pp. 199–220, 1993. View at Publisher · View at Google Scholar · View at Scopus
  9. H. Kaiya and M. Saeki, “Ontology based requirements analysis: lightweight semantic processing approach,” in Proceedings of the 5th International Conference on Quality Software (QSIC '05), pp. 223–230, September 2005. View at Publisher · View at Google Scholar · View at Scopus
  10. J. Z, “Ontology-based requirements elicitation,” Chinese Journal of Computers, vol. 23, no. 5, pp. 486–492, 2003. View at Google Scholar
  11. H. Kaiya and M. Saeki, “Using domain ontology as domain knowledge for requirements elicitation,” in Proceedings of the 14th IEEE International Requirements Engineering Conference (RE '06), pp. 186–195, September 2006. View at Publisher · View at Google Scholar · View at Scopus
  12. D. L. Mcguinness and F. van Harmelen, “OWL web ontology language overview,” http://www.w3.org/TR/owl-features/.
  13. B. Ganter and R. Wille, Formal Concept Analysis, Springer, Berlin, Germany, 1999. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  14. P. Hitzler, S. Rudolph, and M. Krötzsch, Foundations of Semantic Web Technologies, Chapman & Hall/CRC, 2009.
  15. M. Leung, T. Mandl, E. Lee et al., “Scalable semantic annotation using lattice-based ontologies,” in Model Driven Engineering Languages and Systems, vol. 5795 of Lecture Notes in Computer Science, pp. 393–407, Springer, Berlin, Germany, 2009. View at Google Scholar
  16. Y. Xiong and E. Lee, “An extensible type system for component-based design,” in Tools and Algorithms For the Construction and Analysis of Systems, S. Graf and M. Schwartzbach, Eds., vol. 1785 of Notes in Computer Science, pp. 20–37, Springer, Berlin, Germany, 2000. View at Google Scholar
  17. J. Rehof and T. A. Mogensen, “Tractable constraints in finite semilattices,” Science of Computer Programming, vol. 35, no. 2-3, pp. 191–221, 1999. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus
  18. M. Bender and M. Farach-Colton, “The LCA problem revisited,” in LATIN 2000: Theoretical Informatics, pp. 88–94, 2000. View at Google Scholar
  19. G. Wagner, “Rule modeling and markup,” in Reasoning Web, N. Eisinger and J. Maluszynski, Eds., vol. 3564 of Lecture Notes in Computer Science, pp. 251–274, Springer, Berlin, 2005. View at Google Scholar
  20. A. Rector, N. Drummond, M. Horridge et al., “OWL pizzas: practical experience of teaching OWL-DL: common errors and common patterns,” in Engineering Knowledge in the Age of the Semantic Web, pp. 63–81, gbr, October 2004. View at Scopus
  21. B. McBride, Jena: Implementing the Rdf Model and Syntax Specification, 2001.
  22. E. Sirin, B. Parsia, B. C. Grau, A. Kalyanpur, and Y. Katz, “Pellet: a practical OWL-DL reasoner,” Web Semantics, vol. 5, no. 2, pp. 51–53, 2007. View at Publisher · View at Google Scholar · View at Scopus
  23. J. H. Gennari, M. A. Musen, R. W. Fergerson et al., “The evolution of protégé: an environment for knowledge-based systems development,” International Journal of Human-Computer Studies, vol. 58, no. 1, pp. 89–123, 2003. View at Google Scholar
  24. R. Wang, M. Zhou, L. Yin et al., “Modeling and validation of PLC-controlled systems: a case study,” in Proceedings of the 6th International Symposium on Theoretical Aspects of Software Engineering (TASE '12), pp. 161–166, IEEE, 2012.
  25. I. Horrocks, P. Patel-Schneider, H. Boley, S. Tabet, B. Grosof, and M. Dean, “SWRL: a semantic web rule language combining OWL and RuleML,” in W3C Member Submission, vol. 21, p. 79, 2004. View at Google Scholar