Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) (2007)
Sept. 10, 2007 to Sept. 14, 2007
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SEFM.2007.26
Radu Calinescu , University of Oxford
Steve Harris , University of Oxford
Jeremy Gibbons , University of Oxford
Jim Davies , University of Oxford
Igor Toujilov , University College Medical School
Sylvia B. Nagl , University College Medical School
It is a common phenomenon for research projects to collect and analyse valuable data using ad-hoc information systems. These costly-to-build systems are often composed of incompatible variants of the same modules, and record data in ways that prevent any meaningful result analysis across similar projects. We present a framework that uses a combination of formal methods, model-driven development and service-oriented architecture (SOA) technologies to automate the generation of data management systems for cancer clinical trial research, an area particularly affected by these problems. The SOA solution generated by the framework is based on an information model of a cancer clinical trial, and comprises components for both the collection and analysis of cancer research data, within and across clinical trial boundaries. While primarily targeted at cancer research, our approach is readily applicable to other areas for which a similar information model is available.
S. Harris, J. Gibbons, I. Toujilov, J. Davies, S. B. Nagl and R. Calinescu, "Model-driven architecture for cancer research," 2007 IEEE International Conference on Software Engineering and Formal Methods(SEFM), London, 2007, pp. 59-68.