From semantic web to expressive software specifications: a modeling languages spectrum

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.

[1]  Mark Saaltink,et al.  The Z/EVES System , 1997, ZUM.

[2]  Daniel Jackson,et al.  Alcoa: the Alloy constraint analyzer , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[3]  H. Lan,et al.  SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .

[4]  Jin Song Dong,et al.  Formal Designs for Embedded and Hybrid Systems , 2005, Int. J. Softw. Eng. Knowl. Eng..

[5]  Wang Yi,et al.  Timed Patterns: TCOZ to Timed Automata , 2004, ICFEM.

[6]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[7]  Dan Brickley,et al.  Resource Description Framework (RDF) Model and Syntax Specification , 2002 .

[8]  Jin Song Dong,et al.  Timed Communicating Object Z , 2000, IEEE Trans. Software Eng..

[9]  Davide Sangiorgi,et al.  Communicating and Mobile Systems: the π-calculus, , 2000 .

[10]  Jin Song Dong,et al.  Verifying DAML+OIL and beyond in Z/EVES , 2004, Proceedings. 26th International Conference on Software Engineering.

[11]  Robin Milner,et al.  Communicating and mobile systems - the Pi-calculus , 1999 .

[12]  Roger Duke,et al.  Formal Object Oriented Specification Using Object-Z , 2000 .

[13]  Ian Horrocks The FaCT System , 1998, TABLEAUX.

[14]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[15]  Anneke Kleppe,et al.  The object constraint language: precise modeling with UML , 1998 .

[16]  Jim Woodcock,et al.  Using Z - specification, refinement, and proof , 1996, Prentice Hall international series in computer science.

[17]  James A. Hendler,et al.  The Semantic Web" in Scientific American , 2001 .

[18]  Jin Song Dong,et al.  Reasoning Support for SWRL-FOL Using Alloy , 2005, SEKE.

[19]  Cliff B. Jones,et al.  Systematic software development using VDM , 1986, Prentice Hall International Series in Computer Science.

[20]  Ian Horrocks,et al.  OWL Web Ontology Language Reference-W3C Recommen-dation , 2004 .

[21]  David Harel,et al.  On visual formalisms , 1988, CACM.

[22]  Daniel Jackson,et al.  Micromodels of software: lightweight modelling and analysis with Alloy , 2002 .

[23]  Jim Woodcock,et al.  The Semantics of Circus , 2002, ZB.

[24]  Jin Song Dong,et al.  Checking and Reasoning about Semantic Web through Alloy , 2003, FME.