Contract-based Internet Service Software Development: A Proposal

Pablo Giambiagi, Olaf Owe, Gerardo Schneider, Anders Peter Ravn

Publikation: Bog/antologi/afhandling/rapportRapportForskning


The fast evolution of the Internet has popularized service-oriented architectures dynamic IT-supported inter-business collaborations. Yet, interoperability between different organizations, requires contracts to reduce risks. Thus, high-level models of contracts are making their way into service-oriented architectures, but application developers are still left to their own devices when it comes to writing code that will comply with a contract. This paper surveys existing and proposes new language-based solutions to the above problem. Contracts are formalized as behavioral interfaces, and abstraction mechanisms may guide the developer in the production of contract-aware applications. We concentrate on contracts dealing with performance (real-time) and information flow (confidentiality).
UdgivelsesstedOslo, Norway
ForlagDepartment of Informatics, University of Oslo
ISBN (Trykt)8273682889
StatusUdgivet - 2006


  • software development

Fingeraftryk Dyk ned i forskningsemnerne om 'Contract-based Internet Service Software Development: A Proposal'. Sammen danner de et unikt fingeraftryk.