Model Editor
Contents
1. Reminder The table showing the global status of the project comprises the following information column 1 shows the name of the project component column 2 shows a Type Checker execution indicator column 3 shows a Generating proof obligations execution indicator column 4 shows the number of trivial proofs column 5 shows the total number of proofs excluding trivial proofs column 6 shows the number of proofs excluding trivial proofs that are not proven USING THE PROGRAM e column 7 shows the percentage of proofs excluding trivial proofs that are proven e column 8 shows the name BO Checker execution indicator The table showing the status of a project component The status object is used to include in the project document model the table that represents the status of a project component For example the table showing the status of the 1ittle_example component in the simple document project object status little_exemple is translated in the project document by NbObv NbPO NbPR Pr Initialisation 0 1 1 100 enter 5 0 maximum 2 0 little example 7 1 1 100 Reminder The table showing the status of a project component is made up as follows column 2 shows the number of trivial proofs column 1 shows the name of the component operation the last line gives the totals of the above columns column 3 shows the total number of proofs excluding trivial proofs2. Author Martin gt gt title 3 H trique E status little _example Date Juin 1996 gt gt title 3 R gles ajout es a la B file home PROJET LITTLE_ Table of contents gt gt title 3 Source B B file home PROJET LITTLE_ Output formats Latex Q Inter leaf gt gt Sie 2 sant Daemen O Create Q Show Print gt gt title 3 Pr sentation paragraph Le composant trait Printer Name SPARCprinter gt gt title 3 H trique status little_example_1 Q All the Pages gt gt title 3 R gles ajout es a la Some Pages from E B file home PROJET LITTLE_ gt gt title 3 Source B Figure 4 2 Model editor commands Including a PostScript file The include PS type object is used to include PostScript files into the project document model In the simple document the include PS LITTLE_EXAMPLE ps object is translated into the project document by inclusion the dependency graph for the project generated using the veg tool 4 2 Presenting the Various Model Editor Commands Various types of commands allow the handling of Model Editor objects Some commands are used for printing or displaying objects Others serve for file management The latter serve to create the project document refer to figure HJ 4 2 1 Edit Commands Commands for adding an object The commands for adding an object in the Model editor are Append and Insert The following usage mode applies e select an object from the list
3. e select the seventh object from the list click on the Modify button in the Edit menu gt the Modify an object window is displayed double click on the little_example mch file in the Files list gt the Modify an object window is closed and the object is added to the list in the Model Editor window 14 Saving the model click on the Save button in the File menu gt the Save a model window is displayed click on the OK to validate the save gt the Save a model window is closed and the LITTLE_EXAMPLE mdl file is saved 15 Quitting the application click on the Quit button in the File menu gt a confirm window is displayed click on the OK button to confirm quitting gt the Model Editor window is closed and the Project components window is displayed click on the Quit Project button gt the Project components window is closed and the Atelier B project win dow is displayed click on the Quit Environment button gt a confirm window is displayed click on the OK button to confirm quitting USING THE PROGRAM 17 4 Using the Program 4 1 Presentation of the Various Objects Handled by the Model Editor A number of objects enable building a project documentation model Some are used to make up the document s page layout such as titles and page breaks Others comprise data relating to the project being processes such as cross references speci
4. except if the list is empty e click on the Append or Insert button in the Edit menu USING THE PROGRAM 23 or place the cursor on the list and type Control A or Control I e fill in the add modification window e validate the addition The object is added to the list after the selected object when the Append command is used and before it when the Insert command is used The object modification command The command used to modify an object in the Model editor is Modify It is used as follows e select an object from the list e click on the Modify button in the Edit menu or place the cursor on the list and press Control M e modify the parameters of the add modification window e validate the modification The modified object replaces the selected object in the list The object delete command The command used to delete objects from the Model editor is Cut It is used as follows e select one or more objects from the list e click on the Cut button in the Edit menu or place the cursor on the list and press Control X The selected objects are deleted from the list and stored they can then be called back using the Paste Before and Paste After commands Adding object commands The commands that can be used to add an object to the Model editor are Paste Before and Paste After They are used as follows e select an object from the list except when the list is empty e click on the Before or After button in the
5. gt the Loading a model window disappears and the file listed above is loaded in the Model Editor window 3 Modify the content of the free form text of the first paragraph select the second object in the list click on the Modify button in the Edit menu gt the Object modification window is displayed replace the contents of the Value of macro data entry field with the following text for example This document presents data on the LITTLE_EXAMPLE project The project is built with the following components little_example mch little_example_1 ref little_example_3 imp main_ltx mch Main_1tx_1 imp click on the OK button to validate the modification gt the Modify an object window is closed and the object is modified in the list 4 Add the title of the first paragraph click on the Append item in the Edit menu gt the Add an object window is displayed fill in the Value of macro field with the following text Dependency graph click on the OK button to validate the addition gt The Add an object window is closed and the object is added to the list in the Model Editor window 5 Add the PostScript file that contains the project dependency graph click on the Append button in the Edit menu gt the Add an object window is displayed click on the Macro menu button choose include PS gt the menu is updated double click on the LITTLE_EXAMPL
6. select the fifth object in the list click on the Append button in the Edit menu gt the Add an object window is displayed click on the Macro menu button choose title 2 gt the menu button is updated fill in the Value of macro field with the following text Specification of the little_example mch component click on the OK button to validate the correction gt the Add an object window is closed and the object is added to the list in the Model Editor window 12 Correct the level of the second sub paragraph select the eight object in the list click on the Cut button in the Edit menu to delete the object gt the selected object is deleted from the list select the sixth object from the list click on the Copy button in the Edit menu to store the object select the eight object from the list click on the Before button in the Paste sub menu in the Edit menu gt the stored object is inserted into the list select the eight object from the list click on the Modify button in the Edit gt the Modify an object is displayed replace the contents of the Value of macro field with the following text Metric for the little_example mch component 16 Model Editor User Manual e click on the OK button to validate the modification gt the Add an object window is closed and the object is added to the list in the Model Editor window 13 Correcting the error from step 7
7. Interface ATEX Document composition method Interleaf Software used to manage and create documents Documentor An Atelier B tool used to generate project documentation from a document model 34 Model Editor User Manual LITTLE EXAMPLE PROJECT DOCUMENTATION 35 A LITTLE EXAMPLE Project Documentation
8. To avoid having a first page in the generated project document It is used as follows e de select the First page radio button The table of contents The project document may be generated with a table of contents It is used as follows e select the Table of contents radio button To avoid having a table of contents in the project generated It is used as follows e de select the Table of contents radio button Warning Interleaf does not allow automatically generating a table of contents The file management window The files management window is used to choose a file refer to figure H J It is called up by the following commands Load Save Create model or Document Initialization Depending on the command used to call up the file management window the initializations procedures differ e For the Load function the Directory name field is initialized with the path to the current project data base and the File name field is initialized with the file name lt project_name gt mdl e For the Save function the Directory name field is initialized with the path to the file loaded and the File name file is initialized with the name of the loaded file e For the Create model function the Directory name field is initialized with the lt atelierB gt press lib bdoc path and the File name field is initialized with the modele mdl file name For the Document function the Directory name field is initialized with the path to th
9. column 4 shows the total number of proofs excluding trivial proofs proven column 5 shows the percentage of proofs excluding trivial proofs that are proven 20 Model Editor User Manual Cross References The dictionary type object is used to include in the project document model the project s cross references For example the project cross references for the simple document project are translated in the project document by ee Bree BASIC_ARITHMETIC machine used in main_ltx_1 IMPORTS BASIC_IO machine used in main ltx 1 IMPORTS ZZ variable defined in little example_l used in little example_1 INVARIANT used in little example 1 enter used in little example_ 1 maximum used in little example_3 INVARIANT modified in littleexample_1 INITIALISATION modified in littleexample_1 enter Reminder The cross references list in alphabetical order the identifiers variable opera tion machine for all project components For each identifier the tool shows e components that define it e components that use it e components that modify it In the latter two cases the tool shows e in which clause the identifier is used or modified e in which operation the identifier is used or modified USING THE PROGRAM 21 B sources The 8 file and Normalized B file type objects serve to include in the project document model the B source of a project component or the sources of rules added
10. dictionary gt the menu button is updated click on the OK button to validate the addition made gt the add an object window is closed and the object is added to the list in the Model Editor window 7 Save the model click on the Save button in the File menu gt the Save a model window is displayed click on the OK button to validate the save gt the save a model window is closed and the LITTLE_EXAMPLE mdl file is created in the project data base directory 10 Model Editor User Manual 8 Create and display the ATEX document click on the Document button gt the create a document window is displayed click on the OK button to validate the document display gt the create a document window is displayed and a watch cursor is displayed in the Model Editor window until the LITTLE_EXAMPLE tex file is created in the project data base directory 9 Display the result Xdvi tool gt the Xdvi window containing the created document is displayed 10 Quitting the application click on the Quit button in the File menu gt a confirm window is displayed click on the OK button to confirm quitting gt the Model Editor window is closed and the Project components window is displayed click on the Quit Project button gt the project components window is closed and the Atelier B project win dow is displayed click on the Quit En
11. interpreted according to the information that makes up the B project processed The pre defined basic model therefore becomes a documen tation model for the processed B project As its output the Model Editor produces a documentation model file By default the name proposed for the file is lt project name gt mdl and the file host directory is the data base for the processed project The user may change the name of the file to produce 2 4 2 Documentation Model Modification Service To modify a B project documentation model file simply choose as the Model Editor input a model file created using the previous service The Model Editor then provides a set of functions that allow the user to modify their model e Adding deleting chapters or data from the B project processed e Modifying chapters or data in the B project processed The output from the Model Editor produces a documentation model file The default file name is the name of the input file The user may change or retain the file name proposed 2 4 3 Document Creation Service To create a project document simply chose as the input to the Model Editor a documenta tion model for the B project processed created or modified using the previously described services The output from the Model Editor produces a file that contains the project document in the internal format used by the word processor ATFX or Interleaf The name of the file produced is by default lt project na
12. required project documentation The Model Editor is supplied with a set of pre defined documentation models These models are described in the section 2 2 Operating Environment The Model Editor program is part of the project documentation tools It is directly integrated into Atelier B The operating environment of the Model Editor program is identical to that of Atelier B In order to simplify the use of the program it is necessary to install pre defined basic mod els These models will allow a novice user to easily create their first project documentation models Model Editor User Manual 2 3 Description of Pre defined Models These pre defined basic models are installed in the following directory lt Atelier B directory gt AB press lib bdoc and are as follows modele_vide mdl this model only contains a title page with as its title the name of the B project being processed modele_sources mdl this model contains a cover page For each B project component processed A chapter containing the B source of the component The mathematical for mulas are shown in a font that is easily understood by any mathematician It also contains a table of contents modele_sources_norm mdl this model is identical to the previous one except that the B source does not retain its original presentation modele_preuves mdl this model contains a title page For each B project component processed a chapter cont
13. to choose a project the projects components window is displayed Model Editor User Manual ial Model editor edited File wait View Het Model home PROJET LITTLE_EXAMPLE bdp LITTLE_EXAMPLE md1 gt gt title 1 Introduction paragraph Ce document pr sente gt gt title 1 R f rences crois es Title LITTLE_EXAMPLE dictionary First page O Sub title Documentation de projet Author Martin Date Puin 1996 Table of contents _ Output formats lt gt Latex Q Interleaf Document lt y Create Show lt gt Print Document Figure 3 1 Simple document e click on the Model editor button in theDocument menu or place the cursor on the list and press Control M gt the Model Editor window is shown but shaded and the projects compo nents window is iconized 2 Create a model from a blank basic model e click on the Create model button in the File menu gt the load a model window is displayed e in the Files list double click on the modele_vide mdl file gt the load a model window is closed and the Model Editor window is no longer shaded 3 Adding the title of the first paragraph e click on the Append button in the Edit menu gt the add an object window is displayed e fill in the Value of macro field with the following text Introduction e click on the OK button to validate the addit
14. to the proof of a project component For example e the B source of the main_1tx mch component in the simple document object name B file main_1tx mch is translated in the project document as MACHINE main_ltx OPERATIONS main skip END In this case the user presentation is retained e the B source for component main_1tx mch in the simple document object Normalized B file main_1tx mch is translated into the project docu ment as MACHINE main_ltx OPERATIONS main skip END In this case the user presentation is standardized 4 1 3 Various Information Including free form text The paragraph and include text type objects are used to include free form text in the project document model For example e free form text from a simple document file the include text little_example txt object is translated into the project doc ument by including the contents of the file as is into the document e newly entered free form text the paragraph object is translated into the project document by including into the document any text entered 22 Model Editor User Manual Model editor edited mile wait View Model home PROJET LITTLE_EXAMPLE bdp LITTLE_EXAMPLE md1 title 2 M trique First page O global status E gt gt title 1 DESCRIPTION DES COMP Title LITTLE_EXAMPLE En cae Sub title Documentation de projet paragraph Le composant trait
15. 0 BRZI 6 44 gi be ee os 5 ee ae 8 eh GATS 3 10 PUTPOSG a so be Sw ee ee 8 63 9 5 9 2 n a 11 O Op o MOda aopa e a ca e cs a HS 8 11 4 Using Prog 17 4 Presentation of the Various Objects Handled by the Model Editor 17 4 1 Objects Used for the Page Layout 17 4 1 Project Related Information 000 0834 17 iv Model Editor User Manual NANA 8 ove ee ee Pee ee ER ee eS 21 Presenting the Various Model Editor Commands 22 AZI Edit Commandg g 6 2 oid 8 8 a 8 5 RR oR ES 22 1 Disp E 8 6 9 5 g 24 4 2 116 Management 8008 eee 25 EZ Document creation command 2 6 665 8 85 5 1 26 425 6 3 060 5 010 0 0 8 27 A X AMP Project Documentatio 35 LIST OF FIGURES v List of Figures D 11111316 document 5 5 6 5 Hoek ee a ew a ee at G 8 D Vlore complex date 11 1 Objects handled by the Model Editoy 18 42 Model editor commandg 22 1 ile management 0101 29 vi Model Editor User Manual DESCRIPTION OF THE MANUAL 1 1 Description of the Manual 1 1 Scope This user s manual applies to the Model Editor program version V3 5 4 The purpose of this user s manual is to make the require
16. Atelier B Model Editor User Manual version 3 1 EER A CLEARS Y SYSTEM ENGINEERING ATELIER B Model Editor User Manual version 3 1 Document made by CLEARSY This document is the property of CLEARSY and shall not be copied duplicated or distributed partially or totally without prior written consent All products names are trademarks of their respective authors CLEARSY ATELIER B Maintenance Europarc de PICHAURY 1330 Av J R Guilibert Gauthier de la Lauziere Bat C2 13856 Aix en Provence Cedex 3 France Tel 33 0 4 42 37 12 99 Fax 33 0 4 42 37 12 71 Email maintenance atelierbQclearsy com CONTENTS iii Contents Description o e Manual 1 DG iia A A ae oe Ee A 1 P K AEA a a a ee i dh BB a Se ee 1 L3 Overview ofthe PA EE See Dee Se ere eS 1 L4 How to Use this Manuel er en Be ee ee ee 1 1 eara ee e IO a ee ge 2 3 BI MSO sece apia aae ee a ee G 3 2 Operating Environment ooa aa a ee 3 2 Description of Pre defined 10068 4 5 5 5 5 3 Operating Scenario 7 p reating a Simple Document 7 1 1 1 9 1 1191 6 6h 6S 6 6d EE CASE SSeS RHE SERRE 7 3 Purpose scos a a a e a RS SR 7 3 Op e Moda ls Serag e da el a a eee So A em Sok 7 5 reating a More Complex 130 1
17. E ps file in the Files list gt the Add an object window is closed and the object is added to the list in the Model Editor window 14 Model Editor User Manual 6 Add the title of the first sub paragraph A deliberate mistake is made A paragraph title is added in place of a sub paragraph title e click on the Append button in the Edit menu gt the Add an object window is displayed e fill in the Value of macro field with the following text Specifications of the little_example mch component e click on the OK button to validate the addition gt the Add an object window is closed and the object is added to the list in the Model Editor window 7 Add the B source for the component little_example mch A deliberate entry error is made The main_1tx mch file is added in place of the little_example mch file e click on the Append button in the Edit menu gt the Add an object window is displayed e click on the Macro menu button choose B file gt the menu button is updated e move to the project specifications directory e double click on the main_1tx mch file that is in the Files list gt the Add an object window is closed and the object is added to the list in the Model Editor window 8 Add the title of the second sub paragraph A deliberate entry error is made and a paragraph title is added instead of a sub paragraph title e click on the Append button i
18. Paste sub menu of the Edit menu or place the cursor on the list and press Control T or Control D Objects are added to the list after the selected object when the Paste After command is used and before when the Paste Before command is used Objects are only added if there are objects in memory Cut or Copy command used first 24 Model Editor User Manual The copy objects command The command used to copy objects in the Model editor is Copy It is used as follows e select one or more objects from the list e click on the Copy button in the Edit menu or place the cursor on the list and type Control C The selected objects are now saved in memory and can be retrieved later using the Paste Before or Paste After commands 4 2 2 Display Commands These commands are used when there are a number of paragraphs in the project docu mentation model to reduce their number in order to have a better view of the project document The commands used to display objects in the Model editor are Fold Unfold and Unfold all The Fold command enables displaying objects in fold mode The Unfold and Unfold all commands enable displaying objects in the unfold mode The fold unfold modes The fold mode enables displaying only the paragraph title selected for display in fold mode and not its contents The unfold mode is used to display the paragraph title and its contents For example e the following paragraphs are displayed in unfold
19. aining the source of the rules added to the component s proof The mathematical formulas are shown in a font that is easily understood by any mathematician It also contains a table of contents modele_preuves_norm mdl this model is identical to the previous one except that the source does not retain its original presentation modele_dico mdl this model contains the cross references of the B project being processed modele_metriques mdl this model contains a title page as well as the table showing the overall status of the B project processed For each component of the B project processed a Chapter containing the table showing the status of the component It also contains a table of contents modele_complet mdl this model contains all of the information described previ ously PROGRAM PRESENTATION 5 2 4 Services Offered The Model Editor program offers three types of services e Creating a documentation model for a B project from a pre defined basic model e Modifying a documentation model for a pre existing B project e Creating a project document from a documentation model This creation may com prise document display on screen or a print out of the project generated 2 4 1 Documentation Model Creation Service To create a documentation model for a B project simply select as the input for the Model Editor one of the pre defined basic modules described in section 2 3 This pre defined basic module is then
20. command The command used to load a documentation model into the Model editor is Load It is used as follows e click on the Load button in the File menu e fill in the file management window e valide loading The objects from the chosen documentation model file are loaded into the list 26 Model Editor User Manual The Create command The command used to create a new documentation model in the Model editor is Create model It is used as follows e click on the Create model button in the File menu e fill in the file management window e validate creation Objects created from the basic model are loaded into the list The Save command The command used to save a documentation model in the Model editor is Save It is used as follows e click on the Save button in the File menu e fill in the file management window e validate the save The objects in the list are saved The documentation model file is created 4 2 4 Document creation command The command used to create a project document is Document Its parameters are determined by the type of word processor chosen to generate the project document and by the project document output mode The word processor There is a choice between two possible word processors TAT X or Interleaf IXT X is used as follows e select the Latex radio button from the document sub window Interleaf is used as follows e select the Interleaf radio butto
21. d knowledge available to persons who may need to operate the program To this end the required level of prior knowledge how to access the manual according to the user s needs and the presentation conventions used will be described 1 2 Prior Knowledge We will assume that readers of this manual are trained in the use of B language as well as in the use of Atelier B A knowledge of Atelier B tools is necessary 1 3 Overview of the Manual Chapter J presents the aim of the Model Editor the environment required for it to operate properly as well as the services that it provides Chapter B uses a simple and a more complex document to illustrate how to easily use the Model Editor program Chapter ff presents the objects processed by the Model Editor program as well as the program s commands Finally chapter B explains the technical terms used in this document 1 4 How to Use this Manuel A novice user of the Model Editor may when reading the manual for the first time simply study chapters H and Bl Implementation of the examples presented in the latter chapter provides a complete illustration of the use of the program and should allow progressive and complete familiarization with the Model Editor Once familiar with the program experienced users will find a complete description of all of the Model Editor s functions in chapter ff Model Editor User Manual 1 5 Notation and Syntax The computer obj
22. e current project and the File name field is initialized with lt project_name gt tex for ATEX or lt project_name gt doc for Interleaf The lists are initialized according to the contents of the Directory name field USING THE PROGRAM 29 Load model 4 888 65 999999 Directory name File name home PROJET LITTLE_EXAMPLE bdg ILITTLE_EXAMPLE md1 Cancel Help OK Figure 4 3 File management window Updating the file path The file path is updated in two ways e double click on an object in the Directories list or e enter the path in the Directory name field 9 press enter The lists and the Directory name field are updated Updating the file name The file name is updated in two ways e click on an object in the Files list or e enter the name in the File name Validation There are three ways to validate the full file name e double click on an object in the Files list or 30 Model Editor User Manual e type enter in the File name field or e click on the OK button The file comprising the path from the Directory name field and the name from the File name field is chosen The add modify window The add modify window is used to add or modify an object in the list It is called up by the following commands Append and Insert to add an object and by the Modify command to modify an object The add and modify actions are performed on the objects describ
23. ects such as names of files windows or the choice of options in the menus are shown in a non proportional font as shown in the example below The home PROJECT bdp little_example_MCH mch file In chapter Bl the result of the actions performed in the various steps to achieve the aim is shown using a proportional font in italics and preceded by a double arrow as shown in the example below gt the Atelier B project window is displayed Words with meanings that are explained in the Glossary chapter 3 are followed by an asterisk as shown in the example below The MMI user PROGRAM PRESENTATION 3 2 Program Presentation 2 1 Mission The purpose of the Model Editor is to create or modify a model of B project documentation managed by Atelier B This model may then be passed to the Documentor program in order to generate a document in the internal format of the selected word processor ATEX or Interleaf A model allows the construction of a structured document with titles headings sub headings The information contained in the document relates to the B project currently being processed The data is of the following types data dictionary e component sources e project or component status rules added for component proof checking free format text PostScript files To generate a model document the Model Editor program allows adding modifying or deleting the above data in order to generate the
24. ed in the 7 1 paragraph In the remainder of this section the manner of choosing the file is identical to that de scribed in the 2 3 paragraph Initialization Depending on the command used to call up the add modify window the initialization procedure varies e For the Append or Insert commands all of the fields are blank except for the Directory name field that points to the project specifications for the status object and that points to the project data base in other cases The lists are updated according to the Directory name field e For the Modify commands the fields are assigned with the values of the macro to modify Action on objects page layout This window is used to add or modify title type objects It is used as follows e click on the Macro manu button choose a title from 1 to 5 e fill in the Value of macro field e click on the OK button to validate the action Action on the object new page This window is used to add or modify a newpage object It is used as follows e click on the Macro menu button chose newpage e click on the OK button to validate the action USING THE PROGRAM 31 Action on the object table showing global project status This window is used to add or modify a global status type object It is used as follows e click on the Macro menu button chose global status e click on the OK button to validate the action Action on the object table showing component status This window
25. enriching it with additional data Initially modify the free form text for the first paragraph Then add two new paragraphs in between the two existing paragraphs The first paragraph comprises a title and the PostScript file containing the project depen dency graph The second paragraph comprises a title and two sub paragraphs One contains the title and the B source of the little_example mch component and the other contains a title and the table representing the status of the little_example mch component Entry errors will be made deliberately in order to show the use of the various Model Editor commands 3 2 3 Operating Mode To achieve the purpose perform the following steps 1 Enter the Model Editor e type the lanceAB command gt the Atelier B project window is displayed e double click on an object in the list to choose a project gt the project components window is displayed 12 Model Editor User Manual e click on the Model editor button in the Document menu or place the cursor on the list and type Control M gt the Model Editor window is displayed shaded and the Project components window is iconized OPERATING SCENARIOS 13 2 Load the model created for the simple document click on the Load button in the File menu gt the load a model window is displayed the LITTLE_EXAMPLE mdl model file is loaded by default click on the OK button to validate loading
26. fications or rules added to the proof The latter comprise diverse data such as the inclusion of free form text or PostScript files refer to figure H I 4 1 1 Objects Used for the Page Layout Titles The title 1 to title 5 type objects are used to manage the different paragraph title levels The title 1 object is a level 1 title The title 2 object is a level 2 title and so on until level 5 For example e object title 1 INTRODUCTION is translated in the project document as 1 INTRODUCTION e object title 3 Presentation is translated in the project document as 2 1 3 Presentation Paragraph numbering is automatically performed by the Model Editor New Pages The newpage object is used to start a new page 4 1 2 Project Related Information The table showing global project status The global status type object is used to include in the project document model a table showing the global status of the project 18 Model Editor User Manual B file Normalized B file Figure 4 1 Objects handled by the Model Editor For example the table showing the global status of the simple document project will be as follows Component TC GOP nbObv nbPO nUn Pr BOc little example OK OK 7 1 0 100 OK little_example 1 OK OK 7 4 2 50 OK little_example 3 OK OK 12 5 0 100 OK main_ltx OK OK 3 0 0 100 OK main_Itx_1 OK OK 16 5 0 100 OK TOTAL OK OK 45 15 2 86 OK
27. ion made gt the add an object window is closed and the object is added in the list displayed in the Model Editor window OPERATING SCENARIOS 9 4 Add the free form text of the first paragraph click on the Append button in the Edit menu gt the add an object window is displayed click on the Macro menu button choose paragraph gt the menu button is updated fill in the Value of macro data entry field with the following text for exam ple This document presents the cross references of the LITTLE_EXAMPLE project The project is built with the following components little_example mch little_example_1 ref little_example_3 imp main_ltx mch Main_1tx_1 imp click on the OK button to validate the addition made gt the add an object window is closed and the object is added in the list displayed in the Model Editor window 5 Add the title of the second paragraph click on the Append button in the Edit menu gt the add an object window is displayed fill in the Value of macro field with the following text Cross references click on the OK button to validate the addition made gt the add an object window is closed and the object is added to the list in the Model Editor window 6 Adding the cross references click on the Append button in the Edit menu gt the add an object window is displayed click on the Macro menu button choose
28. is used to add or modify a status type object It is used as follows e click on the Macro menu button choose status e choose a file e validate the action Action on the object cross references This window is used to add or modify a dictionary type object It is used as follows e click on the Macro menu button choose dictionary e click on the OK button to validate the action Action on objects B source This window is used to add or modify B file or Normalized B file type objects It is used as follows e click on the Macro menu button choose B file or Normalized B file e choose a file e validate the action Action on objects PostScript files This window is used to add or modify an object of type include PS It is used as follows e click on the Macro menu button chose include PS e fill in option the Height Width and Angle of rotation fields e choose a file e to validate the action 32 Model Editor User Manual Action on objects free form text This window is used to add or modify paragraph or include text type objects It is used as follows for the paragraph object e click on the Macro menu button choose paragraph e fill in the Value of macro data entry field e click on the OK field to validate the action It is used as follows for the include text object e click on the Macro menu button choose include text e choose a file e validate the action GLOSSARY 33 5 Glossary MMI Man Machine
29. me gt tex for ATEX or lt project name gt doc for Interleaf The host directory used by the file is the data base of the project processed The user may change the file name but must retain the tex or doc extensions The file produced may be displayed only when the ATEX word processor is used 6 Model Editor User Manual The file produced may be printed out The print out may be made in two different modes the entire document or a few successive pages at a time OPERATING SCENARIOS 7 3 Operating Scenarios 3 1 Creating a Simple Document 3 1 1 Presentation This example is based on the project called LITTLE_EXAMPLE This project contains the following components little_example mch little_example_1 ref little_example_3 imp main_1tx mch main_1tx_1 imp No processing on the components is necessary to execute the Model Editor program on this example refer to figure 3 1 3 1 2 Purpose The purpose is to create a project documentation model that contains two paragraphs The first contains a title and some text The second contains a title and the cross references The project document is to be created in TAT X internal format from this model and it will be displayed on screen 3 1 3 Operating Mode To achieve this purpose perform the following steps 1 Enter the Model Editor e type the command lanceAB gt the Atelier B window is displayed e double click on an object in the list
30. mode gt gt title 2 Component little_example gt gt title 3 Metric status little_example gt gt title 3 Source B B file home PROJECT LITTLE_EXAMPLE little_example mch gt gt title 2 Component little_example_1 e the Metric paragraph is displayed in fold mode gt gt title 2 Component little_example lt lt title 3 Metric gt gt title 3 Source B B file home PROJECT LITTLE_EXAMPLE little_example mch gt gt title 2 Component little_example_1 USING THE PROGRAM 25 e the Component little_example paragraph is displayed in fold mode lt lt title 2 Component little_example gt gt title 2 Component little_example_1 The display command in fold mode The command is used as follows e select an object from the unfolded title type list e click on the Fold button in the View menu or place the cursor on the list and press Control F Folded objects are no longer shown in the list Display commands in unfold mode The Unfold command mode is used as follows e select an object from the title and folded type list e click on the Unfold button in the View menu or place the cursor on the list and type Control U The unfolded objects become visible in the list The Unfold all command is used as follows e click on the Unfold all button in the View menu or place the cursor in the list and press Control 8 All of the objects in the list are displayed in unfolded mode 4 2 3 File Management Commands The Load
31. n from the document sub window USING THE PROGRAM 27 The output mode A choice between three output modes is possible creating a project document displaying on screen for TAT X only and printing out For creation it is used as follows e select the Create radio button from the document sub window For display it is used as follows e select the Show radio button from the document sub window For printing out it is used as follows e select the Print radio button from the document sub window The print out may be a full or partial one For a full print out it is used as follows e select the All the Pages radio button from the print sub window For a partial print out it is used as follows e select the Some Pages radio button from the print sub window e fill in optional the Printer Name from and to fields by default from and to are set to 1 Creating a document It is used as follows e project documentation parameter setting e click on the Document button in the sub document window e fill in the file management window e validate the action The project document is generated and displayed or printed depending on the parameters chosen 4 2 5 Miscellaneous Commands The first page The project document may be generated with a first page It is used as follows e select the First page radio button 28 Model Editor User Manual e fill in optional the Title Sub title fields Author and Date
32. n the Edit menu gt the Add an object window is displayed e fill in the Value of macro field with the following text Metric for the little_example mch component e click on the OK button to validate the addition gt the Add an object window is closed and the object is added to the list in the Model Editor window 9 Add the table representing the 1ittle_example mch component status e click on the Append button in the Edit menu gt the Add an object window is displayed e click on the Macro menu button choose status gt the menu button is updated e double click on the little_example file in the Files list gt the Add an object window is closed and the object is added in the list in the Model Editor window OPERATING SCENARIOS 15 10 Inserting the title of the second paragraph select the fifth object in the list click on the Insert button in the Edit menu gt the Insert and object window is displayed fill in the Value of macro field with the following text Data on the little_example mch component click on the OK button to validate the insert gt the Insert object window is closed and the object is inserted into the list in the Model Editor window 11 Correct the level of the first sub paragraph select the sixth object in the list click on the Cut button in the Edit menu to delete the object gt the selected object is deleted from the list
33. vironment button gt a confirm window is displayed click on the OK button to confirm quitting 3 2 Creating a More Complex Document 3 2 1 Presentation The creation of the example is based on the same project as used previously We will use the document model created in the previous section and will modify it to make it into a more complex document refer to figure B J Before making the modification first e generate the dependency graph for the project and create the LITTLE_EXAMPLE ps file in the project data base directory containing the project dependency graph e proof for the little_example mch component OPERATING SCENARIOS 11 Model editor edited mile wait View Model home PROJET LITTLE_EXAMPLE bdp LITTLE_EXAMPLE md1 gt gt title 1 Introduction gt First page paragraph Ce document pr sente gt gt title 1 Graphe de d pendance Title LITTLE_EXAMPLE ES Sub title Documentation de projet gt gt title 1 Informations sur le gt gt title 2 Sp cification du com Author Martin gt gt title 2 M trique du composan Date Juin 1996 status little_example gt gt title 1 R f rences crois es Table of contents dictionary Output formats lt gt Latex Q Interleaf Document lt y Create Show lt gt Print Document Figure 3 2 More complex document 3 2 2 Purpose Retrieving the simple document and
Download Pdf Manuals
Related Search