Please use this identifier to cite or link to this item:
|Title:||From semantic Web to expressive specifications: A modeling languages spectrum||Authors:||Dong, J.S.||Keywords:||Languages
|Issue Date:||2006||Citation:||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.
checked on Oct 14, 2019
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.