1 The Concept Coordination contracts [1,2] are a modelling primitive, based on methodologi-cal and mathematical principles [8,3], that facilitates the evolution of software systems. The use of coordination contracts encourages the separation of computation from coordination aspects, and the analysis of which are the " stable " and " unstable " entities of the system regarding evolution. Coordin...

This study investigated two major types of metadiscourse markers as used in typical sales contracts, written by English natives and Iranian non-natives. In so doing, 60 sales contracts were selected, 30 written by native English and 30 by Iranian non-natives. Based on Hyland and Tse’s taxonomy, the contracts were codified and classified in terms of the frequency and percentage of the interactiv...

E-Commerce enabled new ways of transactions. Companies and individuals negotiate and make contracts every day. Practically, contracts are agreements between parties that must be kept. These agreements affect the involved parties irretrievably. Hence, negotiating them efficiently is proved vital. To this end we propose the use of intelligent agents, which benefit from Semantic Web technologies, ...

Architecture description languages define component interfaces with sequential contracts, which allow for static analysis of method call sequences in component or service interactions. However, component and service platforms like OSGi for Java do not provide mechanisms for the specification or enforcement of such sequential contracts. Thus the contracts are only defined in the documentation wh...

This paper reports on the use of coordination contracts, presented at the previous two IWPSE workshops, in a project for a credit recovery company. We have designed and implemented a framework that allows users to define several business rules according to pre-defined parameters. However, some rules require changes to the services provided by the system. For these, we use coordination contracts...

The economic accuracy of accrual-based managerial performance measures is most essential for value added investment decisions in decentralised firms. Contemporary EVA-literature often lends support to annuity-based depreciation schedules for accomplishing congruence between capital budgeting criteria, like NPV, and accounting measures, like ROI and RI. This is incongruent with the principal age...

Contrary to the assumption that web browsers are designed to support the user, an examination of a 900,000 distinct PCs shows that web browsers comprise a complex ecosystem with millions of addons collaborating and competing with each other. It is possible for addons to "sneak in" through third party installations or to get "kicked out" by their competitors without user involvement. This study ...

We study insolvency cascades in an interbank system when banks are allowed to insure their loans with credit default swaps (CDS) sold by other banks. We show that, by properly shifting financial exposures from one institution to another, a CDS market can be designed to rewire the network of interbank exposures in a way that makes it more resilient to insolvency cascades. A regulator can use inf...

Although contract reparations have been extensively studied in the context of deontic logics, there is not much literature using reparations in automata-based deontic approaches. Contract automata are a recent approach to modelling the notion of contractbased interaction between different parties using synchronous composition. However, it lacks the notion of reparations for contract violations....

Run-time enforcement of behavioral contracts has been studied extensively in procedural and object-oriented languages. This research has led to a better understanding of specific techniques, including pre-processing compilers or wrappers. However, component-based software engineering (CBSE) imposes additional restrictions and it is appropriate to consider how to extend these techniques when the...