Abstract - XML-based Static Type Checking and Dynamic Visualization for TCOZ

» Abstract - A Combined Approach to Checking Web Ontologies
» Abstract - A Scale-Out RDF Molecule Store for Distributed Processing of Biomedical Data
» Abstract - A Semantic Web Approach to Feature Modeling and Verification
» Abstract - A Tools Environment for Developing and Reasoning About Ontologies
» Abstract - A Z Approach in Validating ORA-SS Data Models
» Abstract - Belief-augmented OWL (BOWL) - Engineering the Semantic Web with Beliefs
» Abstract - BioMANTA Ontology: The Integration of Protein-Protein Interaction Data
» Abstract - Enhancing Semantic Web Services with Inheritance
» Abstract - Formal Semantics and Verification for Feature Modeling
» Abstract - Institution Morphisms for Relating OWL and Z
» Abstract - Reasoning about ORA-SS Data Models using the Semantic Web
» Abstract - Research into Verifying Semistructured Data
» Abstract - Scalable Semantics - the Silver Lining of Cloud Computing
» Abstract - Semantic Web Languages - Towards an Institutional Perspective
» Abstract - Soundness Proof of Z Semantics of OWL Using Institutions
» Abstract - TCOZ Approach to OWL-S Process Model Design
» Abstract - TCOZ Approach to Semantic Web Service Design
» Abstract - The BioMANTA Ontology: Integration of Protein-Protein Interaction Data
» Abstract - Validating Semistructured Data using OWL
» Abstract - Verify Feature Models using Prot¨¦g¨¦-OWL
» Abstract - Verifying DAML+OIL and Beyond in Z/EVES
» Abstract - Verifying Feature Models Using OWL
» Abstract - Verifying OWL and ORL Ontologies in PVS
» Abstract - Visualizing and Simulating Semantic Web Services Ontologies
» Abstract - XML-based Static Type Checking and Dynamic Visualization for TCOZ

QUICK LINKS
	ITEE Public Web
	Student IT Help
	ITEE Internal Web
	Staff IT Help

	Abstract - XML-based Static Type Checking and Dynamic Visualization for TCOZ

Timed Communicating Object Z(TCOZ) combinesObject-Z's strengths in modelling complex data and state with TCSP's strengths in modeling real-time concurrency. Based on our previous work on the XML environment forTCOZ, this paper firstly demonstrates the development of a type checker for detecting static semantic errors of the TCOZspecification, then illustrates a transformation tool to automatically project TCOZ models into UML statechart diagrams for visualising the dynamic system behaviour.

privacy | feedback