Keynote Speakers
Egon
Börger
(Università di Pisa, Italy)
| Title: | The Abstract State Machine System Design and Analysis Method: An Illustration by Modeling Workflow Patterns from First Principles | |
|---|---|---|
| Abstract: | We survey the basic ingredients of the Abstract State Machine
method and its applications for the design and the validation of
complex computer-based systems. We illustrate the method by the
definition of a small set of parameterized abstract models for
workflow patterns, starting from first principles for sequential and
distributed control. Appropriate instantiations yield the 43 workflow
patterns that have been listed recently by the Business Process
Modeling Center. The resulting structural classification of those patterns into eight basic categories, four for sequential and four for parallel workflows, provides a semantical foundation for a rational evaluation of workflow patterns. |
Enrico
Franconi
(Free University of Bozen-Bolzano, Italy)
| Title: | Conceptual Schemas and Ontologies for Database Access: Myths and Challenges. | |
|---|---|---|
| Abstract: | In the talk I will first argue that well-founded conceptual modelling and ontology design is required to support intelligent information access. Then, I will show which are the technical consequences of such choices, and how the foundational and computational problems to be faced are non-trivial. The arguments are based on the use of classical logics and description logics as a formal tools for the framework, and I will make use of languages and examples taken from the Entity-Relationship arena. |
Peter Hunter
(University of Auckland, New Zealand)
| Title: | Heart Modeling, Computational Physiology and the IUPS Physiome Project | |
|---|---|---|
| Abstract: | The Physiome Project of the International Union of Physiological
Sciences (IUPS) is attempting to provide a comprehensive framework
for modelling the human body using computational methods which can
incorporate the biochemistry, biophysics and anatomy of cells,
tissues and organs. A major goal of the project is to use
computational modelling to analyse integrative biological function in
terms of underlying structure and molecular mechanisms. To support
that goal the project is developing XML markup languages (CellML
& FieldML) for encoding models, and software tools for creating,
visualizing and executing these models. It is also establishing
web-accessible physiological databases dealing with model-related
data at the cell, tissue, organ and organ system levels. Two major
developments in current medicine are, on the one hand, the much
publicised genomics (and soon proteomics) revolution and, on the
other, the revolution in medical imaging in which the physiological
function of the human body can be studied with a plethora of imaging
devices such as MRI, CT, PET, ultrasound, electrical mapping, etc.
The challenge for the Physiome Project is to link these two
developments for an individual - to use complementary genomic and
medical imaging data, together with computational modelling tailored
to the anatomy, physiology and genetics of that individual, for
patient-specific diagnosis and treatment. The talk will describe, in particular, the development of the Auckland heart model and various applications by ABI researchers of other organ systems modelling in medical diagnostics, virtual surgery, surgical training and surgical planning. |
