skip to main content
Idioma:
Tipo de recurso Mostra resultados com: Mostra resultados com: Índice

A Contract-Oriented Middleware

Bartoletti, Massimo ; Cimoli, Tiziana ; Murgia, Maurizio ; Podda, Alessandro Sebastian ; Pompianu, Livio

Formal Aspects of Component Software, 2016, Vol.9539, p.86-104 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
  • Título:
    A Contract-Oriented Middleware
  • Autor: Bartoletti, Massimo ; Cimoli, Tiziana ; Murgia, Maurizio ; Podda, Alessandro Sebastian ; Pompianu, Livio
  • Assuntos: Behavioural Contract ; Latent Contract ; Live Sequence Chart ; Reputation System ; Runtime Monitoring ; Software Engineering
  • É parte de: Formal Aspects of Component Software, 2016, Vol.9539, p.86-104
  • Descrição: Developing distributed applications typically requires to integrate new code with legacy third-party services, e.g., e-commerce facilities, maps, etc. These services cannot always be assumed to smoothly collaborate with each other; rather, they live in a “wild” environment where they must compete for resources, and possibly diverge from the expected behaviour if they find it convenient to do so. To overcome these issues, some recent works have proposed to discipline the interaction of mutually distrusting services through behavioural contracts. The idea is a dynamic composition, where only those services with compliant contracts can establish sessions through which they interact. Compliance between contracts guarantees that, if services behave honestly, they will enjoy safe interactions. We exploit a theory of timed behavioural contracts to formalise, design and implement a message-oriented middleware where distributed services can be dynamically composed, and their interaction monitored to detect contract violations. We show that the middleware allows to reduce the complexity of developing distributed applications, by relieving programmers from the need to explicitly deal with the misbehaviour of external services.
  • Títulos relacionados: Lecture Notes in Computer Science
  • Editor: Switzerland: Springer International Publishing AG
  • Idioma: Inglês
Voltar para lista de resultados
Ir para página anteriorAnterior Resultado  2 AvançarIr para próxima página

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.