Proposal of a first version of the article plan

src/ontologies/ARINC661/paper.thy

@@ -10,12 +10,17 @@ declare[[ Definition_default_class = "definition"]]
 declare[[ Lemma_default_class      = "lemma"]]
 declare[[ Theorem_default_class    = "theorem"]]
 
-define_shortcut* isabelle \<rightleftharpoons> \<open>Isabelle/HOL\<close>
+define_shortcut*  isabelle \<rightleftharpoons> \<open>Isabelle/HOL\<close>
+                  isadof   \<rightleftharpoons> \<open>\isadof\<close>
 
 (*>*)
 
+(********************************************************)
+(* TITLE ************************************************)
 title*[tit::title]\<open>New Title\<close>
-                                  
+
+(**********************************************************)
+(* AUTHORS ************************************************)
 author*[idir,email="\<open>idir.aitsadoune@centralesupelec.fr\<close>",affiliation="\<open>LMF, CentraleSupelec, Université Paris-Saclay\<close>"]
 \<open>Idir Ait-Sadoune\<close>
 author*[nicolas,email="\<open>nicolas.meric@lri.fr\<close>",affiliation="\<open>LMF, Université Paris-Saclay\<close>"]
@@ -23,25 +28,117 @@ author*[nicolas,email="\<open>nicolas.meric@lri.fr\<close>",affiliation="\<open>
 author*[bu,email= "\<open>wolff@lri.fr\<close>",affiliation = "\<open>LMF, Université Paris-Saclay\<close>"]
 \<open>Burkhart Wolff\<close>    
 
-
+(***********************************************************)
+(* ABSTRACT ************************************************)
 abstract*[abs, keywordlist="[\<open>w1\<close>,\<open>w2\<close>,\<open>w3\<close>,\<open>w4\<close>]"]
 \<open>  
 Abstract content
 \<close>
 text\<open>\<close>
 
-
+(***************************************************************)
+(* INTRODUCTION ************************************************)
 section*[introheader::introduction,main_author="Some(@{docitem ''bu''}::author)"]
 \<open> Introduction \<close>
 text*[introtext::introduction]
 \<open>
 Our article should cover the following points:
-- ISA_DOF framework and its features to annotate informal texts with formal concepts of ontologies.
-- Check the conformance of object instances with an ontology model.
-- Possibility of expressing invariants (the case of the propagation of the visible and enable properties between the root widget and the child widgets is to be treated)
+- Isa_Dof framework and its features to annotate informal texts with formal concepts of ontologies.
+- Checking the conformance of object instances with an ontology model in the context of ARINC 661 standard.
+- Possibility of expressing invariants (the case of the propagation of the visible and enable properties 
+between the root widget and the child widgets is to be treated)
 - modelling of the UA Validation process.
 \<close>
 
+(***************************************************************)
+(* BACKGROUND **************************************************)
+section*[bgrnd::text_section,main_author="Some(@{docitem ''bu''}::author)"]
+\<open> Background \<close>
+text
+\<open>
+bla bla bla bla ...
+\<close>
+
+subsection*[isabelle::technical,main_author="Some(@{docitem ''bu''}::author)"]
+\<open> The Isabelle System  \<close>
+text
+\<open>
+bla bla bla bla ...
+\<close>
+
+subsection*[isadof::technical,main_author="Some(@{docitem ''bu''}::author)"]
+\<open> The Isa_DOF Framework  \<close>
+text
+\<open>
+bla bla bla bla ...
+\<close>
+
+(***************************************************************)
+(* CASE STUDY **************************************************)
+section*[arinc::example,main_author="Some(@{docitem ''bu''}::author)"]
+\<open> Case study : ARINC 661 and Multi-Purpose Interactive Application (MPIA)\<close>
+text
+\<open>
+bla bla bla bla ...
+\<close>
+
+subsection*[arincmod::text_section]
+\<open> Modeling ARINC 661 in \<^isadof> \<close> 
+text
+\<open>
+bla bla bla bla ...
+\<close>
+
+subsection*[mpiamod::text_section]
+\<open> Checking MPIA conformance in \<^isadof> \<close> 
+text
+\<open>
+bla bla bla bla ...
+\<close>
+
+subsection*[gendoc::text_section]
+\<open> Document generation with \<^isadof> \<close> 
+text
+\<open>
+bla bla bla bla ...
+\<close>
+
+(***************************************************************)
+(* INVARIANTS **************************************************)
+section*[inv::technical,main_author="Some(@{docitem ''bu''}::author)"]
+\<open> Expressing Invariants in ISADOF\<close>
+text
+\<open>
+bla bla bla bla ...
+\<close>
+
+(***************************************************************)
+(* The UA Validation process. **********************************)
+section*[validation::technical,main_author="Some(@{docitem ''bu''}::author)"]
+\<open> The User Application (UA) Validation process \<close>
+text
+\<open>
+bla bla bla bla ...
+\<close>
+
+
+(*************************************************************)
+(* RELATED WORK ************************************************)
+section*[related::conclusion,main_author="Some(@{docitem ''bu''}::author)"]
+\<open>Related Work\<close>
+text
+\<open>
+bla bla bla bla ...
+\<close>
+
+(*************************************************************)
+(* CONCLUSION ************************************************)
+section*[conclusion::conclusion,main_author="Some(@{docitem ''bu''}::author)"]
+\<open>Conclusion\<close>
+text
+\<open>
+Conclusion content
+\<close>
 
 (*<*)