De Nederlandse Vereniging voor Logica & Wijsbegeerte der Exacte Wetenschappen

De Nederlandse Vereniging voor Logica & Wijsbegeerte der Exacte Wetenschappen
Nl En

Symposium `Adaptive Languages for Information Systems'

Ism SIKS en ILLC. 14 maart 2003

Met lezingen door Alexander Verrijn-Stuart (Leiden) en Pieter Adriaans (Amsterdam).

Datum en tijd: 14 maart, 2003, 13:30 -- 15:30 hrs

Plaats: Zaal B2.28, B-gebouw, Roeterseilandcomplex, Amsterdam.

Alexander Verrijn-Stuart (Emeritus Leiden University) will talk about A Real Time Information System Language? ``Dynamic adaptation of system characteristics _and_ contents''

Abstract: The feasibility and requirements are investigated of description languages that provide a user domain friendly interface to information system generators (integrated software design tools) such that:

  1. Describing an organization will semi-automatically generate its systems, including their 'documentation' -- after appropriate assessment;
  2. A change in description will semi-automatically update such systems, including their contents ('system population') -- after similar assessment.

Capability (1) will achieve three things:

  • Responsibility for overall systems definition in hands of non-specialist users;
  • System consistency and requirement completeness;
  • System documentation consistent with system design.

Capability (2) will provide two further things:

  • Continuous, high-level 'information planning';
  • Avoidance -- to a large extent -- of costly parallel system test runs.

UML does much of this, but not all. A problem analysis -- not a final solution?

Pieter Adriaans (University of Amsterdam) will talk about Adaptive System Management.

Abstract: Adaptive System Management is the use of machine learning and data mining techniques to create self-learning models of the constantly changing IT-environment that allow us to predict the behavior of systems in the future and take timely automated remedial action to prevent system failure or decreased availability of the system. In this talk I will describe some of the concepts behind ASM and present some empirical tests.