Cristin-resultat-ID: 927282
Sist endret: 21. januar 2013, 09:00
NVI-rapporteringsår: 2012
Resultat
Vitenskapelig artikkel
2012

Delta-oriented Monitor Specification

Bidragsytere:
  • Eric Bodden
  • Kevin Falzon
  • Ka I Pun og
  • Volker Stolz

Tidsskrift

Lecture Notes in Computer Science (LNCS)
ISSN 0302-9743
e-ISSN 1611-3349
NVI-nivå 1

Om resultatet

Vitenskapelig artikkel
Publiseringsår: 2012
Volum: 7609
Sider: 162 - 177
Open Access

Importkilder

Scopus-ID: 2-s2.0-84868275919

Klassifisering

Vitenskapsdisipliner

Informasjons- og kommunikasjonsvitenskap

Beskrivelse Beskrivelse

Tittel

Delta-oriented Monitor Specification

Sammendrag

Delta-oriented programming allows software developers to define software product lines as variations of a common code base, where variations are expressed as so-called program deltas. Monitor-oriented programming (MOP) provides a mechanism to execute functionality based on the program's execution history; this is useful, e.g., for the purpose of runtime verification and for enforcing security policies. In this work we discuss how delta-oriented programming and MOP can benefit from each other in the Abstract Behavior Specification Language (ABS) through a new approach we call Delta-oriented Monitor Specification (DMS). We use deltas over monitor definitions to concisely capture protocol changes induced by feature combinations, and propose a notation to denote these deltas. In addition, we explore the design space for expressing runtime monitors as program deltas in ABS. A small case study shows that our approach successfully avoids code duplication in monitor specifications and that those specifications can evolve hand in hand with feature definitions.

Bidragsytere

Eric Bodden

  • Tilknyttet:
    Forfatter
    ved Technische Universität Darmstadt

Kevin Falzon

  • Tilknyttet:
    Forfatter
    ved Technische Universität Darmstadt

Ka I Pun

  • Tilknyttet:
    Forfatter
    ved Pålitelige systemer ved Universitetet i Oslo
Aktiv cristin-person

Volker Stolz

  • Tilknyttet:
    Forfatter
    ved Pålitelige systemer ved Universitetet i Oslo
  • Tilknyttet:
    Forfatter
    ved Universidade das Nações Unidas/Instituto internacional de Software e Tecnología
1 - 4 av 4