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...

Main decision-making problems can be described into choice, ranking or sorting of a set of alternatives or solutions. The principle of Electre TRI (ET) method is to sort alternatives ai according to criteria g j into categories Ch whose lower and upper limits are respectively bh and bh+1. The sorting procedure is based on the evaluations of outranking relations based firstly on calculation of p...

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...

ELECTRE TRI is a method designed to sort alternatives evaluated on several criteria into ordered categories. The original method uses limiting profiles. A recently introduced variant uses central profiles. We study the relations between these two variants. We do so by investigating if an ordered partition obtained with one variant can also be obtained by the other variant, after a suitable rede...

The ability of enterprise information systems, such as enterprise resource planning (ERP), manufacturing executive systems (MES) and customer relation management (CRM), to improve production and business performance are demanding more attention from enterprises, since increase in competitive advantages is a goal to be reached. Integration of all the information flowing through a company is a ke...

In ELECTRE methods, the construction of an outranking relation amounts at validating or invalidating, for any pair of alternatives (a; b), the assertion ‘‘a is at least as good as b’’. This comparison is grounded on the evaluation vectors of both alternatives, and on additional information concerning the decision maker s preferences, accounting for two conditions: concordance and non-discordanc...

. ABC analysis is one of the most widely used techniques in inventory management to classify items into three ordered categories called A, B and C, where category A contains the most important items and category C includes the least important ones. The ABC classification of inventory items is based on their performance expressed by weighted scores. In this paper, a new ABC classification model ...

In this thesis a method for risk classification in the information security domain is described. Using a set of classification examples, an ELECTRE TRI multi-criteria decision aid model is constructed. This model is capable of classifying organizations in risk classes based on company characteristics and results of technical assessment. The construction process of this model consisted of gather...

In this paper the authors carry out a multiple criteria evaluation of 40 characteristics of e-learning platforms, in order to find the most suitable to meet the needs of an e-learning course for higher schools with Agricultural and Forestry content. The evaluation data came from a Delphi survey method, where experts’ opinions are reflected. These data were introduced in ELECTRE III, a multi-cri...

Often decisions taken in organizations are made by a group of people, and in order to build a collective decision, the preferences of individuals must be considered. The two most useful approaches to aggregating individual preferences are the aggregation of individual judgments and the aggregation of individual priorities. This paper focuses on the latter approach and proposes a multicriteria g...