Abstract
Healthcare research data is typically produced, curated, and used by scientists, physicians, and other experts that have little or no professional affinity to programming and IT system design. In the context of evidence-based medicine or translational medicine, however the production, reliability, and long term availability of high quality and high assurance data is of paramount importance. In this paper we reflect on the data management needs we encountered in our experience as associated partners of a large interdisciplinary research project coordinated at the Cancer Metabolism Research Group, Institute of Biomedical Sciences at University of S˜ao Paulo in Brazil. Their research project involves extensive collection of detailed sample data within a complicated environment of clinical and research methods, medical, assessment, and measurement equipment and the regulatory requirements of maintaining privacy, data quality and security.
We use this example as an illustrative case of a category of needs and a diversity of professional and skills profiles that is representative of what happens today in any large scale research endeavor. We derive a catalogue of requirements that an IT system for the definition and management of data and processes should have, how this relates to the IT development and XMDD philosophy, and we briefly sketch how the DyWA + jABC combination provides a foundation for meeting those needs.
Original language | English |
---|---|
Title of host publication | Leveraging Applications of Formal Methods, Verification and Validation - SpecializedTechniques andApplications - 6th International Symposium, ISoLA 2014, Proceedings |
Editors | Tiziana Margaria, Tiziana Margaria, Bernhard Steffen |
Publisher | Springer Verlag |
Pages | 526-544 |
Number of pages | 19 |
ISBN (Electronic) | 9783662452301 |
DOIs | |
Publication status | Published - 2014 |
Externally published | Yes |
Event | 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014 - Imperial, Corfu, Greece Duration: 8 Oct 2014 → 11 Oct 2014 |
Publication series
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 8803 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014 |
---|---|
Country/Territory | Greece |
City | Imperial, Corfu |
Period | 8/10/14 → 11/10/14 |