The Electre language has been developed as a resuit of the expérience of the automatic control department in the implementation of the real time control applications. These applications consist of many tasks that are conditionally executed and interrupted according to some events 'occurences. We propose a language semantic and in particular that of its fundamental operators: parallelism of task...

Our work intends to verify reactive systems with event memorization speciied with the reactive language Electre. For this, we deene a particular behavioral model for Electre programs , Reactive Fiio Automata (RFAs), which is close to Fifo Automata. Intuitively, a RFA is the model of a reactive system which may store event occurrences that must not be immediately taken into account. We show that...

A number of recent papers have investigated the foundations of methods allowing to sort multi-attributed alternatives between several ordered categories. This paper has a similar objective. Our analysis uses a general conjoint measurement framework, encompassing most sorting models used in MDCM, that was proposed in the literature. Within this framework, we provide an axiomatic analysis of what...

In recent years, the problem of selecting and evaluating the suppliers in supply chain management has aroused considerable interest in business firms. Owing to the development of information systems, reaching an appropriate decision for adopting discrete methods is a need. The researchers intend to present a new model in this paper as a contributing factor in the grey environment in which the r...