Workshop
Welcome
Foreword
General Information
Program
Speakers & Abstracts
Slides
Proceedings

Séance académique
Avant-propos
Conférenciers
Président de séance
Slides

Pictures of the event

With the kind support of

Communauté Française
de Belgique

From Craft to Science - Declarative Programming for Business-Critical eSystems
Michel VANDEN BOSSCHE, Administrateur-délégué, Mission Critical, Waterloo, Belgium

Michel VANDEN BOSSCHE-MARQUETTE is the founder and Chief Executive of Mission Critical s.a. (1993), an innovative company which focuses on consultancy in technology strategies and on the development of "0 defect" business-critical software systems using a software construction environment which leverages mathematical logic. Prior to that, he was co-founder of BIM (1975), a well regarded Belgian ICT company. He started his career at Wang (Europe and USA) after obtaining a Masters Degree in Physics.
M. VANDEN BOSSCHE-MARQUETTE has more than 30 years of experience in the IT industry. He directed many European R&D projects in the field of logic programming, conceptual modelling, natural language processing, multimedia human-computer interfaces, and temporal logic. His current R&D interests are ontologies, formal process coordination, and security. He personally conducted strategic IT consulting missions for large organizations such as ESA, SHAPE, The European Commission, France Telecom, bioMérieux and many public sector institutions. He has been the president of INSEA, the Belgian Informatics Services Association.
mvb@miscrit.be

Abstract
The Web Services paradigm raises the bar in terms of quality as business-critical eSystems are now being built by the composition of application service components constructed by somebody else. Such components must guarantee to do what they claim to do (the good things), not do what they should not do (the bad things), and the resources that they require must be under control. As a consequence, the current "try it and see" approach for software development is not good enough: a shift from craft to science is required, to ease the construction/evolution and the analysis of service components (and their assembly). A modern declarative language such as Mercury brings that fundamental objective of more science into the construction of business-critical software and services.