Interpretation Based Formal Methods and Future Challenges

Conceptual combination performs a fundamental role in creating the broad range of compound phrases utilized in everyday language. This article provides a novel probabilistic framework for assessing whether the semantics of conceptual combinations are compositional, and so can be considered as a function of the semantics of the constituent concepts, or not. While the systematicity and productivi...

The increasing dynamics and the continuous changes of business processes raise a challenge to the research and implementation of workflows. The significance of applying formal approaches to the modeling and analysis of workflows has been well recognized and many such approaches have been proposed. However, these approaches require users to master considerable knowledge of the particular formali...

A formal model (concepts and operations) for multiversion databases is presented. It is based on the DBV approach CJ90], which allows the management of entity versions within their context. The problem of reading and comparing complex object versions is presented. The model allows to better understand the potential of the DBV approach, and will be used as a framework for new multiversion functi...

This article considers the current problem of investigation the specific of specialized catalog of educational virtual communities. Peculiarities of catalogs of virtual communities are formed. This study provides a method of organization of catalog of virtual communities of educational direction. This method is based on a formal model of virtual communities as an environment of information acti...

Formal Methods have always been controversial. In spite of the fact that the disbelief about their usefulness has been corrected by a growing number of applications and even more publications, it remains a challenge to demonstrate the strengths and weaknesses of formal methods within the time constraints of a typical semester course. This article 1 reports on a new course at the University of A...

This paper describes an experiment in using formal methods in an industrial context. The goal is to use formal veriication techniques in order to alleviate the simulation and test activities. The application is a ight control computer of the Airbus A340.

This paper presents formal model of the distributed planning problem in dynamic, semi-trusted and opportunistic environment, suggest an abstract distributed planning architecture, and discusses also the various planning techniques to be further deployed.

Software development by formal methods involves an over whelming amount of technical and managerial detail Systematic organ isation of this information in a method s support environment is an im portant engineering concern In this paper we introduce a model for object organisation in software environments for formal methods with particular emphasis on easy construction modi cation review and re...

The first step in analyzing a problem is to establish a valid model that would represent this problem. The model helps mainly in understanding the problem by depicting it in a visual form. Hence, in order to analyze the reliability of mechatronic systems, we need to understand first how such systems fail and how they behave in the presence of a failure. This understanding would help us later in...