@book{5cf3a2509fd611db8ed6000ea68e967b,
title = "Contract-based Internet Service Software Development: A Proposal",
abstract = "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).",
keywords = "software development, Web-services, Software architecture, software development",
author = "Pablo Giambiagi and Olaf Owe and Gerardo Schneider and Ravn, {Anders Peter}",
year = "2006",
language = "English",
isbn = "8273682889",
volume = "Report-UiO-333",
series = "Report-UiO",
number = "333",
publisher = "Department of Informatics, University of Oslo",
}