The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Ontology oriented programming in go!
Applied Intelligence
YAWL: yet another workflow language
Information Systems
Pellet: A practical OWL-DL reasoner
Web Semantics: Science, Services and Agents on the World Wide Web
A domain-specific language for the model-driven construction of advanced web-based dialogs
Proceedings of the 17th international conference on World Wide Web
A Time Management Method in Workflow Management System
GPC '09 Proceedings of the 2009 Workshops at the Grid and Pervasive Computing Conference
Scientific workflow: a survey and research directions
PPAM'07 Proceedings of the 7th international conference on Parallel processing and applied mathematics
Proceedings of the 1st ACM International Health Informatics Symposium
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Modeling and verifying timed compensable workflows and an application to health care
FMICS'11 Proceedings of the 16th international conference on Formal methods for industrial critical systems
NOVA workflow: a workflow management tool targeting health services delivery
FHIES'11 Proceedings of the First international conference on Foundations of Health Informatics Engineering and Systems
Hi-index | 0.00 |
In MDE, software systems are always synchronized with their models since changes are made first to the model whenever there are changes in the requirement specifications. While MDE has a lot of potential, it requires maturity and tool support. In this research we present a framework for a workflow management system based on the MDE approach. We propose a domain specific language, T□ (T-Square) for rapidly specifying details of (workflow) tasks and their associated user interfaces which may be used with the NOVA Workflow, an executable workflow management system. T□ includes syntax for writing procedural statements, for querying an ontology, for declaring user interfaces, for applying access control policy, and for scheduling tasks, using Xtext to write the grammar. We apply transformation methods, based on Xtend, to generate executable software from the abstract task specifications. A running example from health services delivery illustrates the usefulness of this approach.