This paper discusses the concept of model-driven software engineering applied to the Grid application domain. As an extension to this concept, the approach described here, attempts to combine both formal architecturecentric and model-driven paradigms. It is a commonly recognized statement that Grid systems have seldom been designed using formal techniques although from past experience such tech...

A large set of criteria to evaluate formal methods for reactive systems is presented. To make this set more comprehensible, it is structured according to a Concept-Model of formal methods. It is made clear that it is necessary to make the catalogue more speciic before applying it. Some of the steps needed to do so are explained. As an example the catalogue is applied within the context of the a...

Like other software engineering activities, formal modelling needs to deal with change: bugs and omissions need to be corrected, and changes from the outside need to be dealt with. In the context of axiomatic specifications and (partly) interactive proofs, the main obstacle is that changes invalidate proofs, which then need to be rebuilt using an inhibitive amount of resources. This thesis prop...

Nowadays, users are exposed to an overwhelming amount of information in several application domains. Recommender systems fight such an overload by selecting the products which are more appealing to each user, according to his personal preferences or needs. Current personalization techniques are based on more or less sophisticated syntactic methods which miss a lot of knowledge during the elabor...

Synthesis approaches involve deriving a program from a high-level speciication. This can be accomplished by using synthesis algorithms that are well adapted to a particular application domain. EEciency of synthesis algorithms may be demonstrated by experiments done in diierent settings. Such experiments help to bridge the gap between empirical practices and formal methods. We present an academi...

A domain-specific language (DSL) is a framework which is designed to precisely meet the needs of a particular application. Domain-specific languages exist for a variety of reasons. As productivity tools, they are used to make application prototyping and development faster and more robust in the presence of evolving requirements. Furthermore, by bridging the “semantic gap” between an application...

In the early euphoria associated with the launching of new internet-based businesses, most established traditional businesses felt compelled to respond by launching web-based retail outlets of their own. Stock market response to announcements of transactional web-site launches by business-to-consumer retail outlets are examined. Results provide support for theoretical predictions of the effect ...

Safety-Critical Java (SCJ) introduces a new programming paradigm for applications that must be certified. The SCJ specification (JSR 302) is an Open Group Standard, but it does not include verification techniques. Previous work has addressed verification for SCJ Level 1 programs. We support the much more complex SCJ Level 2 programs, which allows the programming of highly concurrent multiproces...

The aim of this paper is to present our model of a generic and exible negotiation service and its implementation in Computer Supported Collaborative Work (CSCW) environments. Users of a cooperative work environment naturally need negotiation support mechanisms in order to study possible alternatives during the establishment of common decisions. Each group decision member, through his/her role, ...

In many software application domains, constant evolution is the dominant problem, shaping both software design and the software process. Telecommunication software is the prototypical example of such an application domain. This paper examines how requirements engineering, formal description techniques, and formal methods should be adapted to work well in these application domains.