Abstract This chapter evaluates the research-based interventions from a practice perspective. The value that chosen and applied measures add to communication of financial analysts is discussed for levels organisation, domain, society at large.

Modern cryptocurrency systems, such as Ethereum, permit complex financial transactions through scripts called smart contracts. These smart contracts are executed many, many times, always without real concurrency. First, all smart contracts are serially executed by miners before appending them to the blockchain. Later, those contracts are serially re-executed by validators to verify that the sma...

Visual contracts provide a diagrammatic notation for preand postconditions as alternative to the Object-Constraint Language (OCL) or code-level contract languages. Using visual contracts for testing, we benefit from their executability and formal background in graph transformation to provide model-based test oracles and coverage criteria. Based on a static analysis of their dependencies and con...

The paper proposes an approach to light-weight formal specification for interfaces, connectors, contracts and integration of component systems based on UML 2.0 superstructure. Both of static and dynamic contracts are provided with formal models. Dynamic contract can be verified through finding a legal environment in an optimistical way for the integrated components, whose contracts are depicted...

Modeling the dependencies between provided and required services within a software component is necessary for several reasons, such as automated component adaptation and architectural dependency analysis. Parametric contracts for software components specify such dependencies and were successfully used for automated protocol adaptation and quality of service prediction. In this paper, a novel mo...

Currently, rich and diverse data types have been increasingly provided using the dataasa-service (DaaS) model, a form of cloud computing services and the core element of data marketplaces. This facilitates the on-the-fly data composition and utilisation for several dataintensive applications in e-science and business domains. However, data offered by DaaS are constrained by several data concern...

We establish a relation between two models of contracts: binary session types, and a model based on event structures and game-theoretic notions. In particular, we show that compliance in session types corresponds to the existence of certain winning strategies in game-based contracts.

April 1, 2004 version) Software contracts help programmers enforce program properties that the language’s type system cannot express. Unlike types, contracts are (usually) enforced at run-time. When a contract fails, the contract system signals an error. Beyond such errors, contracts should have no other observable (functional) effect on the program’s results. In most implementations, however, ...

In this paper, the authors develop a comprehensive framework for QoS management based on soft probabilistic contracts. The authors approach also encompasses general QoS parameters, with “response time” as a particular case. In addition, the authors support composite QoS parameters, for example, combining timing aspects with “quality of data” or security level. They also study contract compositi...