Service outsourcing is the business paradigm, in which an organization has part of its business process performed by a service provider. In dynamic markets, service providers are selected on the fly during process enactment. The cooperation between the parties is specified in a dynamically made electronic contract. This contract includes a process specification that is tailored towards service ...

Rule-based policy and contract systems have rarely been studied in terms of their software engineering properties. This is a serious omission, because in rule-based policy or contract representation languages rules are being used as a declarative programming language to formalize realworld decision logic and create IS production systems upon. This paper adopts a successful SE methodology, namel...

Abstract Modern engineering systems include many components of different types and functions. Verifying that these satisfy given specifications can be an arduous task, as most formal verification methods are limited to moderate size. Recently, contract theory has been proposed a modular framework for defining specifications. In this paper, we present discrete-time dynamical control relying on a...

Design by Contract, proposed by Meyer for the programming language Eiffel, is a technique that allows run-time checks of specification violation and their treatment during program execution. Jass, Java with assertions, is a Design by Contract extension for Java allowing to annotate Java programs with specifications in the form of assertions. The Jass tool is a pre-compiler that translates annot...

This research paper investigates whether ICE futures contracts are an effective and affordable strategy to manage price risk for Canadian commodity producers in recent periods of high price volatility. Long memory in volatility is found to be present in cash and futures prices for canola and western barley. This finding is incorporated into the hedging strategy by estimating hedge ratios using ...

Rule-based policy and contract systems have rarely been studied in terms of their software engineering properties. This is a serious omission, because in rule-based policy or contract representation languages rules are being used as a declarative programming language to formalize realworld decision logic and create IS production systems upon. This paper adopts a successful SE methodology, namel...

Good components need precise contracts. In the practice of Design by Contract, applications and libraries typically express, in their postconditions and class invariants, only a subset of the relevant properties. We present: – An approach to making these contract elements complete without extending the assertion language, by relying on “model classes” directly deduced from mathematical concepts...

Rule-based policy and contract systems have rarely been studied in terms of their software engineering properties. This is a serious omission, because in rule-based policy or contract representation languages rules are being used as a declarative programming language to formalize realworld decision logic and create IS production systems upon. This paper adopts a successful SE methodology, namel...

Design by contract (DBC) is among the most popular techniques that are taught in introductory programming courses aiming at helping students to learn how to construct correct and robust software. Although we recognize the important role played by formal design as supported by DBC techniques, we have experienced for several years the frustration of not being able to guide students in writing con...