Communicating sequential processes
Communicating sequential processes
Systematic software development using VDM
Systematic software development using VDM
Communications of the ACM
Theoretical Computer Science
Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
IEEE Transactions on Software Engineering
Alcoa: the alloy constraint analyzer
Proceedings of the 22nd international conference on Software engineering
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
RACE User''s Guide and Reference Manual
RACE User''s Guide and Reference Manual
Verifying DAML+OIL and Beyond in Z/EVES
Proceedings of the 26th International Conference on Software Engineering
Leveraging Semantic Web technologies for business component specification
Web Semantics: Science, Services and Agents on the World Wide Web
| Hi-index | 0.00 |
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.