This paper presents a methodology for deriving business process descriptions based on terms in business contract. The aim is to assist process modellers in structuring collaborative interactions between parties, including their internal processes, to ensure contract-compliant behaviour. The methodology requires a formal model of contracts to facilitate process derivations and to form a basis fo...

We present a novel compiled approach to Normalisation by Evaluation (NBE) for ML-like languages. It supports efficient normalisation of open λ-terms with respect to β-reduction and rewrite rules. We have implemented NBE and show both a detailed formal model of our implementation and its verification in Isabelle. Finally we discuss how NBE is turned into a proof rule in Isabelle.

There are some application domains to which it appears intrinsically challenging to introduce the services offered by formal engineering methods. This paper is an evidence-based presentation that lightweight formal methods are effective in building realistic networked multiplayer games. The evidence is produced via a pilot study that uses Design-by-Contract, under realistic game development con...

OBJECTIVE To evaluate the technical competence of professionals carrying out activities related to contraceptive care. METHODS Evaluative research in the field of health was conducted in eight districts of the State of Ceara from July to September 2003. Data was collected by means of interviews with 29 nurses working in the Family Health Care Program within these districts and 50 people being...

We present a novel compiled approach to Normalization by Evaluation (NBE) for ML-like languages. It supports efficient normalization of open λ-terms w.r.t. β-reduction and rewrite rules. We have implemented NBE and show both a detailed formal model of our implementation and its verification in Isabelle. Finally we discuss how NBE is turned into a proof rule in Isabelle.

Consider the hypothetical situation of a society with virtually unconstrained storage and exchange of personal information and shameless exploitation thereof for decision making, for example in contract negotiation. In this paper we develop a stylised formal model to tackle the question if public knowledge about how exactly personal information is used in decision making changes aggregate behav...

This paper describes third aircraft model with 2 degrees of freedom. The aim of this study is to develop a mathematical model for investigation of adoptable landing gear vibration behavior and to design Proportional Integration Derivative (PID) classical techniques for control of active hydraulic nonlinear actuator. The parameters of controller and suspension system are adjusted according to be...

Abstract Background The current study describes the use of central composite design for multivariate optimization resolution and retention time, taking into account different critical method parameters like organic phase, pH, flow rate, wavelength risk assessment. chromatographic assay most effective anti-viral regimen (EPCLUSA, DARVONI, HARVONI) was developed. An experimental presented by sequ...

because the underlying physiology of pathological tremor in a parkinson's patient is not well understood, the existing physical and drug therapies have not been successful in tremor treatment. different mathematical modeling of such vibration has been introduced to investigate the problem and reduce the existing vibration. most of the models have represented the induced vibration as a sinusoida...