Peter's input
-------------
- rapidly growing and changing body of knowledge -> living guidelines
- electronic, interactive, adaptable of guidelines,
- use of background knowledge for protocol-support (e.g. ontologies)
- capture meaning of medical decision-making process
  (diagnosis/treatment/follow-up, etc)
- emperical research on usefulness of guidelines
- integrate formal methods into design
- assistance in structuring guidelines (= Silvia-2)
- formal verification of crucial fragments

Silvia's input
--------------
- living guidelines (rapid adaptation/updating of guidelines)
2 support for early modelling stages of protocol construction
- more tight integration between formal and informal protocols
- design patterns

Wolfgang's input
----------------
- move from feasability study to actual application
  - e.g. produce reference collection of high-quality verified guidelines
  - or: go for a protocol that protocol designers think are hard
- evolutionary/incremental verification of changing protocols,
  - regression verification,
  - delta verification
- explicit guideline-construction methodology
  - bring current guideline-construction methodology
  - software engineering <-> protocol engineering
- use of risk management techniques in protocols (e.g. in oncology)

Michael's input
---------------
- continued improvement of verification support
  - particularly for safety-criticial protocols
  - or for A1-recommendations in evidence-based protocols
- modular development of guidelines
  - related to: living guidelines
  - re-use of modules

Mar's input
-----------
- using use-cases for validation (critiquing)
- refinement of guidelines into protocols for localisation/indivuals
- ontology-based knowledge-extraction from medical documents
  to support protocol construction

Frank & Annette's input
-----------------------
- supporting design integrated with verification
  - e.g. design patterns (= modules ?)
  - e.g. more tight integration between formal and informal protocols
  - e.g. support for protocol configuration/adaptation/update of protocols
    (making site-specific, adaptation to individuals)

- Asbru specific proof support ("high level rules", heuristics,
translation)

- continued work based on critiquing:
  - test protocol compliance of experts
  - use expert behaviour to improve protocols