This paper discusses how model checking, a technique used for the verification of behavioural requirements of dynamic systems, can be usefully deployed for the verification of contracts. A process view of agreements between parties is taken, whereby a contract is modelled as it evolves over time in terms of actions or more generally events that effect changes in its state. Modelling is done wit...

One influential approach to assessing the"goodness"of arguments is offered by the Pragma-Dialectical school (p-d) (Eemeren&Grootendorst 1992). This can be compared with Rhetorical Structure Theory (RST) (Mann&Thompson 1988), an approach that originates in discourse analysis. In p-d terms an argument is good if it avoids committing a fallacy, whereas in RST terms an argument is good if it is coh...

The need to use position-dependent parameters often hampers the definition of flexible, extensible, and reusable abstractions for software composition. This observation has led us to explore the concept of forms, which are first-class extensible records and that, in combination with a small set of purely asymmetric operators, provide a core language to address this issue. One interesting applic...

Small firms are thought to encounter various difficulties implementing strategic alliances. Due to these problems, they may be less able to reap the benefits of alliance adaptation, and the changes that occur in alliances over time often will not coincide with the small firm’s interests. The evidence we present on contractual renegotiations in alliances suggests that small firms are no more or ...

In this position paper we discuss the issue of enforcing access policies in distributed environments where there is no central system designer/administrator, and consequently no guarantee that policies will be properly implemented by all components of the system. We argue that existing access control models, which are based on the concepts of permission and prohibition, need to be extended with...

Maintenance outsourcing is a strategic driver for asset intensive industries pursuing to enhance supply chain performance. Spare parts management plays a relevant role in this premise since its significant impact on equipment availability, and hence on business success. Designing critical spares policies might therefore seriously affect maintenance contracts profitability, yet service receivers...

espanolEste articulo estudia el reconocimiento al usuario de un derecho cancelacion (contractual, unilateral y ad nutum) la reserva alojamiento turistico. Esta posibilidad se ha convertido en practica medio idoneo para arbitrar una solucion razonable, clara rapida ante posibles dificultades o nuevos intereses del surgidos con posterioridad contrato. El ejercicio este derecho, que producira exti...

For a long time research on the management of IS outsourcing projects viewed relational and contractual governance as substitutes. However, subsequent studies provided empirical evidence for the complementary view. Recently, some authors supported the notion that relational and contractual governance mechanisms can simultaneously be complements and substitutes. Given these inconsistencies the q...

the rule of necessity to respect the principle of good faith in performance of the contract is the result of :union: rights and ethics. good faith in performance of the contract with subjective and objective criteria and using cost-benefit analysis, wealth maximization, game theory, efficiency and welfare standards, leading to the achievement of the objectives set by the parties of contract. la...