Please use this identifier to cite or link to this item: http://scholarbank.nus.edu.sg/handle/10635/40011
Title: From semantic Web to expressive specifications: A modeling languages spectrum
Authors: Dong, J.S. 
Keywords: Languages
Verification
Issue Date: 2006
Source: Dong, J.S. (2006). From semantic Web to expressive specifications: A modeling languages spectrum. Proceedings - International Conference on Software Engineering 2006 : 1063-1064. ScholarBank@NUS Repository.
Abstract: Many researchers at W3C currently focus on developing the next generation of the Web - the Semantic Web. The development of the Web ontology languages, RDF, OWL and SWRL, is reminiscent of the early development of system specification languages in software engineering communities. Indeed, from the expressiveness point of view, Web ontology languages are subsets of Alloy, UML/OCL, VDM, Z and Object-Z. One can futher predict that the modeling languages for capturing the behaviours of the Semantic Web Services and Agents can be drawn from the rich collections of software dynamic modeling techniques, i.e., state machines, process algebra and integrated design methods. This tutorial will present a concise Modeling Languages Spectrum that includes a few key representative modeling languages ranging from simple static Web Ontology modeling techniques to expressive dynamic integrated modeling techniques. Comparisons and transformations between those languages will be discussed. Furthermore, based on transformation approaches, the latest research results on applying software modeling techniques and tools to the Semantic Web domain will be also demonstrated. D.2.4 Software/Program Verification.
Source Title: Proceedings - International Conference on Software Engineering
URI: http://scholarbank.nus.edu.sg/handle/10635/40011
ISBN: 1595933751
ISSN: 02705257
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

Page view(s)

56
checked on Dec 16, 2017

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.