Til hovedinnhold
Norsk English

A Developer-Friendly Approach for the Validation of Dynamic Compositions

Sammendrag

A major challenge of dynamic composition is to find ways to model components and analyze their composition in order to guarantee that the composition is free from interaction errors and deadlocks. Existing techniques for validation typically require expert knowledge in formal modelling and reasoning, and do not lend themselves to be used at runtime. However, we find that a coarse-grained description of a composition can be sufficient to ensure the consistency of compositions and to detect potential deadlocks. Following our approach, developers with ordinary modelling skills are able to detect problems in composition at an early stage, and thereby design safe systems in an efficient manner. Moreover, the techniques can readily be applied at runtime.

Kategori

Vitenskapelig foredrag

Språk

Engelsk

Forfatter(e)

Institusjon(er)

  • SINTEF Digital / Software Engineering, Safety and Security
  • SINTEF Digital / Software and Service Innovation

Presentert på

6th Workshop on System Analysis and Modelling (SAM 2010)

Sted

Oslo, Norway

Dato

04.10.2010 - 05.10.2010

Arrangør

ACM, SIGSOFT, IEEE CS and the SDL Forum Society

År

2010

Eksterne ressurser

Vis denne publikasjonen hos Cristin