F. Monge. Formalisation du meta modele des methodes graphiques d'analyse et conception orientees objet. Master's thesis, Institut d'Informatique d'Entreprise, Conservatoire National des Arts et Metiers, Evry, September 1997.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....of formal methods support, and the increasing capacity of development support computers to manage the development process. The CEDRIC IIE work has already published a guideline based approach for deriving a formal speci cation of an IS (in B) from object oriented class and behavioural models[22, 21, 10, 11]. This allows the formal investigation (proof, etc) of the IS speci cation, but cannot guarantee either the correctness or the equivalence of the object oriented models. To permit fully rigorous IS speci cation, the modelling notations, as well as the existing translation rules, are being ....

....salary : NAT age : NAT Fig. 3. Example of an IS UML Entity Class Diagram 4.1 Illustration of UML to B Translation on an Example The rst four steps of the translation process are demonstrated for a simple system of employees and departments. Steps 2 to 4 employ our existing translation rules[22, 21, 10], as implemented by the prototype tool assistant. Step 1: Constructing the entity class diagram Figure 3 shows the entity class diagram for the example. There are two associations between the Employee and Department classes. Every employee worksIn exactly one department, and, in each department, ....

F. Monge. Formalisation du meta modele des methodes graphiques d'analyse et conception orientees objet. Master's thesis, Institut d'Informatique d'Entreprise, Conservatoire National des Arts et Metiers, Evry, September 1997.

....support tools to assist in the construction of formally correct IS speci cations, based on existing graphical notations. The group has already published its guideline based approach for deriving a formal speci cation of an IS (in the B notation[1] from object oriented class and behavioural models[2, 3, 4, 5, 6]. This allows the formal investigation (proof, etc) of the IS speci cation, but cannot guarantee either the 1 correctness or the equivalence of the object oriented models. To permit fully rigorous IS speci cation, the modelling notations, as well as the existing translation rules, need to be ....

F. Monge. Formalisation du meta modele des methodes graphiques d'analyse et conception orientees objet. Master's thesis, DEA IIE(CNAM)-University of Evry-INT, Evry, September 23 1997.

....of formal methods support, and the increasing capacity of development support computers to manage the development process. The CEDRIC IIE work has already published a guideline based approach for deriving a formal speci cation of an IS (in B) from object oriented class and behavioural models[22, 21, 10, 12]. This allows the formal investigation (proof, etc) of the IS speci cation, but cannot guarantee either the correctness or the equivalence of the object oriented models. To permit fully rigorous IS speci cation, the modelling notations, as well as the existing translation rules, are being ....

....es problems with the speci cation, the B and UML speci cations need to be modi ed accordingly. This is where traceability is a key issue. The rst four steps of the process are demonstrated for a simple system of employees and departments. Steps 2 to 4 employ our existing translation rules[22, 21, 10, 12] Step 1: Constructing the entity class diagram Figure 2 shows the entity class model for the example. There are two associations between the Employee and Department classes. Every employee worksIn exactly one department, and, in each department, exactly one employee is designated as the head of ....

F. Monge. Formalisation du meta modele des methodes graphiques d'analyse et conception orientees objet. Master's thesis, Institut d'Informatique d'Entreprise, Conservatoire National des Arts et Metiers, Evry, September 1997.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC