summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2006-01-12 23:57:12 +0000
committerKarl Berry <karl@freefriends.org>2006-01-12 23:57:12 +0000
commit76f683b146315bf9236a0f9599561bd6d616555e (patch)
tree76f5fa5fe8d02f222b49f1d5b526f051a03b54c8
parent235470c52ce4a3651b5be4bcffac6a600b0b7eab (diff)
iso10303
git-svn-id: svn://tug.org/texlive/trunk@999 c570f23f-e606-0410-a88d-b1316a301751
-rw-r--r--Master/texmf-dist/tex/latex/iso10303/aicv1.sty71
-rw-r--r--Master/texmf-dist/tex/latex/iso10303/apendint.tex53
-rw-r--r--Master/texmf-dist/tex/latex/iso10303/apmpspec.tex127
-rw-r--r--Master/texmf-dist/tex/latex/iso10303/apmptbl.tex117
-rw-r--r--Master/texmf-dist/tex/latex/iso10303/apmptempl.tex92
-rw-r--r--Master/texmf-dist/tex/latex/iso10303/apsstempl.tex68
-rw-r--r--Master/texmf-dist/tex/latex/iso10303/apv12.sty187
-rw-r--r--Master/texmf-dist/tex/latex/iso10303/atsv11.sty154
-rw-r--r--Master/texmf-dist/tex/latex/iso10303/bpfap1.tex29
-rw-r--r--Master/texmf-dist/tex/latex/iso10303/bpfap10.tex38
-rw-r--r--Master/texmf-dist/tex/latex/iso10303/bpfap11.tex34
-rw-r--r--Master/texmf-dist/tex/latex/iso10303/bpfap12.tex31
-rw-r--r--Master/texmf-dist/tex/latex/iso10303/bpfap13.tex31
-rw-r--r--Master/texmf-dist/tex/latex/iso10303/bpfap14.tex29
-rw-r--r--Master/texmf-dist/tex/latex/iso10303/bpfap15.tex30
-rw-r--r--Master/texmf-dist/tex/latex/iso10303/bpfap16.tex32
-rw-r--r--Master/texmf-dist/tex/latex/iso10303/bpfap2.tex44
-rw-r--r--Master/texmf-dist/tex/latex/iso10303/bpfap3.tex28
-rw-r--r--Master/texmf-dist/tex/latex/iso10303/bpfap4.tex31
-rw-r--r--Master/texmf-dist/tex/latex/iso10303/bpfap5.tex32
-rw-r--r--Master/texmf-dist/tex/latex/iso10303/bpfap6.tex41
-rw-r--r--Master/texmf-dist/tex/latex/iso10303/bpfap7.tex29
-rw-r--r--Master/texmf-dist/tex/latex/iso10303/bpfap8.tex32
-rw-r--r--Master/texmf-dist/tex/latex/iso10303/bpfap9.tex29
-rw-r--r--Master/texmf-dist/tex/latex/iso10303/bpfats1.tex84
-rw-r--r--Master/texmf-dist/tex/latex/iso10303/bpfats10.tex91
-rw-r--r--Master/texmf-dist/tex/latex/iso10303/bpfats11.tex32
-rw-r--r--Master/texmf-dist/tex/latex/iso10303/bpfats12.tex32
-rw-r--r--Master/texmf-dist/tex/latex/iso10303/bpfats14.tex52
-rw-r--r--Master/texmf-dist/tex/latex/iso10303/bpfats2.tex51
-rw-r--r--Master/texmf-dist/tex/latex/iso10303/bpfats3.tex57
-rw-r--r--Master/texmf-dist/tex/latex/iso10303/bpfats4.tex52
-rw-r--r--Master/texmf-dist/tex/latex/iso10303/bpfats5.tex32
-rw-r--r--Master/texmf-dist/tex/latex/iso10303/bpfats6.tex48
-rw-r--r--Master/texmf-dist/tex/latex/iso10303/bpfats7.tex33
-rw-r--r--Master/texmf-dist/tex/latex/iso10303/bpfats8.tex35
-rw-r--r--Master/texmf-dist/tex/latex/iso10303/bpfats9.tex35
-rw-r--r--Master/texmf-dist/tex/latex/iso10303/bpfir1.tex28
-rw-r--r--Master/texmf-dist/tex/latex/iso10303/bpfir2.tex31
-rw-r--r--Master/texmf-dist/tex/latex/iso10303/bpfir3.tex33
-rw-r--r--Master/texmf-dist/tex/latex/iso10303/bpfs1.tex33
-rw-r--r--Master/texmf-dist/tex/latex/iso10303/bpfs2.tex65
-rw-r--r--Master/texmf-dist/tex/latex/iso10303/bpfs3.tex59
-rw-r--r--Master/texmf-dist/tex/latex/iso10303/irv12.sty33
-rw-r--r--Master/texmf-dist/tex/latex/iso10303/stepman.tex3346
-rw-r--r--Master/texmf-dist/tex/latex/iso10303/stepv13.sty605
-rw-r--r--Master/texmf-dist/tex/latex/iso10303/stppdlst.tex45
47 files changed, 6301 insertions, 0 deletions
diff --git a/Master/texmf-dist/tex/latex/iso10303/aicv1.sty b/Master/texmf-dist/tex/latex/iso10303/aicv1.sty
new file mode 100644
index 00000000000..48cc925f605
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/iso10303/aicv1.sty
@@ -0,0 +1,71 @@
+%%
+%% This is file `aicv1.sty',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% stepe.dtx (with options: `aic')
+%%
+%% This work has been partially funded by the US government
+%% and is not subject to copyright.
+%%
+%% This program is provided under the terms of the
+%% LaTeX Project Public License distributed from CTAN
+%% archives in directory macros/latex/base/lppl.txt.
+%%
+%% Author: Peter Wilson (CUA and NIST)
+%% now at: peter.r.wilson@boeing.com
+%%
+\ProvidesPackage{aicv1}[2002/01/10 v1.0.2 STEP AIC package]
+ \RequirePackage{stepv13}[2002/01/10]
+
+
+\anirfalse
+
+\newcommand{\aicshortexphead}{\clause{EXPRESS short listing}\label{;sesl}}
+\newcommand{\aicextraintro}{%
+ This part of ISO~10303 is a member of the application
+interpreted construct series.
+ An application interpreted construct (AIC) provides a
+logical grouping of interpreted constructs that supports
+a specific functionality for the usage of product data across
+multiple application contexts. An interpreted construct is a
+common interpretation of the integrated resources that
+supports shared information requirements among application
+protocols.
+}
+\newcommand{\aicdef}{%
+\definition{application interpreted construct (AIC)}%
+ {a logical grouping of interpreted constructs
+ that supports a specific function for
+ the usage of product data across multiple
+ application contexts.}
+}
+\newcommand{\aicshortexpintro}{%
+ This clause specifies the \Express{} schema that uses
+elements from the integrated resources and contains the
+types, entity data types specializations, and functions that are
+specific to this part of ISO~10303.
+\begin{anote}There may be subtypes and items of select lists that
+ appear in the integrated resources that are not
+ imported into the AIC. Constructs are eliminated
+ from the subtype tree or select list through the
+ use of the implicit interface rules of ISO 10303-11.
+ References to eliminated constructs are outside the
+ scope of the AIC. In some cases, all items of the select
+ list are eliminated. Because AICs are intended to be
+ implemented in the context of an application protocol,
+ the items of the select list will be defined by the
+ scope of the application protocol.
+\end{anote} % end note
+}
+\newcommand{\aicexpressg}{%
+ The diagrams in this annex are generated from the short
+listing given in \cref{;sesl} and correspond to the \Express{} schemas
+specified in this part of ISO 10303.
+The diagrams use the \ExpressG{} graphical notation for the
+\Express{} language. \expressgdef. \par
+}
+\endinput
+%%
+%% End of file `aicv1.sty'.
diff --git a/Master/texmf-dist/tex/latex/iso10303/apendint.tex b/Master/texmf-dist/tex/latex/iso10303/apendint.tex
new file mode 100644
index 00000000000..0ae4b4e5124
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/iso10303/apendint.tex
@@ -0,0 +1,53 @@
+%%
+%% This is file `apendint.tex',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% stepe.dtx (with options: `apf1')
+%%
+%% This work has been partially funded by the US government
+%% and is not subject to copyright.
+%%
+%% This program is provided under the terms of the
+%% LaTeX Project Public License distributed from CTAN
+%% archives in directory macros/latex/base/lppl.txt.
+%%
+%% Author: Peter Wilson (CUA and NIST)
+%% now at: peter.r.wilson@boeing.com
+%%
+\ProvidesFile{apendint.tex}[1996/05/31 AP end intro boilerplate]
+\typeout{apendint.tex [1996/05/31 AP end intro boilerplate]}
+
+ Application protocols provide the basis for developing
+implementations of ISO~10303 and abstract test suites for
+the conformance testing of AP implementations.
+
+ Clause~\ref{;i1} defines the scope of the application protocol
+and summarizes the functionality and data covered by the AP.
+Clause~\ref{;i3} lists the words defined in this part of ISO~10303 and
+gives pointers to words defined elsewhere.
+An application activity model that is the basis for the definition
+of the scope is provided in \aref{;saam}. The information requirements
+of the application are specified in \cref{;sireq} using terminology
+appropriate to the application. A graphical representation of the
+information requirements, referred to as the application reference
+model, is given in \aref{;sarm}.
+
+ Resource constructs are interpreted to meet the information
+requirements. This interpretation produces the application
+interpreted model (AIM). This interpretation, given in~\ref{;smap}, shows
+the correspondence between the information requirements and the
+AIM. The short listing of the AIM specifies the interface to the
+integrated resources and is given in~\ref{;saesl}. Note that the definitions
+and \Express{} provided in the integrated resources for constructs
+used in the AIM may include select list items and subtypes which are
+not imported into the AIM. The expanded listing given in \aref{;saeel}
+contains the complete \Express{} for the AIM without annotation. A
+graphical representation of the AIM is given in \aref{;saeg}. Additional
+requirements for specific implementation methods are given in
+\aref{;simreq}.
+
+\endinput
+%%
+%% End of file `apendint.tex'.
diff --git a/Master/texmf-dist/tex/latex/iso10303/apmpspec.tex b/Master/texmf-dist/tex/latex/iso10303/apmpspec.tex
new file mode 100644
index 00000000000..95daed59254
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/iso10303/apmpspec.tex
@@ -0,0 +1,127 @@
+%%
+%% This is file `apmpspec.tex',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% stepe.dtx (with options: `apmpspec')
+%%
+%% This work has been partially funded by the US government
+%% and is not subject to copyright.
+%%
+%% This program is provided under the terms of the
+%% LaTeX Project Public License distributed from CTAN
+%% archives in directory macros/latex/base/lppl.txt.
+%%
+%% Author: Peter Wilson (CUA and NIST)
+%% now at: peter.r.wilson@boeing.com
+%%
+\ProvidesFile{apmpspec.tex}[2001/07/16 AP mapping spec boilerplate]
+\typeout{apmpspec.tex [2001/07/16 STEP AP mapping spec boilerplate]}
+
+ This clause contains the mapping specification that shows how each
+UoF and application object of this part of ISO~10303
+(see \cref{;sireq}) maps to one or more AIM constructs
+(see \aref{;saeel}).
+Each mapping specifies up to five elements.
+
+\begin{description}
+\item[Application element] The mapping for each application element
+ is specified in a seperate subclause below.
+ Application object names are given in title case.
+ Attribute names and assertions are listed after the application
+ object to which they belong and are given in lower case.
+
+\item[AIM element] The name of one or more AIM entity data types
+ (see \aref{;saeel}), the term ``IDENTICAL MAPPING'',
+ or the term ``PATH''.
+ AIM entity data type names are given in lower case.
+ Attributes of AIM entity data types are referred to as
+ $<$entity name$>$.$<$attribute name$>$.
+ The mapping of an application element may involve more than
+ one AIM element.
+ Each of these AIM elements is presented on a seperate line
+ in the mapping specification.
+ The term ``IDENTICAL MAPPING'' indicates that both application
+ objects involved in an application assertion map to the same
+ instance of an AIM entity data type.
+ The term ``PATH'' indicates that the application assertion maps
+ to a collection of related AIM entity instances specified
+ by the entire reference path.
+
+\item[Source] For those AIM elements that are
+ interpreted from any common resource, this is the ISO standard
+ number and part number in which the resource is defined.
+ For those AIM elements that are created for the purpose of this part
+ of ISO~10303, this is ``ISO~10303--'' followed by the number of
+ this part.
+
+\item[Rules] One or more global rules may be specified that
+ apply to the population of the AIM entity data types specified
+ as the AIM element or in the reference path.
+ For rules that are derived from
+ relationships between application objects, the same rule
+ is referred to by the mapping entries of all the involved AIM
+ elements.
+ A reference to a global rule may be accompanied by a reference to
+ the subclause in which the rule is defined.
+
+\item[Reference path] To describe fully the mapping
+ of an application object, it may be necessary to specify a
+ reference path involving several related AIM elements.
+ Each line in the reference path documents the role of an AIM
+ element relative to the AIM element in the line following it.
+ Two or more such related AIM elements define the
+ interpretation of the integrated resources that satisfies
+ the requirement specified by the application object.
+ For each AIM element that has been created for use within this
+ part of ISO~10303, a reference path to its supertype from
+ an integrated resource is specified.
+ For the expression of reference paths and the relationships
+ between AIM elements the following notational conventions apply:
+\begin{itemize}
+\item[\texttt{[]}] enclosed section constrains multiple AIM elements
+ or sections of the
+ reference path are required to satisfy an information
+ requirement;
+\item[\texttt{()}] enclosed section constrains multiple AIM elements
+ or sections of the
+ reference path are identified as alternatives within the
+ mapping to satisfy an information requirement;
+\item[\texttt{\{\}}] enclosed section constrains the reference path
+ to satisfy an information requirement;
+\item[\texttt{<>}] enclosed section constrains at one or more
+ required reference path;
+\item[\texttt{||}] enclosed section constrains the supertype entity;
+\item[\texttt{->}] attribute references the entity or select type
+ given in the following row;
+\item[\texttt{<-}] entity or select type is referenced by the
+ attribute in the following row;
+\item[\texttt{[i]}] attribute is an aggregation of which a
+ single member is given in the following row;
+\item[\texttt{[n]}] attribute is an aggregation of which
+ member \texttt{n} is given in the following row;
+\item[\texttt{=>}] entity is a supertype of the entity given in the
+ following row;
+\item[\texttt{<=}] entity is a subtype of the entity given in
+ the following row;
+\item[\texttt{=}] the string, select, or enumeration type is
+ constrained to a choice or value;
+\item[\texttt{\textbackslash}] the reference path expression continues on
+ the next line;
+\item[\texttt{*}] used in conjunction with braces to indicate that
+ any number of relationship entity data types may be assembled
+ in a relationship tree structure;
+\ifmaptemplate
+\item[\texttt{//}] enclosed section is an application of one of the
+ mapping templates defined in \ref{;stemps} below;
+\fi
+\item[\texttt{--}] the text following is a comment
+ (normally a clause reference).
+\end{itemize}
+
+\end{description}
+
+\endinput
+%%
+%% End of file `apmpspec.tex'.
diff --git a/Master/texmf-dist/tex/latex/iso10303/apmptbl.tex b/Master/texmf-dist/tex/latex/iso10303/apmptbl.tex
new file mode 100644
index 00000000000..d0cc2b1e185
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/iso10303/apmptbl.tex
@@ -0,0 +1,117 @@
+%%
+%% This is file `apmptbl.tex',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% stepe.dtx (with options: `apmptbl')
+%%
+%% This work has been partially funded by the US government
+%% and is not subject to copyright.
+%%
+%% This program is provided under the terms of the
+%% LaTeX Project Public License distributed from CTAN
+%% archives in directory macros/latex/base/lppl.txt.
+%%
+%% Author: Peter Wilson (CUA and NIST)
+%% now at: peter.r.wilson@boeing.com
+%%
+\ProvidesFile{apmptbl.tex}[2002/01/22 AP mapping table boilerplate]
+\typeout{apmptbl.tex [2002/01/22 STEP AP mapping table boilerplate]}
+
+ This clause contains the mapping table that shows how each
+UoF and application object of this part of ISO~10303
+(see \cref{;sireq}) maps to one or more AIM constructs
+(see \aref{;saeel}).
+The mapping table is organized in five columns.
+
+ Column 1) Application element: Name of an application
+ element as it appears in the application object definition
+ in~\ref{;sao}. Application object names are written in uppercase.
+ Attribute names and assertions are listed after the application
+ object to which they belong and are written in lower case.
+
+ Column 2) AIM element: Name of an AIM element as it
+ appears in the AIM (see \aref{;saeel}), the term ``IDENTICAL MAPPING'',
+ or the term ``PATH''. AIM entities are written in lower case.
+ Attribute names of AIM entities are referred to as
+ $<$entity name$>$.$<$attribute name$>$. The mapping of an
+ application element may result in several related AIM
+ elements. Each of these AIM elements requires a line of its
+ own in the table. The term ``IDENTICAL MAPPING'' indicates
+ that both application objects of an application assertion
+ map to the same AIM element. The term ``PATH'' indicates
+ that the application assertion maps to the entire reference
+ path.
+
+ Column 3) Source: For those AIM elements that are
+ interpreted from the integrated resources or the application
+ interpreted constructs, this is the
+ number of the corresponding part of ISO~10303. For those
+ AIM elements that are created for the purpose of this part
+ of ISO~10303, this is the number of this part.
+ Entities or types that are defined within the integrated
+ resources have an AIC as the source reference if the use
+ of the entity or type for the mapping is within the scope
+ of the AIC.
+
+ Column 4) Rules: One or more numbers may be given that
+ refer to rules that apply to the current AIM element or
+ reference path. For rules that are derived from
+ relationships between application objects, the same rule
+ is referred to by the mapping entries of all the involved AIM
+ elements. The expanded names of the rules are listed after
+ the table.
+
+ Column 5) Reference path: To describe fully the mapping
+ of an application object, it may be necessary to specify a
+ reference path through several related AIM elements. The
+ reference path column documents the role of an AIM element
+ relative to the AIM element in the row succeeding it.
+ Two or more such related AIM elements define the
+ interpretation of the integrated resources that satisfies
+ the requirement specified by the application object.
+ For each AIM element that has been created for use within this
+ part of ISO~10303, a reference path up to its supertype from
+ an integrated resource is specified.
+
+ For the expression of reference paths the following notational
+conventions apply:
+\begin{enumerate}
+\item \verb|[]| : enclosed section constrains multiple AIM elements
+ or sections of the
+ reference path are required to satisfy an information
+ requirement;
+\item \verb|()| : enclosed section constrains multiple AIM elements
+ or sections of the
+ reference path are identified as alternatives within the
+ mapping to satisfy an information requirement;
+\item \verb|{}| : enclosed section constrains the reference path
+ to satisfy an information requirement;
+\item \verb|<>| : enclosed section constrains at one or more
+ required reference path;
+\item \verb+||+ : enclosed section constrains the supertype entity;
+\item \verb|->| : attribute references the entity or select type
+ given in the following row;
+\item \verb|<-| : entity or select type is referenced by the
+ attribute in the following row;
+\item \verb|[i]| : attribute is an aggregation of which a
+ single member is given in the following row;
+\item \verb|[n]| : attribute is an aggregation of which
+ member \verb|n| is given in the following row;
+\item \verb|=>| : entity is a supertype of the entity given in the
+ following row;
+\item \verb|<=| : entity is a subtype of the entity given in
+ the following row;
+\item \verb|=| : the string, select, or enumeration type is
+ constrained to a choice or value;
+\item \verb|\| : the reference path expression continues on
+ the next line;
+\item \verb|*| : used in conjunction with braces to indicate that any
+ number of relationship entity data types may be assembled in a
+ relationship tree structure.
+\end{enumerate}
+
+\endinput
+%%
+%% End of file `apmptbl.tex'.
diff --git a/Master/texmf-dist/tex/latex/iso10303/apmptempl.tex b/Master/texmf-dist/tex/latex/iso10303/apmptempl.tex
new file mode 100644
index 00000000000..89ccd66a0cc
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/iso10303/apmptempl.tex
@@ -0,0 +1,92 @@
+%%
+%% This is file `apmptempl.tex',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% stepe.dtx (with options: `apmptempl')
+%%
+%% This work has been partially funded by the US government
+%% and is not subject to copyright.
+%%
+%% This program is provided under the terms of the
+%% LaTeX Project Public License distributed from CTAN
+%% archives in directory macros/latex/base/lppl.txt.
+%%
+%% Author: Peter Wilson (CUA and NIST)
+%% now at: peter.r.wilson@boeing.com
+%%
+\ProvidesFile{apmptempl.tex}[2001/07/16 AP mapping template boilerplate]
+\typeout{apmptempl.tex [2001/07/16 STEP AP mapping template boilerplate]}
+
+ This mapping specification includes mapping templates.
+A mapping template is a reusable portion of a reference path that defines
+a commonly used part of the structure of the application interpreted model.
+A mapping template is similar to a programming language macro.
+The mapping templates used in this part of ISO~10303 are defined in this
+subclause. Each mapping template definition has three components as follows:
+\begin{itemize}
+\item the template signature that specifies the name of the template
+ and may also specify the names and the order of the formal parameters
+ of the template;
+
+\item descriptions of the formal parameters of the template, if any;
+
+\item the template body that defines the reusable portion of a reference
+ path and may indicate, through the use of the formal parameter
+ names included in the template signature, the points at which
+ the value parameters are supplied in each template application.
+\end{itemize}
+
+ Each mapping template is used at least once in the reference paths
+specified in~\ref{;uof1} to~\ref{;uoflast}.
+Each such template application is a reference to the template definition,
+based on the pattern established by the template signature, and supplies
+the value parameters that are to be substitued for the formal parameters
+specified in the template definition. The full reference path can be derived
+by replacing any formal parameters in the template body by the value
+parameters specified in the template application and then substituting
+the completed template body for the template application.
+
+%%\begin{anexample}
+%%The following is an example of a template application that invokes and
+%%supplies parameters for the GROUPS mapping template.
+%%
+%%/GROUPS(shape\_aspect, 'boundary index 1')/
+%%
+%%\end{anexample}
+
+ The non-blank characters following the first `/' define the name of
+the mapping template. The name of the mapping template is given in
+upper case. The name of the template is followed by a list of parameter
+values, seperated by commas, enclosed in parentheses. Parameter values
+are given in lower case except in the case that the value parameter
+is a string literal that includes upper case characters.
+
+ The following notational conventions apply to the definitions and
+applications of templates:
+
+\begin{itemize}
+
+\item[\texttt{/}] marks the beginning and end of a template signature or a
+ template application;
+\item[\texttt{\&}] prefixes the name of a formal parameter within the definition
+ of a template body;
+\item[\texttt{()}] enclose the formal parameters in a template signature or the
+ value parameters in a template application;
+\item[\texttt{,}] separates formal parameters in a template signature or
+ value parameters in a template application;
+\item[\texttt{' '}] denotes a string literal that is used as a value parameter
+ in a template application.
+
+\end{itemize}
+
+ Value parameters that are not enclosed by quotes are \Express{} data type
+identifiers.
+
+ This part of ISO~10303 uses the templates that are specified in the
+following subclauses.
+
+\endinput
+%%
+%% End of file `apmptempl.tex'.
diff --git a/Master/texmf-dist/tex/latex/iso10303/apsstempl.tex b/Master/texmf-dist/tex/latex/iso10303/apsstempl.tex
new file mode 100644
index 00000000000..a51dab740bc
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/iso10303/apsstempl.tex
@@ -0,0 +1,68 @@
+%%
+%% This is file `apsstempl.tex',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% stepe.dtx (with options: `apsstempl')
+%%
+%% This work has been partially funded by the US government
+%% and is not subject to copyright.
+%%
+%% This program is provided under the terms of the
+%% LaTeX Project Public License distributed from CTAN
+%% archives in directory macros/latex/base/lppl.txt.
+%%
+%% Author: Peter Wilson (CUA and NIST)
+%% now at: peter.r.wilson@boeing.com
+%%
+\ProvidesFile{apsstempl.tex}[2001/07/16 AP SUP/SUB templates boilerplate]
+\typeout{apsstempl.tex [2001/07/16 AP SUP/SUB templates boilerplate]}
+
+\sssclause{SUBTYPE}
+
+ The SUBTYPE mapping template specifies a reference to the mapping of
+a subtype of the current application object. Several such references may
+be included for one supertype application object.
+
+\begin{anote} This template definition only consists of a template signature,
+ there is no matching template body. The template is included to ease the
+ automatic processing of the mapping specification.
+\end{anote}
+
+\signature
+
+/SUBTYPE(application\_object)/
+
+\parameters
+
+application\_object: the application object that is a subtype of the current
+ supertype application object and that has the entire
+ or a part of the mapping specification of this
+ supertype.
+
+\sssclause{SUPERTYPE}
+
+ The SUPERTYPE mapping template specifies a reference to the mapping of
+a supertype of the current application object. Several such references may
+be included for the subtype application object.
+
+\begin{anote} This template only consists of a signature,
+ there is no matching body. The template is included to ease the
+ automatic processing of the mapping specification.
+\end{anote}
+
+\signature
+
+/SUPERTYPE(application\_object)/
+
+\parameters
+
+application\_object: the application object that is a supertype of the current
+ subtype application object and that has the entire
+ or a part of the mapping specification of this
+ subtype.
+
+\endinput
+%%
+%% End of file `apsstempl.tex'.
diff --git a/Master/texmf-dist/tex/latex/iso10303/apv12.sty b/Master/texmf-dist/tex/latex/iso10303/apv12.sty
new file mode 100644
index 00000000000..3f7d00de225
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/iso10303/apv12.sty
@@ -0,0 +1,187 @@
+%%
+%% This is file `apv12.sty',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% stepe.dtx (with options: `ap')
+%%
+%% This work has been partially funded by the US government
+%% and is not subject to copyright.
+%%
+%% This program is provided under the terms of the
+%% LaTeX Project Public License distributed from CTAN
+%% archives in directory macros/latex/base/lppl.txt.
+%%
+%% Author: Peter Wilson (CUA and NIST)
+%% now at: peter.r.wilson@boeing.com
+%%
+\ProvidesPackage{apv12}[2002/01/10 v1.2.2 STEP AP package]
+ \RequirePackage{stepv13}[2002/01/10]
+
+\anirfalse
+\settocdepth{sclause}
+
+\gdef\theap{}
+\newcommand{\aptitle}[1]{\gdef\theap{#1}}
+\newif\ifaicinap
+ \aicinapfalse
+\newif\ifmaptemplate
+ \maptemplatefalse
+\newif\ifidefix
+ \idefixfalse
+
+\newcommand{\inforeqhead}{%
+ \settocdepth{ssclause}
+ \clause{Information requirements}\label{;sireq}}
+\newcommand{\uofhead}{%
+ \sclause{Units of functionality}\label{;suof}}
+\newcommand{\auofhead}[1]{\ssclause{#1}}
+\newcommand{\applobjhead}{%
+ \settocdepth{sclause}
+ \sclause{Application objects}\label{;sao}}
+\newcommand{\applasserthead}{%
+ \sclause{Application assertions}\label{;saa}}
+\newcommand{\aimhead}{%
+ \clause{Application interpreted model}\label{;saim}}
+\newcommand{\mappinghead}{%
+ \sclause{Mapping \maptableorspec}\label{;smap}}
+\newcommand{\templateshead}{%
+ \ssclause{Mapping templates}\label{;stemps}}
+\newcommand{\mapuofhead}[1]{\ssclause{#1}}
+\newcommand{\mapobjecthead}[1]{\sssclause{#1}}
+\newcommand{\mapattribhead}[1]{\ssssclause{#1}}
+\newcommand{\aimshortexphead}{%
+ \sclause{AIM EXPRESS short listing}\label{;saesl}}
+\newcommand{\confreqhead}{%
+ \clause{Conformance requirements}\label{;scr}}
+\newcommand{\aimlongexphead}{%
+ \normannex{AIM EXPRESS expanded listing}\label{;saeel}}
+\newcommand{\aimshortnameshead}{%
+ \normannex{AIM short names}\label{;sasn}}
+\newcommand{\impreqhead}{%
+ \normannex{Implementation method specific requirements}\label{;simreq}}
+\newcommand{\aamhead}{%
+ \infannex{Application activity model}\label{;saam}}
+\newcommand{\aamdefhead}{%
+ \settocdepth{clause}
+ \sclause{Application activity model definitions and abbreviations}}
+\newcommand{\aamfighead}{%
+ \settocdepth{clause}
+ \sclause{Application activity model diagrams}}
+\newcommand{\armhead}{%
+ \settocdepth{sclause}
+ \infannex{Application reference model}\label{;sarm}}
+\newcommand{\aimexpressghead}{%
+ \infannex{AIM EXPRESS-G}\label{;saeg}}
+\newcommand{\aimexpresshead}{%
+ \infannex{AIM EXPRESS listing}}
+\newcommand{\apusagehead}{%
+ \infannex{Application protocol usage guide}\label{;sapug}}
+
+\newcommand{\signature}{\ehe@d*{\underline{Mapping signature}:}}
+\newcommand{\parameters}{\ehe@d*{\underline{Parameter definitions}:}}
+\newcommand{\body}{\ehe@d*{\underline{Template body}:}}
+
+\newcommand{\apextraintro}{\input{apendint}}
+\newcommand{\apscope}[1]{%
+ This part of ISO 10303 specifies the use of the integrated
+resources necessary for the scope and information requirements
+for #1
+
+\input{bpfap1}
+
+}
+\newcommand{\apinforeq}[1]{%
+ This clause specifies the information required for #1
+
+\input{bpfap2}
+
+}
+\newenvironment{apuof}{%
+ This subclause specifies the units of functionality for the
+\theap\space application protocol. This part of ISO~10303
+specifies the following units of functionality:
+\begin{itemize}}{%
+\end{itemize}
+
+\input{bpfap3}
+
+}
+\newcommand{\apapplobj}{\input{bpfap4}}
+\newcommand{\apassert}{\input{bpfap5}}
+\newcommand{\apmapping}{%
+ \ifmapspec \input{apmpspec} \else \input{apmptbl} \fi}
+\newcommand{\apmappingspec}{\input{apmpspec}}
+\newcommand{\apmaptemplate}{\input{apmptempl}}
+\newcommand{\sstemplates}{\input{apsstempl}}
+\newcommand{\apshortexpress}{\input{bpfap6}}
+\newcommand{\apconformance}[1]{%
+
+\input{bpfap7}
+
+ An implementation shall support at least one of the following
+implementation methods: #1.
+
+\input{bpfap8}
+
+}
+\newenvironment{apconformclasses}{%
+ This part of ISO~10303 provides for a number of options that
+may be supported by an implementation. These options have been
+grouped into the following conformance classes:
+\begin{itemize}}{%
+\end{itemize}
+Support for a particular conformance class requires support of
+all the options specified in this class.
+
+ }
+\newcommand{\apshortnames}{\input{bpfap9}}
+\newcommand{\picsannex}{\input{bpfap10}}
+\gdef\aamfigrs{figure F.1}
+\newcommand{\aamfigrange}[1]{\gdef\aamfigrs{#1}}
+\newcommand{\apaamintro}{\input{bpfap11}}
+\newcommand{\apaamdefs}{\input{bpfap12}}
+\newcommand{\aamfigures}{\input{bpfap15}}
+\newcommand{\armintro}{%
+ This annex provides the application reference model for this part of ISO
+ 10303. The application reference model is a graphical
+ representation of the structure and constraints of the application objects
+ specified in \cref{;sireq}. The graphical form of the application reference
+ model is presented in \ifidefix IDEF1X. \else \ExpressG. \fi
+ The application reference model is
+ independent from any implementation method.
+ \ifidefix The diagrams use the IDEF1X graphical notation~\brefidefix.
+ \else \expressgdef. \fi
+
+}
+\newcommand{\aimexpressg}{%
+ The diagrams in this annex correspond to the AIM \Express{} expanded
+listing given in \aref{;saeel}.
+The diagrams use the \ExpressG{} graphical notation for the
+\Express{} language. \expressgdef.
+
+}
+\newcommand{\apexpurls}[2]{\input{bpfap13}
+
+ \begin{itemize}
+ \item Short names: \isourl{#1}
+ \item \Express: \isourl{#2}
+ \end{itemize}
+
+ \input{bpfap16}}
+\newcommand{\aimlongexp}{\input{bpfap14}}
+\newcommand{\apimpreq}[1]{%
+ The implementation method defines what types of exchange
+behaviour are required with respect to this part of ISO~10303.
+Conformance to this part of ISO~10303 shall be realized in an
+exchange structure. The file format shall be encoded according
+to the syntax and \Express{} language mapping defined in
+ISO~10303-21 and in the AIM defined in \aref{;saeel} of this part
+of ISO~10303. The header of the exchange structure shall identify
+use of this part of ISO~10303 by the schema name `#1'.
+
+}
+\endinput
+%%
+%% End of file `apv12.sty'.
diff --git a/Master/texmf-dist/tex/latex/iso10303/atsv11.sty b/Master/texmf-dist/tex/latex/iso10303/atsv11.sty
new file mode 100644
index 00000000000..e004c8ab8c7
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/iso10303/atsv11.sty
@@ -0,0 +1,154 @@
+%%
+%% This is file `atsv11.sty',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% stepe.dtx (with options: `ats')
+%%
+%% This work has been partially funded by the US government
+%% and is not subject to copyright.
+%%
+%% This program is provided under the terms of the
+%% LaTeX Project Public License distributed from CTAN
+%% archives in directory macros/latex/base/lppl.txt.
+%%
+%% Author: Peter Wilson (CUA and NIST)
+%% now at: peter.r.wilson@boeing.com
+%%
+\ProvidesPackage{atsv11}[2002/01/10 v1.1.2 STEP ATS package]
+ \RequirePackage{stepv13}[2002/01/10]
+
+
+\anirfalse
+
+\gdef\theAPpartno{}
+\newcommand{\APnumber}[1]{\gdef\theAPpartno{#1}}
+\gdef\theAPtitle{}
+\newcommand{\APtitle}[1]{\gdef\theAPtitle{#1}}
+
+\newcommand{\atssummary}{\underline{\texttt{Test case summary:}}}
+\newcommand{\atscovered}{\underline{\texttt{Test purposes covered:}}}
+\newcommand{\atsinput}{\underline{\texttt{Input specification:}}}
+\newcommand{\atsconstraints}{\underline{\texttt{Constraints on values:}}}
+\newcommand{\atsverdict}{\underline{\texttt{Verdict criteria:}}}
+\newcommand{\atsexecution}{\underline{\texttt{Execution sequence:}}}
+\newcommand{\atsextra}{\underline{\texttt{Extra details:}}}
+
+\newcommand{\purposeshead}{\clause{Test purposes}}
+\newcommand{\domainpurposehead}{\sclause{Domain test purposes}}
+\newcommand{\aepurposehead}{\sclause{Application element test purposes}}
+\newcommand{\apobjhead}[1]{\ssclause{#1}}
+\newcommand{\apasserthead}{\ssclause{Application assertions}}
+\newcommand{\aimpurposehead}{\sclause{AIM test purposes}}
+\newcommand{\aimenthead}[1]{\ssclause{#1}}
+\newcommand{\extrefpurposehead}{\sclause{External reference test purposes}}
+\newcommand{\implementpurposehead}{\sclause{Implementation method test purposes}}
+\newcommand{\otherpurposehead}{\sclause{Other test purposes}}
+\newcommand{\gtpvchead}{\clause{General test purposes and verdict criteria}}
+\newcommand{\generalpurposehead}{\sclause{General test purposes}}
+\newcommand{\gvcatchead}{\sclause{General verdict criteria for all abstract test cases}}
+\newcommand{\gvcprehead}{\sclause{General verdict criteria for preprocessor
+ abstract test cases}}
+\newcommand{\gvcposthead}{\sclause{General verdict criteria for postprocessor
+ abstract test cases}}
+\newcommand{\atchead}{\clause{Abstract test cases}}
+\newcommand{\atctitlehead}[1]{\sclause{#1}}
+\newcommand{\prehead}{\ssclause{Preprocessor}}
+\newcommand{\posthead}[1]{\ssclause{Postprocessor}}
+\newcommand{\confclassannexhead}{\normannex{Conformance classes}}
+\newcommand{\confclasshead}[1]{\sclause{Conformance class #1}}
+\newcommand{\postipfilehead}{\normannex{Postprocessor input specification file names}}
+\newcommand{\atsusagehead}{\infannex{Usage scenarios}}
+\newcommand{\atsintroendbp}{%
+ \input{bpfats1}
+}
+\newcommand{\atsscopebp}{%
+ \input{bpfats2}
+}
+\newcommand{\atspurposebp}{%
+
+ This clause specifies the test purposes for this part of ISO 10303.
+Clauses 4.1 and 4.2 are describe the source and meaning of test
+purposes that are derived from the information
+requirements defined in ISO 10303-\theAPpartno, clause 4, and the
+AIM \Express{} schema defined in ISO 10303-\theAPpartno, annex A.
+These test purposes are not repeated in this part of ISO~10303.
+However, through reference in a test case each specific element
+from the application elements of the AIM implicitly requires
+that the identified element, as specified in the test purpose statement,
+will be correctly instantiated by the implementation under test. \par
+}
+
+\newcommand{\aetpbp}{%
+ \input{bpfats3}
+}
+\newcommand{\aimtpbp}{%
+ \input{bpfats4}
+}
+\newcommand{\atsimtpbp}{\input{bpfats14}}
+
+\newcommand{\atsgtpvcbp}{%
+ \input{bpfats5}
+}
+\newcommand{\gtpbp}{%
+ \input{bpfats6} }
+\newcommand{\gvatcbp}{%
+ \input{bpfats7} }
+\newcommand{\gvcprebp}{%
+ \input{bpfats8} }
+\newcommand{\gvcpostbp}{%
+ \input{bpfats9} }
+\newcommand{\atcbp}{%
+ This clause specifies the abstract test cases for this part of
+ISO 10303. Each abstract test case addresses one or more test purposes
+explicitly or implicitly specified in clause~4.
+\par
+}
+
+\newcommand{\atcbpii}{%
+ \input{bpfats10}
+}
+\newcommand{\atcpretpc}{%
+ \input{bpfats11}
+}
+
+\newcommand{\atcposttpc}{%
+ \input{bpfats12}
+}
+
+\newcommand{\confclassbp}[1]{%
+
+ To conform to conformance class #1 of ISO 10303-\theAPpartno,
+an implementation shall pass executable versions of the following
+abstract test cases: }
+\newcommand{\atsnoclassesbp}{%
+ Conformance to ISO 10303-\theAPpartno\ is defined only in terms
+of the entire AP. Therefore, conformance requires that an
+implementation pass executable versions of all abstract
+test cases in clause 6. }
+\newcommand{\pisfbp}[3]{\par
+ This annex references a listing of the postprocessor input
+specifications for this part of ISO~10303 without comments or other
+explanatory text. These specifications are documented using
+ISO 10303-#1. These specifications are available in
+computer-interpretable form and can be found at the following URL:
+\begin{center}
+\isourl{#2}
+\end{center}
+
+ If there is difficulty accessing this site contact the ISO Central
+Secretariat or contact the ISO TC184/SC4 Secretariat directly at:
+\url{sc4sec@cme.nist.gov}.
+
+ The postprocessor input specifications for each test case is supplied
+electronically via the Internet. Table~#3 lists
+the file name of the postprocessor input specification that is
+associated with the postprocessor subclause(s) of a test case.
+\par
+%%% \input{bpfats13}
+}
+
+\endinput
+%%
+%% End of file `atsv11.sty'.
diff --git a/Master/texmf-dist/tex/latex/iso10303/bpfap1.tex b/Master/texmf-dist/tex/latex/iso10303/bpfap1.tex
new file mode 100644
index 00000000000..e2a78bd8309
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/iso10303/bpfap1.tex
@@ -0,0 +1,29 @@
+%%
+%% This is file `bpfap1.tex',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% stepe.dtx (with options: `bpfap1')
+%%
+%% This work has been partially funded by the US government
+%% and is not subject to copyright.
+%%
+%% This program is provided under the terms of the
+%% LaTeX Project Public License distributed from CTAN
+%% archives in directory macros/latex/base/lppl.txt.
+%%
+%% Author: Peter Wilson (CUA and NIST)
+%% now at: peter.r.wilson@boeing.com
+%%
+\ProvidesFile{bpfap1.tex}[2001/07/16 AP start scope clause boilerplate]
+\typeout{bpfap1.tex [2001/07/16 AP start scope clause boilerplate]}
+
+\begin{anote}The application activity model in \aref{;saam} provides a
+ graphical representation of the processes and
+ information flows that are the basis for the definition
+ of the scope of this part of ISO~10303.\end{anote}
+
+\endinput
+%%
+%% End of file `bpfap1.tex'.
diff --git a/Master/texmf-dist/tex/latex/iso10303/bpfap10.tex b/Master/texmf-dist/tex/latex/iso10303/bpfap10.tex
new file mode 100644
index 00000000000..6f46ba03059
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/iso10303/bpfap10.tex
@@ -0,0 +1,38 @@
+%%
+%% This is file `bpfap10.tex',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% stepe.dtx (with options: `bpfap10')
+%%
+%% This work has been partially funded by the US government
+%% and is not subject to copyright.
+%%
+%% This program is provided under the terms of the
+%% LaTeX Project Public License distributed from CTAN
+%% archives in directory macros/latex/base/lppl.txt.
+%%
+%% Author: Peter Wilson (CUA and NIST)
+%% now at: peter.r.wilson@boeing.com
+%%
+\ProvidesFile{bpfap10.tex}[1997/09/30 AP PICS annex boilerplate]
+\typeout{bpfap10.tex [1997/09/30 AP PICS annex boilerplate]}
+
+ This clause lists the optional elements of this part
+of ISO~10303. An implementation may choose to support
+any combination of these optional elements. However,
+certain combinations of options are likely to be
+implemented together. These combinations are called
+conformance classes and are described in the subclauses
+of this annex.
+
+ This annex is in the form of a questionnaire. This
+questionnaire is intended to be filled out by the
+implementor and may be used in preparation for conformance
+testing by a testing laboratory. The completed PICS proforma
+is referred to as a PICS.
+
+\endinput
+%%
+%% End of file `bpfap10.tex'.
diff --git a/Master/texmf-dist/tex/latex/iso10303/bpfap11.tex b/Master/texmf-dist/tex/latex/iso10303/bpfap11.tex
new file mode 100644
index 00000000000..a4128a261e1
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/iso10303/bpfap11.tex
@@ -0,0 +1,34 @@
+%%
+%% This is file `bpfap11.tex',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% stepe.dtx (with options: `bpfap11')
+%%
+%% This work has been partially funded by the US government
+%% and is not subject to copyright.
+%%
+%% This program is provided under the terms of the
+%% LaTeX Project Public License distributed from CTAN
+%% archives in directory macros/latex/base/lppl.txt.
+%%
+%% Author: Peter Wilson (CUA and NIST)
+%% now at: peter.r.wilson@boeing.com
+%%
+\ProvidesFile{bpfap11.tex}[2001/07/16 AP AAM annex intro boilerplate]
+\typeout{bpfap11.tex [2001/07/16 AP AAM annex intro boilerplate}
+
+ The application activity model (AAM) is provided as an aid
+in understanding the scope and information requirements
+defined in this application protocol. The model is presented
+as a set of figures that contain the activity
+diagrams and a set of definitions of the activities
+and their data.
+%%%%%% The application activity model is given in \aamfigrs.
+Activities and data flows that are out of scope are marked with
+an asterisk.
+
+\endinput
+%%
+%% End of file `bpfap11.tex'.
diff --git a/Master/texmf-dist/tex/latex/iso10303/bpfap12.tex b/Master/texmf-dist/tex/latex/iso10303/bpfap12.tex
new file mode 100644
index 00000000000..2873fe8cbbd
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/iso10303/bpfap12.tex
@@ -0,0 +1,31 @@
+%%
+%% This is file `bpfap12.tex',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% stepe.dtx (with options: `bpfap12')
+%%
+%% This work has been partially funded by the US government
+%% and is not subject to copyright.
+%%
+%% This program is provided under the terms of the
+%% LaTeX Project Public License distributed from CTAN
+%% archives in directory macros/latex/base/lppl.txt.
+%%
+%% Author: Peter Wilson (CUA and NIST)
+%% now at: peter.r.wilson@boeing.com
+%%
+\ProvidesFile{bpfap12.tex}[1997/09/30 AP AAM definitions boilerplate]
+\typeout{bpfap12.tex [1997/09/30 AP AAM definitions boilerplate]}
+
+ The following terms are used in the application
+activity model. Terms marked with an asterisk are outside
+the scope of this application protocol.
+
+ The definitions given in this annex do not supersede
+the definitions given in the main body of the text.
+
+\endinput
+%%
+%% End of file `bpfap12.tex'.
diff --git a/Master/texmf-dist/tex/latex/iso10303/bpfap13.tex b/Master/texmf-dist/tex/latex/iso10303/bpfap13.tex
new file mode 100644
index 00000000000..52e190bd19a
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/iso10303/bpfap13.tex
@@ -0,0 +1,31 @@
+%%
+%% This is file `bpfap13.tex',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% stepe.dtx (with options: `bpfap13')
+%%
+%% This work has been partially funded by the US government
+%% and is not subject to copyright.
+%%
+%% This program is provided under the terms of the
+%% LaTeX Project Public License distributed from CTAN
+%% archives in directory macros/latex/base/lppl.txt.
+%%
+%% Author: Peter Wilson (CUA and NIST)
+%% now at: peter.r.wilson@boeing.com
+%%
+\ProvidesFile{bpfap13.tex}[2001/07/16 AP short names/EXPRESS listing boilerplate (1)]
+\typeout{bpfap13.tex [2001/07/16 AP ahort names/EXPRESS listing boilerplate (1)]}
+
+ This annex provides a listing of the complete \Express{} schema
+specified in \aref{;saeel} of this part of ISO~10303 without comments
+or explanatory text. It also provides a listing of the \Express{} entity
+names and corresponding short names as specified in \aref{;sasn}
+of this part of ISO~10303. The content of this annex is available
+in computer-interpretable form and can be found at the following URLs:
+
+\endinput
+%%
+%% End of file `bpfap13.tex'.
diff --git a/Master/texmf-dist/tex/latex/iso10303/bpfap14.tex b/Master/texmf-dist/tex/latex/iso10303/bpfap14.tex
new file mode 100644
index 00000000000..69124e3e4df
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/iso10303/bpfap14.tex
@@ -0,0 +1,29 @@
+%%
+%% This is file `bpfap14.tex',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% stepe.dtx (with options: `bpfap14')
+%%
+%% This work has been partially funded by the US government
+%% and is not subject to copyright.
+%%
+%% This program is provided under the terms of the
+%% LaTeX Project Public License distributed from CTAN
+%% archives in directory macros/latex/base/lppl.txt.
+%%
+%% Author: Peter Wilson (CUA and NIST)
+%% now at: peter.r.wilson@boeing.com
+%%
+\ProvidesFile{bpfap14.tex}[1997/09/30 AP AIM EXPRESS expanded listing boilerplate]
+\typeout{bpfap14.tex [1997/09/30 AP AIM EXPRESS expanded listing boilerplate]}
+
+ The following \Express{} is the expanded form of the short
+form schema given in~\ref{;saesl}. In the event of any discrepancy
+between the short form and this expanded listing, the expanded
+listing shall be used.
+
+\endinput
+%%
+%% End of file `bpfap14.tex'.
diff --git a/Master/texmf-dist/tex/latex/iso10303/bpfap15.tex b/Master/texmf-dist/tex/latex/iso10303/bpfap15.tex
new file mode 100644
index 00000000000..230dad86e44
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/iso10303/bpfap15.tex
@@ -0,0 +1,30 @@
+%%
+%% This is file `bpfap15.tex',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% stepe.dtx (with options: `bpfap15')
+%%
+%% This work has been partially funded by the US government
+%% and is not subject to copyright.
+%%
+%% This program is provided under the terms of the
+%% LaTeX Project Public License distributed from CTAN
+%% archives in directory macros/latex/base/lppl.txt.
+%%
+%% Author: Peter Wilson (CUA and NIST)
+%% now at: peter.r.wilson@boeing.com
+%%
+\ProvidesFile{bpfap15.tex}[2001/07/16 AP AAM annex figures subclause boilerplate]
+\typeout{bpfap15.tex [2001/07/16 AP AAM annex figures subclause boilerplate]}
+
+ The application activity model diagrams are given in \aamfigrs. The
+graphical form of the application activity model is
+presented in the IDEF0 activity modelling format \brefidefo.
+Activities and data flows that are out of scope are
+marked with asterisks.
+
+\endinput
+%%
+%% End of file `bpfap15.tex'.
diff --git a/Master/texmf-dist/tex/latex/iso10303/bpfap16.tex b/Master/texmf-dist/tex/latex/iso10303/bpfap16.tex
new file mode 100644
index 00000000000..bfca6006846
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/iso10303/bpfap16.tex
@@ -0,0 +1,32 @@
+%%
+%% This is file `bpfap16.tex',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% stepe.dtx (with options: `bpfap16')
+%%
+%% This work has been partially funded by the US government
+%% and is not subject to copyright.
+%%
+%% This program is provided under the terms of the
+%% LaTeX Project Public License distributed from CTAN
+%% archives in directory macros/latex/base/lppl.txt.
+%%
+%% Author: Peter Wilson (CUA and NIST)
+%% now at: peter.r.wilson@boeing.com
+%%
+\ProvidesFile{bpfap16.tex}[1999/02/15 AP short names and EXPRESS annex ending boilerplate]
+\typeout{bpfap16.tex [1997/09/30 AP short names and EXPRESS annex ending boilerplate]}
+
+ If there is difficulty accessing these sites contact ISO Central Secretariat or
+contact the ISO TC~184/SC4 Secretariat directly at: \url{sc4sec@cme.nist.gov}.
+
+\begin{anote}The information provided in computer-interpretable form at the above
+ URLs is informative. The information that is contained in the body of this
+ part of ISO~10303 is normative.
+\end{anote}
+
+\endinput
+%%
+%% End of file `bpfap16.tex'.
diff --git a/Master/texmf-dist/tex/latex/iso10303/bpfap2.tex b/Master/texmf-dist/tex/latex/iso10303/bpfap2.tex
new file mode 100644
index 00000000000..33657bac07f
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/iso10303/bpfap2.tex
@@ -0,0 +1,44 @@
+%%
+%% This is file `bpfap2.tex',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% stepe.dtx (with options: `bpfap2')
+%%
+%% This work has been partially funded by the US government
+%% and is not subject to copyright.
+%%
+%% This program is provided under the terms of the
+%% LaTeX Project Public License distributed from CTAN
+%% archives in directory macros/latex/base/lppl.txt.
+%%
+%% Author: Peter Wilson (CUA and NIST)
+%% now at: peter.r.wilson@boeing.com
+%%
+\ProvidesFile{bpfap2.tex}[2001/07/16 AP info boilerplate]
+\typeout{bpfap2.tex [2001/07/16 AP info boilerplate]}
+
+ The information requirements are specified as a set of
+units of functionality, application objects, and
+application assertions. These assertions pertain to
+individual application objects and to relationships
+between application objects. The information requirements
+are defined using the terminology of the subject area of
+this application protocol.
+
+\begin{note}A graphical representation of the information
+ requirements is given in \aref{;sarm}.\end{note}
+\begin{note}The information requirements correspond to those of
+ the activities identified as being within the scope of this
+ application protocol in \aref{;saam}.\end{note}
+\begin{note}The mapping \maptableorspec{}
+ specified in~\ref{;smap} shows how the
+ integrated resources
+ \ifaicinap and application interpreted constructs \fi
+ are used to meet the information requirements of this
+ application protocol. \end{note}
+
+\endinput
+%%
+%% End of file `bpfap2.tex'.
diff --git a/Master/texmf-dist/tex/latex/iso10303/bpfap3.tex b/Master/texmf-dist/tex/latex/iso10303/bpfap3.tex
new file mode 100644
index 00000000000..cd5d9ad31d3
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/iso10303/bpfap3.tex
@@ -0,0 +1,28 @@
+%%
+%% This is file `bpfap3.tex',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% stepe.dtx (with options: `bpfap3')
+%%
+%% This work has been partially funded by the US government
+%% and is not subject to copyright.
+%%
+%% This program is provided under the terms of the
+%% LaTeX Project Public License distributed from CTAN
+%% archives in directory macros/latex/base/lppl.txt.
+%%
+%% Author: Peter Wilson (CUA and NIST)
+%% now at: peter.r.wilson@boeing.com
+%%
+\ProvidesFile{bpfap3.tex}[1997/09/30 AP uof boilerplate]
+\typeout{bpfap3.tex [1997/09/30 AP uof boilerplate]}
+
+ The units of functionality and a description of the functions
+that each UoF supports are given below. The application objects
+included in the UoFs are defined in~\ref{;sao}.
+
+\endinput
+%%
+%% End of file `bpfap3.tex'.
diff --git a/Master/texmf-dist/tex/latex/iso10303/bpfap4.tex b/Master/texmf-dist/tex/latex/iso10303/bpfap4.tex
new file mode 100644
index 00000000000..52d973de737
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/iso10303/bpfap4.tex
@@ -0,0 +1,31 @@
+%%
+%% This is file `bpfap4.tex',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% stepe.dtx (with options: `bpfap4')
+%%
+%% This work has been partially funded by the US government
+%% and is not subject to copyright.
+%%
+%% This program is provided under the terms of the
+%% LaTeX Project Public License distributed from CTAN
+%% archives in directory macros/latex/base/lppl.txt.
+%%
+%% Author: Peter Wilson (CUA and NIST)
+%% now at: peter.r.wilson@boeing.com
+%%
+\ProvidesFile{bpfap4.tex}[1997/09/30 AP application objects boilerplate]
+\typeout{bpfap4.tex [1997/09/30 AP application objects boilerplate]}
+
+ This subclause specifies the application objects for
+the \theap\space application protocol. Each application
+object is an atomic element that embodies a unique
+application concept and contains attributes specifying
+the data elements of the object. The application objects
+and their definitions are given below.
+
+\endinput
+%%
+%% End of file `bpfap4.tex'.
diff --git a/Master/texmf-dist/tex/latex/iso10303/bpfap5.tex b/Master/texmf-dist/tex/latex/iso10303/bpfap5.tex
new file mode 100644
index 00000000000..2c9e5192fb8
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/iso10303/bpfap5.tex
@@ -0,0 +1,32 @@
+%%
+%% This is file `bpfap5.tex',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% stepe.dtx (with options: `bpfap5')
+%%
+%% This work has been partially funded by the US government
+%% and is not subject to copyright.
+%%
+%% This program is provided under the terms of the
+%% LaTeX Project Public License distributed from CTAN
+%% archives in directory macros/latex/base/lppl.txt.
+%%
+%% Author: Peter Wilson (CUA and NIST)
+%% now at: peter.r.wilson@boeing.com
+%%
+\ProvidesFile{bpfap5.tex}[1997/09/30 AP application assertions boilerplate]
+\typeout{bpfap5.tex [1997/09/30 AP application assertions boilerplate]}
+
+ This subclause specifies the application assertions for the
+\theap\space application protocol. Application assertions
+specify the relationships between application objects,
+the cardinality of the relationships, and the rules required
+for the integrity and validity of the application objects and
+UoFs. The application assertions and their definitions are
+given below.
+
+\endinput
+%%
+%% End of file `bpfap5.tex'.
diff --git a/Master/texmf-dist/tex/latex/iso10303/bpfap6.tex b/Master/texmf-dist/tex/latex/iso10303/bpfap6.tex
new file mode 100644
index 00000000000..96dbce95384
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/iso10303/bpfap6.tex
@@ -0,0 +1,41 @@
+%%
+%% This is file `bpfap6.tex',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% stepe.dtx (with options: `bpfap6')
+%%
+%% This work has been partially funded by the US government
+%% and is not subject to copyright.
+%%
+%% This program is provided under the terms of the
+%% LaTeX Project Public License distributed from CTAN
+%% archives in directory macros/latex/base/lppl.txt.
+%%
+%% Author: Peter Wilson (CUA and NIST)
+%% now at: peter.r.wilson@boeing.com
+%%
+\ProvidesFile{bpfap6.tex}[2002/01/22 AP AIM EXPRESS short listing boilerplate]
+\typeout{bpfap6.tex [2002/01/22 AP AIM EXPRESS short listing boilerplate]}
+
+ This clause specifies the \Express{} schema that uses
+elements from the integrated resources
+\ifaicinap and the AICs \fi
+and contains the types, entity specializations, rules,
+and functions that are specific to this part of ISO~10303.
+This clause also specifies modifications to the text
+for constructs that are imported from the
+integrated
+\ifaicinap resources and the AICs. \else resources. \fi
+The definitions and
+\Express{} provided in the integrated resources for constructs
+used in the AIM may include select list items and subtypes
+that are not imported into the AIM. Requirements stated
+in the integrated resources that refer to select list items and
+subtypes apply exclusively to those items that are imported
+into the AIM.
+
+\endinput
+%%
+%% End of file `bpfap6.tex'.
diff --git a/Master/texmf-dist/tex/latex/iso10303/bpfap7.tex b/Master/texmf-dist/tex/latex/iso10303/bpfap7.tex
new file mode 100644
index 00000000000..4503bd183fa
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/iso10303/bpfap7.tex
@@ -0,0 +1,29 @@
+%%
+%% This is file `bpfap7.tex',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% stepe.dtx (with options: `bpfap7')
+%%
+%% This work has been partially funded by the US government
+%% and is not subject to copyright.
+%%
+%% This program is provided under the terms of the
+%% LaTeX Project Public License distributed from CTAN
+%% archives in directory macros/latex/base/lppl.txt.
+%%
+%% Author: Peter Wilson (CUA and NIST)
+%% now at: peter.r.wilson@boeing.com
+%%
+\ProvidesFile{bpfap7.tex}[1997/09/30 AP conformance boilerplate (1)]
+\typeout{bpfap7.tex [1997/09/30 AP conformance boilerplate (1)]}
+
+ Conformance to this part of ISO 10303 includes satisfying
+the requirements stated in this part, the requirements of
+the implementation method(s) supported, and the relevant
+requirements of the normative references.
+
+\endinput
+%%
+%% End of file `bpfap7.tex'.
diff --git a/Master/texmf-dist/tex/latex/iso10303/bpfap8.tex b/Master/texmf-dist/tex/latex/iso10303/bpfap8.tex
new file mode 100644
index 00000000000..e7e7eae6b19
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/iso10303/bpfap8.tex
@@ -0,0 +1,32 @@
+%%
+%% This is file `bpfap8.tex',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% stepe.dtx (with options: `bpfap8')
+%%
+%% This work has been partially funded by the US government
+%% and is not subject to copyright.
+%%
+%% This program is provided under the terms of the
+%% LaTeX Project Public License distributed from CTAN
+%% archives in directory macros/latex/base/lppl.txt.
+%%
+%% Author: Peter Wilson (CUA and NIST)
+%% now at: peter.r.wilson@boeing.com
+%%
+\ProvidesFile{bpfap8.tex}[1997/09/30 AP conformance boilerplate (2)]
+\typeout{bpfap8.tex [1997/09/30 AP conformance boilerplate (2)]}
+
+Requirements with respect to implementation methods-specific
+requirements are specified in \aref{;simreq}.
+
+ The Protocol Information Conformance Statement (PICS)
+proforma lists the options or the combination of options
+that may be included in the implementation. The PICS
+proforma is provided in \aref{;spics}.
+
+\endinput
+%%
+%% End of file `bpfap8.tex'.
diff --git a/Master/texmf-dist/tex/latex/iso10303/bpfap9.tex b/Master/texmf-dist/tex/latex/iso10303/bpfap9.tex
new file mode 100644
index 00000000000..29bb45b7172
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/iso10303/bpfap9.tex
@@ -0,0 +1,29 @@
+%%
+%% This is file `bpfap9.tex',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% stepe.dtx (with options: `bpfap9')
+%%
+%% This work has been partially funded by the US government
+%% and is not subject to copyright.
+%%
+%% This program is provided under the terms of the
+%% LaTeX Project Public License distributed from CTAN
+%% archives in directory macros/latex/base/lppl.txt.
+%%
+%% Author: Peter Wilson (CUA and NIST)
+%% now at: peter.r.wilson@boeing.com
+%%
+\ProvidesFile{bpfap9.tex}[1997/09/30 AP short names boilerplate]
+\typeout{bpfap9.tex [1997/09/30 AP short boilerplate]}
+
+ Table B.1 provides the short names of entities specified
+in the AIM of this part of ISO~10303. Requirements on the
+use of the short names are found in the implementation methods
+included in ISO~10303.
+
+\endinput
+%%
+%% End of file `bpfap9.tex'.
diff --git a/Master/texmf-dist/tex/latex/iso10303/bpfats1.tex b/Master/texmf-dist/tex/latex/iso10303/bpfats1.tex
new file mode 100644
index 00000000000..0e1b6fa718a
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/iso10303/bpfats1.tex
@@ -0,0 +1,84 @@
+%%
+%% This is file `bpfats1.tex',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% stepe.dtx (with options: `bpfats1')
+%%
+%% This work has been partially funded by the US government
+%% and is not subject to copyright.
+%%
+%% This program is provided under the terms of the
+%% LaTeX Project Public License distributed from CTAN
+%% archives in directory macros/latex/base/lppl.txt.
+%%
+%% Author: Peter Wilson (CUA and NIST)
+%% now at: peter.r.wilson@boeing.com
+%%
+\ProvidesFile{bpfats1.tex}[2001/07/16 ATS end intro boilerplate]
+\typeout{bpfats1.tex [2001/07/16 ATS end intro boilerplate]}
+
+The purpose of an abstract test suite is to provide a basis for
+evaluating whether a particular implementation of an application
+protocol actually conforms to the requirements of that application
+protocol. A standard abstract test suite helps ensure that
+evaluations of conformance are conducted in a consistent manner
+by different test laboratories.
+
+This part of ISO~10303 specifies the abstract test suite for
+ISO 10303-\theAPpartno, application protocol \theAPtitle.
+The abstract test cases presented here are the basis for
+conformance testing of implentations of ISO 10303-\theAPpartno.
+
+ This abstract test suite is made up of two major parts:
+\begin{itemize}
+\item the test purposes, the specific items to be covered by
+ conformance testing;
+\item the set of abstract test cases that meet those test purposes.
+\end{itemize}
+
+ The test purposes are statements of the application protocol
+requirements that are to be addressed by the abstract test cases.
+Test purposes are derived primarily from the application protocol's
+information requirements and AIM,
+as well as from other sources such as standards
+referenced by the application protocol and other requirements
+stated in the application protocol conformance requirements clause.
+
+ The abstract test cases address the test purpose by:
+\begin{itemize}
+\item specifying the requirements for input data to be used when
+ testing an implementation of the application protocol;
+\item specifying the verdict criteria to be used when evaluating
+ whether the implementation successfully converted the input
+ data to a different form.
+\end{itemize}
+
+ The abstract test cases set the requirements for the
+executable test cases that are required to actually conduct
+a conformance test. Executable test cases contain the scripts,
+detailed values, and other explicit information required to
+conduct a conformance test on a specific implementation of
+the application protocol.
+
+ At the time of publication of this document, conformance
+testing requirements had been established for implementations
+of application protocols in combination with ISO 10303-21 and
+ISO 10303-22. This part of ISO 10303 only specifies
+test purposes and abstract test cases for a subset of such
+implementations.
+
+ For ISO 10303-21, two kinds of implementations, preprocessors and
+postprocessors, must be tested. Both of these are addressed in this
+abstract test suite.
+
+ For ISO 10303-22, a class of applications will possess the capability
+to upload and download AP-compliant SDAI-models or schema instances
+to and from applications that implement the SDAI. By providing test case
+data that correspond with SDAI-models, this abstract test suite addresses
+such applications in a single-schema scenario.
+
+\endinput
+%%
+%% End of file `bpfats1.tex'.
diff --git a/Master/texmf-dist/tex/latex/iso10303/bpfats10.tex b/Master/texmf-dist/tex/latex/iso10303/bpfats10.tex
new file mode 100644
index 00000000000..4a04e70d80b
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/iso10303/bpfats10.tex
@@ -0,0 +1,91 @@
+%%
+%% This is file `bpfats10.tex',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% stepe.dtx (with options: `bpfats10')
+%%
+%% This work has been partially funded by the US government
+%% and is not subject to copyright.
+%%
+%% This program is provided under the terms of the
+%% LaTeX Project Public License distributed from CTAN
+%% archives in directory macros/latex/base/lppl.txt.
+%%
+%% Author: Peter Wilson (CUA and NIST)
+%% now at: peter.r.wilson@boeing.com
+%%
+\ProvidesFile{bpfats10.tex}[2001/07/16 ATS ats clause boilerplate]
+\typeout{bpfats10.tex [2001/07/16 ATS ats clause boilerplate]}
+
+ Each abstract test case has a subclause for the preprocessor
+test information and a subclause for each postprocessor
+input specification and related test information.
+The preprocessor and postprocessor input specifications
+are mirror images of each other: they represent the same
+semantic information. The preprocessor input model is presented
+in the form of a table with five columns:
+\begin{itemize}
+\item The Id column contains an identifier for the application object
+ instantiated in a particular row. The identifier may be
+ referenced as the value of an application assertion.
+ The identifier is the lowest-level subclause number from
+ ISO 10303-\theAPpartno, 4.2 where the application
+ element that appears in that row of the table is specified.
+
+\item The V column specifies whether or not the element in that
+ row of the table is assigned a verdict in this test case.
+ A blank indicates that it is not assigned a verdict in this test case.
+ A `*' indicates that it is assigned a verdict
+ using a derived verdict criteria. The derived verdict criteria
+ determine whether the semantics associated with the application
+ element are preserved in the output of the IUT according to
+ the reference paths specified in the mapping table defined
+ in ISO 10303-\theAPpartno, 5.1. A number in the V column references
+ a specific verdict criterion defined in the verdict criteria
+ section that follows the preprocessor input specification table.
+
+\item The Application Elements column identifies the particular
+ application element instance that is being
+ defined by the table. For assertions the role is specified
+ in parenthesis.
+
+\item The Value column specifies a specific value for the application
+ element. For application objects and attributes the value column
+ defines the semantic value for that element's instance in the
+ input model. A `\#$<$number$>$' in the column is a reference
+ to an entity instance name in the postprocessor input specification
+ where the corresponding value is specified. For assertions, this
+ column holds a link to the related application object.
+ A `$<$not\_present$>$' indicates that the
+ application element is not present in the
+ input model.
+
+\item The Req column specifies whether the value in the Value column
+ is mandatory (M), suggested (S) or constrained (C$<$n$>$), where `n'
+ is an integer referencing a note that follows the table.
+ A suggested value may be changed by the test realizer.
+ A mandatory value may not be changed due to rules in \Express,
+ rules in the mapping \maptableorspec, or the requirements of the test
+ purpose being assigned a verdict. Each constrained value references
+ a note labelled C$<$number$>$ at the end of the preprocessor
+ input model table and may be modified according to specific
+ constraints specified in it.
+\end{itemize}
+
+ The postprocessor input specifications are defined using
+ISO 10303-\theAPpartno. The values in the postprocessor specifications
+are suggested unless declared mandatory or constrained by the
+preprocessor input table.
+
+ The abstract test case specifies all the verdict criteria that are
+used to assign a verdict during testing. Special verdict criteria for
+preprocessor and postprocessor testing are defined explicitly in each
+abstract test case subclause. The relevant derived verdict criteria
+for preprocessor and postprocessor testing are identified in the V
+column of the preprocessor input table.
+
+\endinput
+%%
+%% End of file `bpfats10.tex'.
diff --git a/Master/texmf-dist/tex/latex/iso10303/bpfats11.tex b/Master/texmf-dist/tex/latex/iso10303/bpfats11.tex
new file mode 100644
index 00000000000..b51ddb4076a
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/iso10303/bpfats11.tex
@@ -0,0 +1,32 @@
+%%
+%% This is file `bpfats11.tex',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% stepe.dtx (with options: `bpfats11')
+%%
+%% This work has been partially funded by the US government
+%% and is not subject to copyright.
+%%
+%% This program is provided under the terms of the
+%% LaTeX Project Public License distributed from CTAN
+%% archives in directory macros/latex/base/lppl.txt.
+%%
+%% Author: Peter Wilson (CUA and NIST)
+%% now at: peter.r.wilson@boeing.com
+%%
+\ProvidesFile{bpfats11.tex}[2001/07/16 ATS preprocessor purposes covered boilerplate]
+\typeout{bpfats11.tex [2001/07/16 ATS preprocessor purposes covered boilerplate]}
+
+ In the preprocessor input specification table of this test case, the
+numbers in the Id column (ignoring the part beyond the decimal point, if any)
+whose rows are not empty in the V column identify the application objects
+that are covered by this test case. These Id numbers refer directly to
+the subclause numbers within ISO 10303-\theAPpartno, 4.2, where the
+application object is defined.
+\par
+
+\endinput
+%%
+%% End of file `bpfats11.tex'.
diff --git a/Master/texmf-dist/tex/latex/iso10303/bpfats12.tex b/Master/texmf-dist/tex/latex/iso10303/bpfats12.tex
new file mode 100644
index 00000000000..82586ca6eb4
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/iso10303/bpfats12.tex
@@ -0,0 +1,32 @@
+%%
+%% This is file `bpfats12.tex',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% stepe.dtx (with options: `bpfats12')
+%%
+%% This work has been partially funded by the US government
+%% and is not subject to copyright.
+%%
+%% This program is provided under the terms of the
+%% LaTeX Project Public License distributed from CTAN
+%% archives in directory macros/latex/base/lppl.txt.
+%%
+%% Author: Peter Wilson (CUA and NIST)
+%% now at: peter.r.wilson@boeing.com
+%%
+\ProvidesFile{bpfats12.tex}[2001/07/16 ATS postprocessor purposes covered boilerplate]
+\typeout{bpfats12.tex [2001/07/16 ATS postprocessor purposes covered boilerplate]}
+
+ In the postprocessor input specification table of this test case, the
+numbers in the Id column (ignoring the part beyond the decimal point, if any)
+whose rows are not empty in the V column identify the application objects
+that are covered by this test case. These Id numbers refer directly to
+the subclause numbers within ISO 10303-\theAPpartno, 4.2, where the
+application object is defined.
+\par
+
+\endinput
+%%
+%% End of file `bpfats12.tex'.
diff --git a/Master/texmf-dist/tex/latex/iso10303/bpfats14.tex b/Master/texmf-dist/tex/latex/iso10303/bpfats14.tex
new file mode 100644
index 00000000000..cb5e86b9f96
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/iso10303/bpfats14.tex
@@ -0,0 +1,52 @@
+%%
+%% This is file `bpfats14.tex',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% stepe.dtx (with options: `bpfats14')
+%%
+%% This work has been partially funded by the US government
+%% and is not subject to copyright.
+%%
+%% This program is provided under the terms of the
+%% LaTeX Project Public License distributed from CTAN
+%% archives in directory macros/latex/base/lppl.txt.
+%%
+%% Author: Peter Wilson (CUA and NIST)
+%% now at: peter.r.wilson@boeing.com
+%%
+\ProvidesFile{bpfats14.tex}[2001/07/16 ATS implementation method test purpose intro boilerplate]
+\typeout{bpfats14.tex [2001/07/16 ATS implementation method test purpose intro boilerplate]}
+
+ The following test purpose is derived from requirements in
+ISO 10303-21 and applies to preprocessors only.
+
+other1 The IUT correctly encodes the AIM schema name in the exchange
+ structure.
+
+ The following test purposes are derived from requirements in
+ISO 10303-21 and apply to postprocessors only.
+
+other2 The IUT interprets the ISO 10303-21 header section
+ present in the exchange structure.
+
+other3 The IUT interprets the ISO 10303-21 SCOPE and EXPORT constructs
+ present in the exchange structure.
+
+other4 The IUT interprets the ISO 10303-21 user-defined entity constructs
+ present in the exchange structure.
+
+other5 The IUT interprets various representations of numbers
+ present in the exchange structure
+ in accordance with ISO 10303-21.
+
+other6 The IUT interprets various sequences of symbols
+ present in the exchange structure
+ in accordance with ISO 10303-21.
+
+\par
+
+\endinput
+%%
+%% End of file `bpfats14.tex'.
diff --git a/Master/texmf-dist/tex/latex/iso10303/bpfats2.tex b/Master/texmf-dist/tex/latex/iso10303/bpfats2.tex
new file mode 100644
index 00000000000..d727109c75f
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/iso10303/bpfats2.tex
@@ -0,0 +1,51 @@
+%%
+%% This is file `bpfats2.tex',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% stepe.dtx (with options: `bpfats2')
+%%
+%% This work has been partially funded by the US government
+%% and is not subject to copyright.
+%%
+%% This program is provided under the terms of the
+%% LaTeX Project Public License distributed from CTAN
+%% archives in directory macros/latex/base/lppl.txt.
+%%
+%% Author: Peter Wilson (CUA and NIST)
+%% now at: peter.r.wilson@boeing.com
+%%
+\ProvidesFile{bpfats2.tex}[1997/09/30 ATS scope boilerplate]
+\typeout{bpfats2.tex [1997/09/30 ATS scope boilerplate]}
+
+ This part of ISO 10303 specifies the abstract test suite to be
+used in the conformance testing of implementations of
+ISO 10303-\theAPpartno.
+The following are within the scope of this part of ISO 10303:
+\begin{itemize}
+\item the specification of the test purposes associated with
+ ISO 10303-\theAPpartno;
+\item the verdict criteria to be applied during conformance
+ testing of an implementation of ISO 10303-\theAPpartno\
+ using ISO 10303-21 or ISO 10303-22;
+ \begin{anote}
+ The verdict criteria are used to ascertain whether a test purpose
+ has been satisfactorily met by an implementation under test (IUT)
+ within the context of a given test case.
+ \end{anote}
+\item the abstract test cases to be used as the basis for the
+ executable test cases for conformance testing.
+\end{itemize}
+
+The following are outside the scope of this part of ISO 10303:
+\begin{itemize}
+\item the creation of executable test cases;
+\item test specifications for tests other than conformance testing
+ such as interoperability or acceptance testing;
+\item other implementation methods.
+\end{itemize}
+
+\endinput
+%%
+%% End of file `bpfats2.tex'.
diff --git a/Master/texmf-dist/tex/latex/iso10303/bpfats3.tex b/Master/texmf-dist/tex/latex/iso10303/bpfats3.tex
new file mode 100644
index 00000000000..cdc566ed5ad
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/iso10303/bpfats3.tex
@@ -0,0 +1,57 @@
+%%
+%% This is file `bpfats3.tex',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% stepe.dtx (with options: `bpfats3')
+%%
+%% This work has been partially funded by the US government
+%% and is not subject to copyright.
+%%
+%% This program is provided under the terms of the
+%% LaTeX Project Public License distributed from CTAN
+%% archives in directory macros/latex/base/lppl.txt.
+%%
+%% Author: Peter Wilson (CUA and NIST)
+%% now at: peter.r.wilson@boeing.com
+%%
+\ProvidesFile{bpfats3.tex}[2002/01/23 ATS AE test purpose intro boilerplate]
+\typeout{bpfats3.tex [2002/01/23 ATS AE test purpose intro boilerplate]}
+
+ Application element (AE) test purposes are implicitly derived
+from the AP information requirements and are not explicitly documented
+here. AE test purposes apply to the input specifications of both
+preprocessr and postprocessor test cases. AE test purposes are implicitly
+derived from the AP information requirements as follows:
+\begin{itemize}
+\item Application objects (see ISO 10303-\theAPpartno, 4.2):
+ a test purpose derived from an application object is a simple
+ statement of the object's name;
+
+\item Application object attributes (see ISO 10303-\theAPpartno, 4.2):
+ test purposes derived from application object attributes are
+ statements of the application object name with a specific attribute name;
+
+\item Application assertions (see ISO 10303-\theAPpartno, 4.3):
+ test purposes derived from application assertions are
+ statements describing the relationships between two application objects.
+ Application assertion test purposes address the directions of
+ relationships as well as the number (cardinality) of relationships.
+
+\end{itemize}
+
+They shall be interpreted as given in the
+following statement:
+ the IUT shall preserve the semantic associated with the unique
+application element from which the test purpose was implicitly derived.
+This implies that the semantics of the application element are
+preserved by the IUT between the input and output of a test,
+according to the reference path specified by the mapping
+\maptableorspec{}
+defined in ISO 10303-\theAPpartno, 5.1.
+\par
+
+\endinput
+%%
+%% End of file `bpfats3.tex'.
diff --git a/Master/texmf-dist/tex/latex/iso10303/bpfats4.tex b/Master/texmf-dist/tex/latex/iso10303/bpfats4.tex
new file mode 100644
index 00000000000..62b769ca512
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/iso10303/bpfats4.tex
@@ -0,0 +1,52 @@
+%%
+%% This is file `bpfats4.tex',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% stepe.dtx (with options: `bpfats4')
+%%
+%% This work has been partially funded by the US government
+%% and is not subject to copyright.
+%%
+%% This program is provided under the terms of the
+%% LaTeX Project Public License distributed from CTAN
+%% archives in directory macros/latex/base/lppl.txt.
+%%
+%% Author: Peter Wilson (CUA and NIST)
+%% now at: peter.r.wilson@boeing.com
+%%
+\ProvidesFile{bpfats4.tex}[2002/01/23 ATS AIM test purpose intro boilerplate]
+\typeout{bpfats4.tex [2002/01/23 ATS AIM test purpose intro boilerplate]}
+
+ Test purposes are implicitly derived from the AP AIM \Express,
+and are not explicitly documented here. AIM test purposes are implicitly
+derived from the expanded \Express{} listing contained in
+annex~A of ISO 10303-\theAPpartno{} as follows:
+\begin{itemize}
+\item AIM entity data types: a test purpose derived from an AIM
+ entity data type is a simple statement of the entity data type name;
+
+\item AIM entity attributes: a test purpose derived from an AIM
+ entity attribute is a statement of the AIM entity data type with
+ a given attribute.
+\end{itemize}
+
+ Aim test purposes shall be interpreted as given in the
+following statement:
+the postprocessor shall accept the input in accordance with the
+AIM \Express{} structure corresponding to this test purpose.
+This implies that the semantics of the application element
+represented by the AIM element are preserved by the IUT between
+the input and output of a test according to the reference path
+specified in the mapping
+\maptableorspec{}
+of the AP. This also implies
+no violations of any constraints (local rules or global
+rules) that apply to the AIM element. AIM test purposes apply
+to the input specifications of postprocessor test cases only.
+\par
+
+\endinput
+%%
+%% End of file `bpfats4.tex'.
diff --git a/Master/texmf-dist/tex/latex/iso10303/bpfats5.tex b/Master/texmf-dist/tex/latex/iso10303/bpfats5.tex
new file mode 100644
index 00000000000..8b9eddce936
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/iso10303/bpfats5.tex
@@ -0,0 +1,32 @@
+%%
+%% This is file `bpfats5.tex',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% stepe.dtx (with options: `bpfats5')
+%%
+%% This work has been partially funded by the US government
+%% and is not subject to copyright.
+%%
+%% This program is provided under the terms of the
+%% LaTeX Project Public License distributed from CTAN
+%% archives in directory macros/latex/base/lppl.txt.
+%%
+%% Author: Peter Wilson (CUA and NIST)
+%% now at: peter.r.wilson@boeing.com
+%%
+\ProvidesFile{bpfats5.tex}[1997/09/30 ATS general verdict boilerplate]
+\typeout{bpfats5.tex [1997/09/30 ATS general verdict boilerplate]}
+
+ General test purposes are statements of requirements that apply
+to all abstract test cases, all preprocessor abstract test cases,
+or all postprocessor abstract test cases. General verdict criteria
+are the means for evaluating whether the general test purposes are
+met. General verdict criteria shall be evaluated as a part of every
+executable test case to which they apply. Each general verdict criterion
+includes a reference to its associated test purpose.
+
+\endinput
+%%
+%% End of file `bpfats5.tex'.
diff --git a/Master/texmf-dist/tex/latex/iso10303/bpfats6.tex b/Master/texmf-dist/tex/latex/iso10303/bpfats6.tex
new file mode 100644
index 00000000000..9ddd23a9c76
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/iso10303/bpfats6.tex
@@ -0,0 +1,48 @@
+%%
+%% This is file `bpfats6.tex',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% stepe.dtx (with options: `bpfats6')
+%%
+%% This work has been partially funded by the US government
+%% and is not subject to copyright.
+%%
+%% This program is provided under the terms of the
+%% LaTeX Project Public License distributed from CTAN
+%% archives in directory macros/latex/base/lppl.txt.
+%%
+%% Author: Peter Wilson (CUA and NIST)
+%% now at: peter.r.wilson@boeing.com
+%%
+\ProvidesFile{bpfats6.tex}[2001/07/16 ATS general test purpose boilerplate]
+\typeout{bpfats6.tex [2001/07/16 ATS general test purpose boilerplate]}
+
+ The following are the general test purposes for this part of
+ISO 10303:
+
+g1 The output of an IUT shall preserve all the semantics defined by
+ the input model according to the reference paths specified in the
+ mapping \maptableorspec{} defined in clause~5 of ISO 10303-\theAPpartno.
+
+g2 The output of a preprocessor shall conform to the implementation
+ method to which the IUT claims conformance.
+
+g3 The instances in the output of a preprocessor shall be encoded
+ according to the mapping \maptableorspec{} and the AIM \Express{} long form
+ defined in 5.1 and annex~A of ISO 10303-\theAPpartno.
+
+g4 A postprocessor shall accept input data which is encoded according
+ to the implementation method to which the IUT claims conformance.
+
+g5 A postprocessor shall accept input data structured
+ according to the mapping \maptableorspec{}
+ and the AIM \Express{} long form
+ defined in 5.1 and annex~A of ISO 10303-\theAPpartno.
+
+\par
+
+\endinput
+%%
+%% End of file `bpfats6.tex'.
diff --git a/Master/texmf-dist/tex/latex/iso10303/bpfats7.tex b/Master/texmf-dist/tex/latex/iso10303/bpfats7.tex
new file mode 100644
index 00000000000..0e7c826a6d1
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/iso10303/bpfats7.tex
@@ -0,0 +1,33 @@
+%%
+%% This is file `bpfats7.tex',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% stepe.dtx (with options: `bpfats7')
+%%
+%% This work has been partially funded by the US government
+%% and is not subject to copyright.
+%%
+%% This program is provided under the terms of the
+%% LaTeX Project Public License distributed from CTAN
+%% archives in directory macros/latex/base/lppl.txt.
+%%
+%% Author: Peter Wilson (CUA and NIST)
+%% now at: peter.r.wilson@boeing.com
+%%
+\ProvidesFile{bpfats7.tex}[2001/07/16 ATS general verdict criteria boilerplate]
+\typeout{bpfats7.tex [2001/07/16 ATS general verdict criteria boilerplate]}
+
+ The following verdict criteria apply to all abstract test cases
+contained in this part of ISO 10303:
+
+gvc1 The semantics of the input model are preserved in the output of
+ the IUT according to the reference paths specified in the mapping
+ \maptableorspec{} defined in ISO 10303-\theAPpartno, clause 5 (g1).
+
+\par
+
+\endinput
+%%
+%% End of file `bpfats7.tex'.
diff --git a/Master/texmf-dist/tex/latex/iso10303/bpfats8.tex b/Master/texmf-dist/tex/latex/iso10303/bpfats8.tex
new file mode 100644
index 00000000000..71cecd28118
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/iso10303/bpfats8.tex
@@ -0,0 +1,35 @@
+%%
+%% This is file `bpfats8.tex',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% stepe.dtx (with options: `bpfats8')
+%%
+%% This work has been partially funded by the US government
+%% and is not subject to copyright.
+%%
+%% This program is provided under the terms of the
+%% LaTeX Project Public License distributed from CTAN
+%% archives in directory macros/latex/base/lppl.txt.
+%%
+%% Author: Peter Wilson (CUA and NIST)
+%% now at: peter.r.wilson@boeing.com
+%%
+\ProvidesFile{bpfats8.tex}[2001/07/16 ATS general verdict pre boilerplate]
+\typeout{bpfats8.tex [2001/07/16 ATS general verdict pre boilerplate]}
+
+ The following verdict criteria apply to all preprocessor
+abstract test cases contained in this part of ISO 10303:
+
+gvc2 The output of a preprocessor conforms
+ to the implementation method to which the IUT claims conformance (g2).
+
+gvc3 The instances in the output of a preprocessor are encoded according
+ to the AIM \Express{} long form and mapping \maptableorspec{}
+ defined in ISO 10303-\theAPpartno, annex A and 5.1 (g3).
+\par
+
+\endinput
+%%
+%% End of file `bpfats8.tex'.
diff --git a/Master/texmf-dist/tex/latex/iso10303/bpfats9.tex b/Master/texmf-dist/tex/latex/iso10303/bpfats9.tex
new file mode 100644
index 00000000000..b2719d96ac5
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/iso10303/bpfats9.tex
@@ -0,0 +1,35 @@
+%%
+%% This is file `bpfats9.tex',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% stepe.dtx (with options: `bpfats9')
+%%
+%% This work has been partially funded by the US government
+%% and is not subject to copyright.
+%%
+%% This program is provided under the terms of the
+%% LaTeX Project Public License distributed from CTAN
+%% archives in directory macros/latex/base/lppl.txt.
+%%
+%% Author: Peter Wilson (CUA and NIST)
+%% now at: peter.r.wilson@boeing.com
+%%
+\ProvidesFile{bpfats9.tex}[2001/07/16 ATS general verdict post boilerplate]
+\typeout{bpfats9.tex [2001/07/16 ATS general verdict post boilerplate]}
+
+ The following verdict criteria apply to all postprocessor
+abstract test cases contained in this part of ISO 10303:
+
+gvc4 The postprocessor accepts input data which is encoded according
+ to the implementation method to which the IUT claims conformance (g4).
+
+gvc5 The postprocessor accepts input data which is structured according
+ to the AIM \Express{} long form and mapping \maptableorspec{}
+ defined in ISO 10303-\theAPpartno, annex A and 5.1 (g5).
+\par
+
+\endinput
+%%
+%% End of file `bpfats9.tex'.
diff --git a/Master/texmf-dist/tex/latex/iso10303/bpfir1.tex b/Master/texmf-dist/tex/latex/iso10303/bpfir1.tex
new file mode 100644
index 00000000000..b3572b3030f
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/iso10303/bpfir1.tex
@@ -0,0 +1,28 @@
+%%
+%% This is file `bpfir1.tex',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% stepe.dtx (with options: `bpfir1')
+%%
+%% This work has been partially funded by the US government
+%% and is not subject to copyright.
+%%
+%% This program is provided under the terms of the
+%% LaTeX Project Public License distributed from CTAN
+%% archives in directory macros/latex/base/lppl.txt.
+%%
+%% Author: Peter Wilson (CUA and NIST)
+%% now at: peter.r.wilson@boeing.com
+%%
+\ProvidesFile{bpfir1.tex}[1997/09/30 short names annex boilerplate]
+\typeout{bpfir1.tex [1997/09/30 short names annex boilerplate]}
+
+ Table A.1 provides the short names of entities specified in this
+part of ISO~10303. Requirements on the use of short names are
+found in the implementation methods included in ISO~10303.
+
+\endinput
+%%
+%% End of file `bpfir1.tex'.
diff --git a/Master/texmf-dist/tex/latex/iso10303/bpfir2.tex b/Master/texmf-dist/tex/latex/iso10303/bpfir2.tex
new file mode 100644
index 00000000000..0606b05c2f5
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/iso10303/bpfir2.tex
@@ -0,0 +1,31 @@
+%%
+%% This is file `bpfir2.tex',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% stepe.dtx (with options: `bpfir2')
+%%
+%% This work has been partially funded by the US government
+%% and is not subject to copyright.
+%%
+%% This program is provided under the terms of the
+%% LaTeX Project Public License distributed from CTAN
+%% archives in directory macros/latex/base/lppl.txt.
+%%
+%% Author: Peter Wilson (CUA and NIST)
+%% now at: peter.r.wilson@boeing.com
+%%
+\ProvidesFile{bpfir2.tex}[2002/01/22 IR short names and EXPRESS annex initial boilerplate]
+\typeout{bpfir2.tex [2002/01/22 IR short names and EXPRESS annex initial boilerplate]}
+
+ This annex references a listing of the \Express{} entity data type
+names and corresponding short names as specified in this part of ISO~10303.
+It also references a listing of each \Express{} schema specified in
+this part of ISO~10303, without comments or other explanatory text. These
+listings are available in computer-interpretable form
+and can be found at the following URLs:
+
+\endinput
+%%
+%% End of file `bpfir2.tex'.
diff --git a/Master/texmf-dist/tex/latex/iso10303/bpfir3.tex b/Master/texmf-dist/tex/latex/iso10303/bpfir3.tex
new file mode 100644
index 00000000000..f6864a63eb5
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/iso10303/bpfir3.tex
@@ -0,0 +1,33 @@
+%%
+%% This is file `bpfir3.tex',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% stepe.dtx (with options: `bpfir3')
+%%
+%% This work has been partially funded by the US government
+%% and is not subject to copyright.
+%%
+%% This program is provided under the terms of the
+%% LaTeX Project Public License distributed from CTAN
+%% archives in directory macros/latex/base/lppl.txt.
+%%
+%% Author: Peter Wilson (CUA and NIST)
+%% now at: peter.r.wilson@boeing.com
+%%
+\ProvidesFile{bpfir3.tex}[1999/02/15 IR short names and EXPRESS annex ending boilerplate]
+\typeout{bpfir3.tex [1999/02/15 IR short names and EXPRESS annex ending boilerplate]}
+
+ If there is difficulty accessing these sites contact ISO Central
+Secretariat or contact the ISO TC~184/SC4 Secretariat directly at:
+\url{sc4sec@cme.nist.gov}.
+
+\begin{anote}The information provided in computer-interpretable form at
+ the above URLs is informative. The information that is contained
+ in the body of this part of ISO~10303 is normative.
+\end{anote}
+
+\endinput
+%%
+%% End of file `bpfir3.tex'.
diff --git a/Master/texmf-dist/tex/latex/iso10303/bpfs1.tex b/Master/texmf-dist/tex/latex/iso10303/bpfs1.tex
new file mode 100644
index 00000000000..42c228878c8
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/iso10303/bpfs1.tex
@@ -0,0 +1,33 @@
+%%
+%% This is file `bpfs1.tex',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% stepe.dtx (with options: `bpfs1')
+%%
+%% This work has been partially funded by the US government
+%% and is not subject to copyright.
+%%
+%% This program is provided under the terms of the
+%% LaTeX Project Public License distributed from CTAN
+%% archives in directory macros/latex/base/lppl.txt.
+%%
+%% Author: Peter Wilson (CUA and NIST)
+%% now at: peter.r.wilson@boeing.com
+%%
+\ProvidesFile{bpfs1.tex}[2001/07/16 STEP Intro boilerplate]
+\typeout{bpfs1.tex [2001/07/16 STEP Intro boilerplate]}
+
+ISO 10303 is an International Standard for the computer-interpretable
+representation of product information and for the exchange of product data.
+The objective is to
+provide a neutral mechanism capable of describing products
+throughout their life cycle.
+This mechanism is suitable
+not only for neutral file exchange, but also as a basis for
+implementing and sharing product databases, and as a basis for archiving.
+
+\endinput
+%%
+%% End of file `bpfs1.tex'.
diff --git a/Master/texmf-dist/tex/latex/iso10303/bpfs2.tex b/Master/texmf-dist/tex/latex/iso10303/bpfs2.tex
new file mode 100644
index 00000000000..a9987112d0a
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/iso10303/bpfs2.tex
@@ -0,0 +1,65 @@
+%%
+%% This is file `bpfs2.tex',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% stepe.dtx (with options: `bpfs2')
+%%
+%% This work has been partially funded by the US government
+%% and is not subject to copyright.
+%%
+%% This program is provided under the terms of the
+%% LaTeX Project Public License distributed from CTAN
+%% archives in directory macros/latex/base/lppl.txt.
+%%
+%% Author: Peter Wilson (CUA and NIST)
+%% now at: peter.r.wilson@boeing.com
+%%
+\ProvidesFile{bpfs2.tex}[2002/01/10 STEP cover DIS+ copyright boilerplate]
+\typeout{bpfs2.tex [2002/01/10 STEP cover DIS+ copyright boilerplate]}
+
+\vspace*{\baselineskip}
+\textbf{\large COPYRIGHT NOTICE}
+
+\begin{small}
+This ISO document is
+\iffdisstandard
+ a Final Draft
+\else
+ \ifdisstandard
+ a Draft
+ \else
+ an
+ \fi
+\fi
+International
+Standard and is copyright protected by ISO. Except
+as permitted under the applicable laws of the user's
+country, neither this ISO draft nor any extract from
+it may be reproduced, stored in a retrieval system or
+transmitted in any form or by any means, electronic,
+photocopying, recording, or otherwise, without prior
+written permission being secured.
+
+Requests for permission to reproduce should be addressed
+to ISO at the address below or ISO's member body in the
+country of the requester:
+\begin{center}
+ISO copyright office \\
+Case postale 56. CH-1211 Geneva 20 \\
+Tel. +41 22 749 01 11 \\
+Fax +41 22 734 01 79 \\
+E-mail \texttt{copyright@iso.ch}
+\end{center}
+Reproduction for sales purposes for any of the above-mentioned
+documents may be subject to royalty payments or a licensing
+agreement.
+
+Violators may be prosecuted.
+
+\end{small}
+
+\endinput
+%%
+%% End of file `bpfs2.tex'.
diff --git a/Master/texmf-dist/tex/latex/iso10303/bpfs3.tex b/Master/texmf-dist/tex/latex/iso10303/bpfs3.tex
new file mode 100644
index 00000000000..13a9912a156
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/iso10303/bpfs3.tex
@@ -0,0 +1,59 @@
+%%
+%% This is file `bpfs3.tex',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% stepe.dtx (with options: `bpfs3')
+%%
+%% This work has been partially funded by the US government
+%% and is not subject to copyright.
+%%
+%% This program is provided under the terms of the
+%% LaTeX Project Public License distributed from CTAN
+%% archives in directory macros/latex/base/lppl.txt.
+%%
+%% Author: Peter Wilson (CUA and NIST)
+%% now at: peter.r.wilson@boeing.com
+%%
+\ProvidesFile{bpfs3.tex}[2002/01/10 STEP cover WD/CD copyright boilerplate]
+\typeout{bpfs3.tex [2002/01/10 STEP cover WD/CD copyright boilerplate]}
+
+\vspace*{\baselineskip}
+\textbf{\large COPYRIGHT NOTICE}
+
+\begin{small}
+This ISO document is a working draft or Committee Draft
+and is copyright protected by ISO.
+While the reproduction of working drafts or Committee Drafts
+in any form for use by Participants in the ISO standards
+development process is permitted without prior permission
+from ISO, neither this document nor any extract from
+it may be reproduced, stored or
+transmitted in any form for any other purpose without prior
+written permission from ISO.
+
+Requests for permission to reproduce this document for the
+purposes of selling it should be addressed as shown below
+(via the ISO TC 184/SC4 Secretariat's member body)
+or to ISO's member body in the
+country of the requester:
+\begin{center}
+Copyright Manager \\
+ANSI \\
+11 West 42nd Street \\
+New York, New York 10036 \\
+USA \\
+phone: +1--212--642--4900 \\
+fax: +1--212--398--0023
+\end{center}
+Reproduction for sales purposes may be subject to royalty payments
+or a licensing agreement.
+
+Violators may be prosecuted.
+
+\end{small}
+
+\endinput
+%%
+%% End of file `bpfs3.tex'.
diff --git a/Master/texmf-dist/tex/latex/iso10303/irv12.sty b/Master/texmf-dist/tex/latex/iso10303/irv12.sty
new file mode 100644
index 00000000000..94406c10858
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/iso10303/irv12.sty
@@ -0,0 +1,33 @@
+%%
+%% This is file `irv12.sty',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% stepe.dtx (with options: `ir')
+%%
+%% This work has been partially funded by the US government
+%% and is not subject to copyright.
+%%
+%% This program is provided under the terms of the
+%% LaTeX Project Public License distributed from CTAN
+%% archives in directory macros/latex/base/lppl.txt.
+%%
+%% Author: Peter Wilson (CUA and NIST)
+%% now at: peter.r.wilson@boeing.com
+%%
+\ProvidesPackage{irv12}[2002/01/10 v1.2.2 STEP IR package]
+ \RequirePackage{stepv13}[2002/01/10]
+
+\anirtrue
+
+\newcommand{\irexpressg}{%
+ The diagrams in this annex correspond to the \Express{} schemas
+specified in this part of ISO~10303. The
+diagrams use the \ExpressG{} graphical notation for the
+\Express{} language. \expressgdef.
+}
+
+\endinput
+%%
+%% End of file `irv12.sty'.
diff --git a/Master/texmf-dist/tex/latex/iso10303/stepman.tex b/Master/texmf-dist/tex/latex/iso10303/stepman.tex
new file mode 100644
index 00000000000..b7f01fe2ee1
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/iso10303/stepman.tex
@@ -0,0 +1,3346 @@
+% stepman.tex Description of option style files for STEP
+\documentclass[wd,copyright,letterpaper]{isov2}
+\usepackage{stepv13}
+\usepackage{irv12}
+\usepackage{apv12}
+\usepackage{aicv1}
+\usepackage{atsv11}
+%%\usepackage{isomods} % must come after the step packages
+\usepackage{hyphenat}
+\usepackage{comment}
+
+\ifpdf
+ \pdfoutput=1
+ \usepackage[plainpages=false,
+ pdfpagelabels,
+ bookmarksnumbered,
+ hyperindex=true
+ ]{hyperref}
+\fi
+
+% general required preamble commands
+\standard{ISO/WD 10303-3456}
+\yearofedition{2002}
+\languageofedition{(E)}
+\renewcommand{\extrahead}{N 47b} % add doc N number to headers
+\partno{3456}
+\series{documentation methods}
+\doctitle{LaTeX package files for ISO 10303: User manual}
+\ballotcycle{2}
+% required preamble commands for an AP
+\aptitle{implicit drawing}
+\aicinaptrue % only if the AP uses AICs
+\mapspectrue % only if AP uses mapping specification
+% required preamble commands for an ATS
+\APtitle{abstract painting}
+\APnumber{299}
+
+\changemarkstrue
+
+\makeindex
+
+\setcounter{tocdepth}{3} % add more levels to table of contents
+%
+% Rest of preamble is some special macro definitions for this document only
+%
+\makeatletter
+%
+% the \file{} command
+%
+\newcommand{\file}[1]{\textsf{#1}}
+%
+% the \meta{} command
+%
+\begingroup
+\obeyspaces%
+\catcode`\^^M\active%
+\gdef\meta{\begingroup\obeyspaces\catcode`\^^M\active%
+\let^^M\do@space\let \do@space%
+\def\-{\egroup\discretionary{-}{}{}\hbox\bgroup\it}%
+\m@ta}%
+\endgroup
+\def\m@ta#1{\leavevmode\hbox\bgroup$<$\it#1\/$>$\egroup
+ \endgroup}
+\def\do@space{\egroup\space
+ \hbox\bgroup\it\futurelet\next\sp@ce}
+\def\sp@ce{\ifx\next\do@space\expandafter\sp@@ce\fi}
+\def\sp@@ce#1{\futurelet\next\sp@ce}
+%
+% the \setlabel{id}{num} command
+% this is based on the kernel \refstepcounter macro (ltxref.dtx)
+%
+%%\newcounter{lbl}
+\ifpdf
+ \newcommand{\setlabel}[2]{%
+ \protected@write\@auxout{}{%
+ \string\newlabel{#1}{{#2}{\thepage}{setlabel\relax}{label.#2}{}}}%
+ }
+\else
+ \newcommand{\setlabel}[2]{%
+ \protected@write\@auxout{}{%
+ \string\newlabel{#1}{{#2}{\thepage}}}%
+ }
+\fi
+%
+% index a command
+\newcommand{\bs}{\symbol{'134}}
+\newcommand{\ixcom}[1]{\index{#1/ @{\tt \protect\bs #1}}}
+% index an environment
+\newcommand{\ixenv}[1]{\index{#1 @{\tt #1} (environment)}}
+% index an option
+\newcommand{\ixopt}[1]{\index{#1 @{\tt #1} (option)}}
+% index a package
+\newcommand{\ixpack}[1]{\index{#1 @\file{#1} (package)}}
+% index a class
+\newcommand{\ixclass}[1]{\index{#1 @\file{#1} (class)}}
+% index in typewriter font
+\newcommand{\ixtt}[1]{\index{#1@{\tt #1}}}
+% index LaTeX
+\newcommand{\ixltx}{\index{latex@\LaTeX}}
+% index LaTeX 2e
+\newcommand{\ixltxe}{\index{latex2e@\LaTeX 2e}}
+% index LaTeX v2.09
+\newcommand{\ixltxv}{\index{latex209@\LaTeX{} v2.09}}
+% index a file
+\newcommand{\ixfile}[1]{\index{#1@\file{#1}}}
+\makeatother
+%
+%
+% set some labels
+% step
+\setlabel{;ssne}{A}
+%%%\setlabel{;sior}{B}
+%%%\setlabel{;scil}{C}
+\setlabel{;seg}{D}
+% aic
+\setlabel{;sesl}{4}
+% ap
+\setlabel{;sireq}{4}
+\setlabel{;suof}{4.1}
+\setlabel{;sao}{4.2}
+\setlabel{;saa}{4.3}
+\setlabel{;saim}{5}
+\setlabel{;smap}{5.1}
+\setlabel{;saesl}{5.2}
+\setlabel{;scr}{6}
+\setlabel{;saeel}{A}
+\setlabel{;sasn}{B}
+\setlabel{;simreq}{C}
+\setlabel{;spics}{D}
+\setlabel{;saam}{F}
+\setlabel{;sarm}{G}
+\setlabel{;saeg}{H}
+\setlabel{;scil}{J}
+\setlabel{tabB1}{B.1}
+\setlabel{;uof1}{5.1.2}
+\setlabel{;uoflast}{5.1.4}
+%
+% define a new length
+\newlength{\prwlen}
+%
+% new (La)TeX macros
+\newcommand{\latex}{LaTeX}
+\newcommand{\tex}{TeX}
+%
+%%%%%%%%%% END SPECIAL MACROS
+%
+% end of preamble
+%
+\begin{document}
+
+
+\STEPcover{
+%\scivnumber{987}
+\wg{EC}
+\docnumber{47b}
+\oldwg{EC}
+\olddocnumber{47a}
+\docdate{2002/09/04}
+%\partnumber{3456}
+%\doctitle{LaTeX package files for ISO 10303: User manual}
+%\status{Working draft}
+%\primcont
+\abstract{This document describes and illustrates the \latex{} macros
+for typesetting ISO~10303. The International Organisation for
+Standardisation (ISO) has specified editorial directives for all
+international standards published by them. The \latex{} macros
+described here were developed to meet additional editorial directives
+for ISO~10303. } % end abstract
+\keywords{\latex, document preparation, typesetting ISO standards}
+%\dateprojo{May 1996}
+\owner{Peter R. Wilson}
+\address{Boeing Commercial Airplane\newline
+ PO Box 3701 \newline
+ MS 2R-97 \newline
+ Seattle, WA 98124-2207 \newline
+ USA}
+\telephone{+1 (206) 544-0589}
+\fax{+1 (206) 544-5889}
+\email{\url{peter.r.wilson@boeing.com}}
+\altowner{Peter R. Wilson}
+\altaddress{Boeing Commercial Airplane \newline
+ PO Box 3701 \newline
+ MS 2R-97 \newline
+ Seattle, WA 98124-2207 \newline
+ USA}
+\alttelephone{+1 (206) 544-0589}
+\altfax{+1 (206) 544-5889}
+\altemail{\url{peter.r.wilson@boeing.com}}
+\comread{\draftctr This document serves two purposes. Firstly, it provides a description
+ of the current \latex{} macros for ISO 10303. Secondly, the source
+ can be used as an example of using the \latex{} commands.
+ Although the document is written as though it were a
+ standard, it is not, and is not intended to become,
+ a standard.} %end comread
+} % end of STEPcover
+
+\Foreword
+
+\fwdshortlist
+\endForeword%
+{Annexes A, B and C are} % normative annexes
+{Annexes D, E and F are} % informative annexes
+
+\begin{Introduction}%%%%%%%%%%{documentation methods}
+
+ This part of ISO 10303 specifies the \latex{} facilities specifically
+designed for use in preparing the various parts of this standard.
+
+\begin{majorsublist}
+\item the \file{step} package facility;
+\item the \file{ir} package facility;
+\item the \file{ap} package facility;
+%%%\item the \file{am} package facility;
+\item the \file{aic} package facility;
+\item the \file{ats} package facility.
+\end{majorsublist}
+
+ This part of ISO~10303 is intended to be used in conjunction with
+\textit{\latex{} for ISO standards: User manual}
+which is based in part upon material in the ISO/IEC Directives,
+Part 2 (\textit{Rules for the structure and drafting of International
+Standards, Fourth edition}).
+The \latex{} facilities described here are based as well
+upon the specifications given in ISO TC184/SC4 N1217n
+(\textit{SC4 Supplementary directives --- Rules for the structure
+and drafting of SC4 standards for industrial data}).
+
+
+\sclause*{Overview}
+
+
+ This document describes a set of \latex{} macro files for use within
+ISO~10303, commonly called STEP (STandard for the Exchange of Product
+model data). The electronic source of this document
+also provides an example of the use of these files.
+
+ The current set of macro files have been developed by
+Peter Wilson (\url{peter.r.wilson@boeing.com}) from a macro file developed
+by Kent Reed (NIST) for \latex{} v2.09. In turn, this was a revision of
+files originally created by Phil Spiby (CADDETC), based on earlier work
+by Phil Kennicott (GE).\footnote{In mid 1994 \latex{} was upgraded
+from version 2.09 to what is called \latex 2e. The files described in
+this document are only applicable to \latex 2e (support for \latex{} v2.09
+was dropped in September 1997).}
+
+
+\begin{anote}
+It is important to remember that these macro files are only compatible with
+\latex 2e.
+\end{anote} % end anote
+
+ Documents produced with the \latex{} files have been twice reviewed
+by the ISO Editorial Board in Geneva for conformance to their
+typographical requirements. The first review was of a set of Draft
+International Standard documents. This review resulted in some changes
+to the style files. The second review was of a set of twelve
+International Standard documents (ISO 10303:1994). Likewise, this
+review led to changes in the style files to bring the documents into
+conformance.
+
+ With the issuance of the first STEP release, the opportunity was
+taken to provide a new baseline release of the package files.
+In particular, one STEP specific package file is available for all
+STEP parts, while others contain only commands relevant to the
+documentation of particular series of parts. The range of package
+files may be extended in the future to cater for
+documentation specific to all STEP parts.
+
+ The 1997 baseline release was also designed to cater for the
+fact that a major update of \latex{} to \latex 2e took place during 1994.
+\latex 2e is the only officially supported version of \latex.
+
+ Because ISO standard documents have a very structured layout, the
+\file{isov2} class and the package files described here have been
+designed to reflect the logical document structure to a much greater
+extent than the `standard' \latex{} files.
+
+ With ISO's move toward accepting documents in PDF and HTML,
+the advent of second
+editions of some of the STEP parts, and a new edition of the STEP
+Supplementary Directives, a 2002
+baseline release has been developed and is documented here.
+
+
+
+\end{Introduction}
+
+\stepparttitle{Documentation methods: LaTeX package files for ISO 10303:
+User manual}
+
+
+\scopeclause
+
+This part of ISO~10303 describes a set of \ixltx\latex{} facilities for typesetting
+documents according to the ISO/IEC Directives Part 2, together with the
+Supplementary Directives for drafting and presentation of ISO~10303.
+
+\begin{inscope}{part of ISO~10303}
+\item use of \latex{} for preparing ISO~10303 documents.
+\end{inscope}
+
+\begin{outofscope}{part of ISO~10303}
+\item use of \latex{} for preparing ISO standard documents in general;
+\item use of \latex{} in general;
+\item use of other document preparation systems.
+\end{outofscope}
+
+\textbf{IMPORTANT:} The preparation of this document has been partly
+funded by the US Government and is not subject to copyright.
+Any copyright notices within the document are for illustrative purposes only.
+
+\normrefsclause \label{sec:nrefs}
+
+\normrefbp{part of ISO~10303}
+\begin{nreferences}
+
+\isref{ISO/IEC Directives, Part 2}{Rules for the structure and drafting
+ of International Standards, Fourth edition.}
+
+\isref{ISO TC 184/SC4 N1217:2001(E)}{SC4 Supplementary directives ---
+ Rules for the structure and drafting of SC4 standards for
+ industrial data.}
+
+%\isref{ISO 10303-1:1994}{Industrial automation systems and integration ---
+% Product data representation and exchange ---
+% Part 1: Overview and fundamental principles.}
+\nrefparti
+
+%\isref{ISO 10303-11:1994}{Industrial automation systems and integration ---
+% Product data representation and exchange ---
+% Part 11: Description methods:
+% The EXPRESS language reference manual.}
+\nrefpartxi
+
+%\disref{ISO/TR 10303-12:---}{Industrial automation systems and integration ---
+% Product data representation and exchange ---
+% Part 12: Description methods:
+% The EXPRESS-I language reference manual.}
+\nrefpartxii
+
+%\disref{ISO/IEC 8824-1:---}{Information technology ---
+% Open systems interconnection ---
+% Abstract syntax notation one (ASN.1) ---
+% Part 1: Specification of basic notation.}
+\nrefasni
+
+\disref{P. R. WILSON:---}{LaTeX for ISO standards: User manual.}
+
+\end{nreferences}
+
+\defabbclause
+%\clause{Terms, definitions, and abbreviations}
+
+\partidefhead
+%\sclause{Terms defined in ISO 10303-1}
+
+ This part of ISO~10303 makes use of the following terms defined in
+ISO~10303-1:
+
+\begin{olddefinitions}
+\olddefinition{application protocol (AP)} \index{Application Protocol}
+ \index{AP}
+\olddefinition{integrated resource} \index{Integrated Resource}
+\end{olddefinitions}
+
+
+\otherdefhead
+%\sclause{Other definitions}
+
+ For the purposes of this part of ISO~10303, the following definitions
+apply.
+
+\begin{definitions}
+\definition{boilerplate}{Text whose wording is fixed and which has been
+agreed to be present in a specific type of document.} \index{boilerplate}
+\definition{style file}{A set of \latex{} macros assembled into a
+single file with an extension \file{.sty}.}
+ \index{style file}
+\definition{package file}{A style file for use with \latex 2e.}
+ \index{package file}
+\definition{facility}{A generic term for a set of \latex{} macros
+ assembled for a common purpose. The macros may be defined in
+ either a style file or a package file.}\index{facility}
+
+\end{definitions}
+
+\abbsubclause
+%\sclause{Abbreviations}
+
+ For the purposes of this part of ISO 10303, the following abbreviations
+ apply.
+
+\begin{symbols}
+\symboldef{AIC}{Application Interpreted Construct} \index{AIC}
+\symboldef{AM}{Application Module} \index{AM}
+\symboldef{AP}{Application Protocol} \index{AP}
+\symboldef{DIS}{Draft International Standard} \index{DIS}
+\symboldef{IS}{International Standard} \index{IS}
+\symboldef{ISOD}{ISO/IEC Directives, Part 2} \index{ISOD} \index{ISO/IEC Directives}
+\symboldef{SD}{Supplementary Directives ---
+ \textit{SC4 Supplementary directives --- Rules for the structure and
+ drafting of SC4 standards for industrial data}}\index{SD}\index{Supplementary Directives}
+\symboldef{IS-REVIEW}{The ISO Editorial Board review (September 1994) of
+ twelve IS documents
+ for conformance to ISO typographical and
+ layout requirements.} \index{IS-REVIEW}
+\end{symbols}
+
+
+
+\clause{Conformance requirements} \label{sec:iconform}
+
+ The facility files shall not be modified in any manner.
+
+ If there is a need to modify any of the macro definitions then this
+shall be done using the \latex{}
+\verb|\renewcommand|\ixcom{renewcommand} and/or the
+\verb|\renewenvironment|\ixcom{renewenvironment}
+commands. These shall be placed in a new \file{.sty} file (or files)
+which shall be called in within the preamble\index{preamble} of the
+document being typeset.
+
+ There shall be no author specified \verb|\label{...}| commands where
+the first two characters of the label are \verb|;s| (semicolon and `s');
+the creation of labels starting with these characters is reserved to the
+maintainer of the facility files.
+
+\begin{anote} For conformance to the \file{isov2} class, author specified
+labels starting with the characters \verb|;i| (semicolon and `i') are
+prohibited.
+\end{anote}
+
+
+\fcandaclause
+%\clause{Fundamental concepts and assumptions}
+
+ It is assumed that the reader of this document is familiar with the
+\ixltx\latex{} document preparation system and in particular
+with the \file{isov2}\ixclass{isov2} class and associated facilities
+described in
+\textit{LaTeX for ISO standards: User manual}.
+
+\begin{note}Reference~\bref{lamport} describes the
+ \latex{} system.
+\end{note} % end note
+
+ The reader is also assumed to be familiar with the ISO/IEC Directives
+Part~2 (ISOD)\index{ISOD} and
+the SC4 Supplementary directives for the structure and drafting of
+SC4 standards (SD).\index{ISOD}\index{SD}
+
+ If there are any discrepancies between the layout and wording of this
+document and the requirements of the ISOD or the SD,
+then the requirements in those documents shall be
+followed for ISO~10303 standard documents.
+
+ The packages described herein have been designed to be used with
+the \file{isov2}\ixclass{isov2} document class. It is highly unlikely that the
+packages will perform at all with any other \latex{} document class.
+
+ Because of many revisions over the years to the packages described
+herein, a naming convention has been adopted for the package files.
+The naming convention is that the
+primary name of the file is suffixed by \file{v\#}, where
+\file{\#} is the primary version number of the file in question.
+All file primary names have been limited to a maximum of eight characters.
+
+\begin{note}Table~\ref{tab:curfiles} shows the versions of the files
+that were current at the time of publication.
+\ixpack{step}\ixfile{stepv13.sty}
+\ixpack{ir}\ixfile{irv12.sty}
+\ixpack{ap}\ixfile{apv12.sty}
+\ixpack{aic}\ixfile{aicv1.sty}
+\ixpack{ats}\ixfile{atsv11.sty}
+%%%\ixpack{am}\ixfile{amv1.sty}
+\end{note} % end note
+
+\begin{table}
+\centering
+\caption{File versions current at publication time} \label{tab:curfiles}
+\begin{tabular}{|l|l|l|} \hline
+\textbf{Facility} & \textbf{File} & \textbf{Version} \\ \hline\hline
+\file{step} & \file{stepv13.sty} & v1.3.2 \\
+\file{ir} & \file{irv12.sty} & v1.2 \\
+\file{ap} & \file{apv12.sty} & v1.2 \\
+%%%\file{am} & \file{amv1.sty} & v1.0 \\
+\file{aic} & \file{aicv1.sty} & v1.0 \\
+\file{ats} & \file{atsv11.sty} & v1.1 \\
+\hline
+\end{tabular}
+\end{table}
+
+
+\begin{note}
+This document is not, and is never intended to become,
+ a standard, although it has been laid out in a
+similar, but not necessarily identical, manner.
+\end{note} % end note
+
+
+\clearpage
+\clause{The \file{step} package facility}
+
+ The \file{step}\ixpack{step} package facility provides commands
+and environments
+applicable to all the ISO~10303 series of documents.
+
+\sclause{Preamble commands}
+
+ Certain commands shall be put in the preamble\index{preamble}
+of any document.
+
+ The command
+\verb|\partno{|\meta{number}\verb|}|\ixcom{partno}
+is used to specify the Part number of the ISO~10303 standard
+(e.g., \verb|\partno{3456}|).
+
+ The command
+\verb|\series{|\meta{series title}\verb|}|\ixcom{series}
+is used to specify the name of the ISO~10303 series of which the Part
+is a member (e.g., \verb|\series{application modules}|).
+
+ The command
+\verb|\doctitle{|\meta{informal title}\verb|}|\ixcom{doctitle}
+is used to specify the title to be used on the cover sheet.
+For example: \\
+\verb|\doctitle{LaTeX package files for ISO 10303: User manual}|
+
+ The command
+\verb|\ballotcycle{|\meta{number}\verb|}|\ixcom{ballotcycle}
+is used to specify the ballot cycle number for the document
+(e.g., \verb|\ballotcycle{2}|).
+
+ The command\ixcom{ifhaspatents}
+\verb|\haspatentstrue|\ixcom{haspatentstrue} shall be put in the
+preamble when the document includes identified patented material;
+otherwise the command \verb|\haspatentsfalse|\ixcom{haspatentsfalse}
+may, but need not, be used instead.
+
+ The \verb|\extrahead|\ixcom{extrahead} macro, from the \file{isov2}
+class, shall be defined to be the document
+number (e.g., \verb|\renewcommand{\extrahead}{47a}|).
+
+
+
+\begin{anote}
+The commands \verb|\standard|\ixcom{standard},
+\verb|\yearofedition|\ixcom{yearofedition} and
+\verb|\languageofedition|\ixcom{languageofedition} from the \file{isov2}
+class must also be put in the preamble.
+\end{anote}
+
+
+\sclause{Cover page}
+
+ The command \verb+\STEPcover{+\meta{commands}\verb+}+\ixcom{STEPcover}
+produces a cover page for a STEP document.
+The complete list of commands is shown below.
+
+\begin{itemize}
+\item \verb+\wg{+\meta{working group}\verb+}+\ixcom{wg}
+ the working
+ group or other committee producing the document e.g., WG 5
+\item \verb+\docnumber{+\meta{number}\verb+}+\ixcom{docnumber}
+ the number
+ of the document e.g., 156
+\item \verb+\docdate{+\meta{date}\verb+}+\ixcom{docdate}
+ date of
+ publication e.g., 1993/07/03
+\item \verb+\oldwg{+\meta{working group}\verb+}+\ixcom{oldwg}
+ superseded
+ working group e.g., WG 1
+\item \verb+\olddocnumber{+\meta{number}\verb+}+\ixcom{olddocnumber}
+ number of previous document e.g., 107
+\item \verb+\abstract{+\meta{text}\verb+}+\ixcom{abstract}
+ an abstract
+ of the document
+\item \verb+\keywords{+\meta{text}\verb+}+\ixcom{keywords}
+ for listing
+ relevant keywords
+\item \verb+\owner{+\meta{text}\verb+}+\ixcom{owner}
+ name of the project leader
+\item \verb+\address{+\meta{text}\verb+}+\ixcom{address}
+ address of the project leader
+\item \verb+\telephone{+\meta{number}\verb+}+\ixcom{telephone}
+ the project leader's telephone number
+\item \verb+\fax{+\meta{number}\verb+}+\ixcom{fax}
+ the project leader's fax number
+\item \verb+\email{+\meta{text}\verb+}+\ixcom{email}
+ Email address of the project leader
+\item \verb+\altowner{+\meta{text}\verb+}+\ixcom{altowner}
+ name of the editor of the document
+\item \verb+\altaddress{+\meta{text}\verb+}+\ixcom{altaddress}
+ the editor's address
+\item \verb+\alttelephone{+\meta{number}\verb+}+\ixcom{alttelephone}
+ the editor's telephone number
+\item \verb+\altfax{+\meta{number}\verb+}+\ixcom{altfax}
+ the editor's fax number
+\item \verb+\altemail{+\meta{text}\verb+}+\ixcom{altemail}
+ the editor's Email address
+\item \verb+\comread{+\meta{text}\verb+}+\ixcom{comread}
+ comments to
+ the reader
+\end{itemize}
+
+ Use only those commands within \verb|\STEPcover| that are relevant
+to the purposes at hand. The order of the commands within
+\verb|\STEPcover| is immaterial.
+
+\begin{example}
+The commands used to produce the cover sheet for one version of this
+document were:
+\begin{verbatim}
+\STEPcover{
+\wg{EC}
+\docnumber{41}
+\oldwg{EC}
+\olddocnumber{35}
+\docdate{1994/08/19}
+\abstract{This document describes the \latex{} style files created for ISO~10303.
+ It also describes the program GenIndex which provides some
+ capabilities to assist in the creation of indexes for \latex{}
+ documents in general.}
+\keywords{\latex, Style file, GenIndex, Index}
+\owner{Peter R Wilson}
+\address{NIST\newline
+ Bldg. 220, Room A127 \newline
+ Gaithersburg, MD 20899 \newline
+ USA }
+\telephone{+1 (301) 975-2976}
+\email{\texttt{pwilson@cme.nist.gov}}
+\altowner{Tony Day}
+\altaddress{Sikorsky Aircraft}
+\comread{This document serves two purposes. Firstly, it provides a description
+ of the current \latex{} style file for ISO 10303. Secondly, the source
+ can be used as an example of using the \latex{} commands.} % end comread
+} % end of STEPcover
+\end{verbatim}
+Note the use of the \verb|\newline| command instead of \verb|\\| in
+the argument of the \verb|\address| command to indicate a new line. The
+\verb|\newline| is needed to ensure satisfactory conversion to HTML.
+\end{example} % end example
+
+ The macro \verb|\draftctr|\ixcom{draftctr} generates boilerplate that
+may be used in the `Comments to Reader' section of a cover page.
+\begin{example}
+The \latex{} source \verb|\draftctr This document \ldots| prints:
+
+\draftctr This document \ldots
+\end{example}
+
+\sclause{Heading commands}
+
+ The commands described in this subclause specify various `standard'
+clause headings.
+
+\ssclause{The Foreword commands}
+
+ The \verb+\Foreword+\ixcom{Foreword} command specifies that a
+table of contents, list of figures and a list of tables be produced.
+Page numbering is roman style and the table of contents starts on page iii.
+A new unnumbered clause entitled Foreword is started containing both
+ISO required boilerplate and boilerplate\index{boilerplate}
+text specific to ISO 10303.
+
+
+ Any text may be written after the \verb|\Foreword| command. The
+Foreword clause is ended by the
+\verb+\endForeword{+\meta{norm annexes}\verb+}{+\meta{inf annexes}\verb+}+
+command.\ixcom{endForeword} This command takes two parameters.
+\begin{enumerate}
+\item \meta{norm annexes} A phrase that starts the sentence
+ `\meta{norm annexes} a normative part of this part \ldots'.
+ If there are no normative annexes, then use an empty
+ argument (i.e., \verb|{}| with no spaces between the braces).
+\item \meta{inf annexes} A phrase that starts the sentence
+ `\meta{inf annexes} for information only.'.
+ If there are no informative annexes, then use an
+ empty argument.
+\end{enumerate}
+
+ The \verb|\endForeword| command produces some additional
+boilerplate\index{boilerplate} text specifically for ISO 10303.
+
+\begin{example}
+The \latex{} source for the Foreword for this document is:
+\begin{verbatim}
+\Foreword
+\fwdshortlist
+\endForeword
+{Annexes A, B and C are} % normative annexes
+{Annexes D, E and F are} % informative annexes
+\end{verbatim}
+\end{example} % end example
+
+
+ The \verb|\fwdshortlist|\ixcom{fwdshortlist} command
+produces boilerplate text for inclusion in the foreword referencing
+the STEP parts and series.
+\begin{example}
+In this document, the command \verb|\fwdshortlist| prints:
+
+\fwdshortlist
+\end{example}
+
+ The \verb|\steptrid|\ixcom{steptrid} command
+produces boilerplate text for inclusion in the foreword describing
+the creators of a STEP Technical Report.
+
+\begin{example}
+The \latex{} command \verb|\steptrid| in this document prints:
+
+\steptrid
+\end{example}
+
+
+\ssclause{The Introduction environment}
+
+ The
+\verb+\begin{Introduction}+\ixenv{Introduction}
+environment starts a new unnumbered clause
+entitled Introduction and adds some boilerplate\index{boilerplate}
+text specifically for ISO~10303.
+
+\begin{example}
+ The following \latex{} source was used to specify the Introduction
+to this document. \label{ex:intro}
+\begin{verbatim}
+\begin{Introduction}
+
+ This part of ISO 10303 specifies the \latex{} facilities
+specifically designed for use in preparing the various parts of
+this standard.
+
+\begin{majorsublist}
+\item the \file{step} package facility;
+\item the \file{ir} package facility;
+\item the \file{ap} package facility;
+\item the \file{aic} package facility;
+\item the \file{atc} package facility.
+\end{majorsublist}
+
+ This part of ISO 10303 is intended to be used ...
+
+\sclause*{Overview}
+
+ This document describes a set of \latex{} files for use
+within ISO~10303 ...
+
+\end{Introduction}
+\end{verbatim}
+\end{example} % end example
+
+
+\ssclause{The stepparttitle command}
+
+ The \verb+\stepparttitle{+\meta{part title}\verb+}+\ixcom{stepparttitle}
+command produces the title for
+an ISO~10303 part, where \meta{part title} is the title of the part.
+
+\begin{anexample}The title for this document was produced using:
+\begin{verbatim}
+\stepparttitle{Documentation methods:
+ LaTeX package files for ISO 10303: User manual}
+\end{verbatim}
+\end{anexample} % end example
+
+
+\ssclause{Other headings}
+
+ Most of these commands take no parameters. They start document clauses
+with particular titles. The commands that take no parameters are listed
+in \tref{tab:noparamhead}. Some of these headings commands have predefined
+labels, which are also listed in the table.
+\ixcom{partidefhead}
+\ixcom{otherdefhead}
+\ixcom{introsubhead}
+\ixcom{fcandasubhead}
+\ixcom{shortnamehead}
+\ixcom{picshead}
+\ixcom{objreghead}
+\ixcom{docidhead}
+\ixcom{schemaidhead}
+\ixcom{expresshead}
+\ixcom{listingshead}
+\ixcom{expressghead}
+%%\ixcom{modelscopehead}
+\ixcom{techdischead}
+\ixcom{exampleshead}
+
+\begin{anote}
+ In the tables, C = clause, SC = subclause, SSC = subsubclause,
+NA = normative annex, IA = informative annex.
+\end{anote} % end note
+
+\settowidth{\prwlen}{\quad Protocol Implementation Conformance Statement}
+\begin{table}
+\centering
+\caption{STEP package parameterless heading commands}
+\label{tab:noparamhead}
+\begin{tabular}{|l|c|p{\prwlen}|l|} \hline
+\textbf{Command} & \textbf{Clause} & \textbf{Default text} & \textbf{Label} \\ \hline
+\verb|\partidefhead| & SC & Terms defined in ISO 10303-1 & \\
+\verb|\otherdefhead| & SC & Other definitions & \\
+\verb|\introsubhead| & SC & Introduction & \\
+\verb|\fcandasubhead| & SC & Fundamental concepts and assumptions & \\
+\verb|\shortnamehead| & NA & Short names of entities & \verb|;ssne| \\
+\verb|\picshead| & NA & Protocol Implementation Conformance Statement (PICS) proforma & \verb|;spics| \\
+\verb|\objreghead| & NA & Information object registration & \verb|;sior| \\
+\verb|\docidhead| & SC & Document identification & \\
+\verb|\schemaidhead| & SC & Schema identification & \\
+\verb|\expresshead| & IA & \Express{} listing & \\
+\verb|\listingshead| & IA & Computer interpretable listings & \verb|;scil| \\
+\verb|\expressghead| & IA & \ExpressG\ diagrams & \verb|;seg| \\
+%%%%\verb|\modelscopehead| & IA & Model scope & \verb|;sms| \\
+\verb|\techdischead| & IA & Technical discussions & \verb|;std| \\
+\verb|\exampleshead| & IA & Examples & \verb|;sex| \\
+\hline
+\end{tabular}
+\end{table}
+
+ The commands listed in \tref{tab:paramhead} are equivalent to the
+general sectioning commands, but are intended to indicate the start
+of a particular documentation element. These commands take either one
+or two parameters. The parameters are denoted in the column headed
+`Parameterized title'.
+\ixcom{refdefhead}
+\ixcom{schemahead}
+\ixcom{typehead}
+\ixcom{entityhead}
+\ixcom{rulehead}
+\ixcom{functionhead}
+\ixcom{atypehead}
+\ixcom{anentityhead}
+\ixcom{arulehead}
+\ixcom{afunctionhead}
+\ixcom{aschemaidhead}
+\ixcom{singletypehead}
+\ixcom{singleentityhead}
+\ixcom{singlerulehead}
+\ixcom{singlefunctionhead}
+
+\begin{table}
+\centering
+\caption{STEP package parameterized heading commands}
+\label{tab:paramhead}
+\begin{tabular}{|l|c|l|} \hline
+\textbf{Command} & \textbf{Clause} & \textbf{Parameterized title} \\ \hline
+\verb|\refdefhead| & SC & Terms defined in \meta{ISO ref} \\
+\verb|\schemahead| & C & \meta{schema name} \\
+\verb|\singletypehead| & SC & \meta{schema name} type definition:
+\meta{type name} \\
+\verb|\typehead| & SC & \meta{schema name} type definitions \\
+\verb|\atypehead| & SSC & \meta{type name} \\
+\verb|\singleentityhead| & SC & \meta{schema name} entity definition:
+\meta{entity name} \\
+\verb|\entityhead| & SC & \meta{schema name} entity definitions \meta{group} \\
+\verb|\anentityhead| & SSC & \meta{entity name} \\
+\verb|\singlerulehead| & SC & \meta{schema name} rule definition:
+\meta{rule name} \\
+\verb|\rulehead| & SC & \meta{schema name} rule definitions \\
+\verb|\arulehead| & SSC & \meta{rule name} \\
+\verb|\singlefunctionhead| & SC & \meta{schema name} function definition:
+\meta{function name} \\
+\verb|\functionhead| & SC & \meta{schema name} function definitions \\
+\verb|\afunctionhead| & SSC & \meta{function name} \\
+\verb|\aschemaidhead| & SSC & \meta{schema name} identification \\ \hline
+\end{tabular}
+\end{table}
+
+\sclause{Miscellaneous commands}
+
+ The following commands provide some printing options for commonly
+occurring situations. The \verb|\nexp{}|\ixcom{nexp} command is intended
+to be used for printing \Express{} \index{express@{\Express}} entity names etc.
+\begin{itemize}
+\item The command \verb|\B{abc}|\ixcom{B} prints \B{abc}
+\item The command \verb|\E{abc}|\ixcom{E} prints \E{abc}
+\item The command \verb|\Express|\ixcom{Express} prints \Express{}
+\item The command \verb|\ExpressG|\ixcom{ExpressG} prints \ExpressG{}
+\item The command \verb|\ExpressI|\ixcom{ExpressI} prints \ExpressI{}
+\item The command \verb|\ExpressX|\ixcom{ExpressX} prints \ExpressX{}
+\item The command \verb|\BG{|\meta{mathsymbol}\verb|}|\ixcom{BG} prints
+ \meta{mathsymbol} in bold font.
+\item The command \verb|\HASH|\ixcom{HASH} prints \HASH{}
+\item The command \verb|\LT|\ixcom{LT} prints \LT{}
+\item The command \verb|\LE|\ixcom{LE} prints \LE{}
+\item The command \verb|\NE|\ixcom{NE} prints \NE{}
+\item The command \verb|\INE|\ixcom{INE} prints \INE{}
+\item The command \verb|\GE|\ixcom{GE} prints \GE{}
+\item The command \verb|\GT|\ixcom{GT} prints \GT{}
+\item The command \verb|\CAT|\ixcom{CAT} prints \CAT{}
+%\item The command \verb|\HAT|\ixcom{HAT} prints \HAT{}
+\item The command \verb|\QUES|\ixcom{QUES} prints \QUES{}
+%\item The command \verb|\BS|\ixcom{BS} prints \BS{}
+\item The command \verb|\IEQ|\ixcom{IEQ} prints \IEQ{}
+\item The command \verb|\INEQ|\ixcom{INEQ} prints \INEQ{}
+\item The command \verb|\nexp{an\_entity}|\ixcom{nexp} prints \nexp{an\_entity}
+\item The command \verb|\xword{ExpResS\_KeyworD}|\ixcom{xword}
+ prints \xword{ExpResS\_KeyworD}
+\end{itemize}
+
+The command \verb|\ix{|\meta{word or phrase}\verb|}|\ixcom{ix} both prints
+its parameter and also makes an index entry out of it.
+
+The command \verb|\mnote{|\meta{Marginal note text}\verb|}|\ixcom{mnote}
+prints its parameter as a
+marginal note. \mnote{Quite a lot of marginal note text.}
+Remember, though, that marginal notes are only printed when the
+\file{isov2}\ixclass{isov2} class \file{draft}\ixopt{draft} option
+is used. Marginal notes are not allowed by ISO.
+
+\ssclause{Standard reference commands}
+
+ Many parts of STEP use the same normative or informative references.
+The most common of these are provided via commands. The currently available
+commands are listed in \tref{tab:nrefc}.
+\ixcom{nrefasni}
+\ixcom{nrefparti}
+\ixcom{nrefpartxi}
+\ixcom{nrefpartxii}
+\ixcom{nrefpartxxi}
+\ixcom{nrefpartxxii}
+\ixcom{nrefpartxxxi}
+\ixcom{nrefpartxxxii}
+\ixcom{nrefpartxli}
+\ixcom{nrefpartxlii}
+\ixcom{nrefpartxliii}
+
+ The naming convention used for references to parts of ISO~10303 is to
+end the command name with the number of the part expressed in lower case
+Roman numerals. Should further references to parts of ISO~10303 be added later,
+the same naming convention will be used.
+
+\begin{table}
+\centering
+\caption{Commands for common references to standards} \label{tab:nrefc}
+\begin{tabular}{|l|l|} \hline
+\textbf{Standard} & \textbf{Command} \\ \hline
+ISO/IEC 8824-1 & \verb|\nrefasni| \\
+ISO 10303-1 & \verb|\nrefparti| \\
+ISO 10303-11 & \verb|\nrefpartxi| \\
+ISO 10303-12 & \verb|\nrefpartxii| \\
+ISO 10303-21 & \verb|\nrefpartxxi| \\
+ISO 10303-22 & \verb|\nrefpartxxii| \\
+ISO 10303-31 & \verb|\nrefpartxxxi| \\
+ISO 10303-32 & \verb|\nrefpartxxxii| \\
+ISO 10303-41 & \verb|\nrefpartxli| \\
+ISO 10303-42 & \verb|\nrefpartxlii| \\
+ISO 10303-43 & \verb|\nrefpartxliii| \\ \hline
+\end{tabular}
+\end{table}
+
+
+\begin{example} The normative references in this document were input as:
+\begin{verbatim}
+\begin{nreferences}
+\isref{ISO/IEC Directives, Part 2}{Rules for the structure and drafting
+ International Standards, Fourth edition.}
+\isref{...}
+\nrefparti
+\nrefpartxi
+\nrefpartxii
+\nrefasni
+\disref{P. R. WILSON:---}{LaTeX for ISO standards: User manual.}
+\end{nreferences}
+\end{verbatim}
+\end{example}
+
+\begin{anote}
+For the commands providing references to STEP parts, the part number
+is denoted by lowercase Roman numerals. Should further reference
+commands be provided for other STEP parts, then the same naming scheme
+will be used.
+\end{anote}
+
+ Some informative bibliographic reference commands are also provided.
+
+The command \verb|\bibidefo|\ixcom{bibidefo} produces the reference
+entry to the IDEF0 document and \verb|\brefidefo|\ixcom{brefidefo}
+can be used for citing the reference in the body of the document.
+
+The commands \verb|\bibidefix|\ixcom{bibidefix} and
+\verb|\bibieeedefix|\ixcom{bibieeedefix} produce the reference entry
+to the original FIPS version of IDEF1X and the IEEE version of IDEF1X
+respectively.
+The command \verb|\brefidefix|\ixcom{brefidefix} can be used for
+citing an IDEF1X reference in the body of the document.
+
+ IDEF0 and IDEF1X are references \brefidefo{} and \brefidefix{}
+in the bibliography.
+
+
+\begin{example} Part of the bibliography for this document looks like:
+\begin{verbatim}
+\begin{references}
+...
+\reference{BRYAN, M.,}{SGML --- An Author's Guide to the Standard Generalized
+ Markup Language,}{Addison-Wesley Publishing Co., 1988. }\label{bryan}
+\bibidefo
+\bibieeeidefix
+\reference{RESSLER, S.,}{The National PDES Testbed Mail Server User's Guide,}
+ {NSTIR 4508, National Institute of Standards and Technology,
+ Gaithersburg, MD 20899. January 1991.} \label{ressler}
+...
+\end{references}
+\end{verbatim}
+\end{example}
+
+\begin{example}The source for one of the sentences above was:
+\begin{verbatim}
+IDEF0 and IDEF1X are references \brefidefo{} and \brefidefix{} in the bibliography.
+\end{verbatim}
+\end{example}
+
+
+\sclause{Commands for documenting EXPRESS code} \index{express@\Express\}
+
+
+ The Supplementary Directives\index{SD} specify the layout of the
+documentation of \Express{} code. The following commands are intended
+to serve two purposes:
+\begin{enumerate}
+\item To provide environments for the documentation of entity
+ attributes, etc.;
+\item To provide begin and end tags around all the \Express{} code
+ documentation.
+\end{enumerate}
+
+ This latter purpose is to provide an enabling capability for the
+automatic extraction of portions of the documentation of an
+\Express{} model so that they could be placed into another document.
+For example, tools could be developed that would automatically extract
+pieces of resource model documentation and place them into an AP document.
+
+\begin{anote}
+This document uses the \file{hyphenat}\ixpack{hyphenat}
+package which enables automatic hyphenation of `words'
+containing the underscore character command
+%(\verb|\_|\index{_/@\verb|\_|}).
+(\verb|\_|\index{_/@\texttt{\bs\_}}).
+Such words would normally have to
+be coded as \verb|long\_\-word| to ensure potential hyphenation
+at the position of the underscore. When using the \file{hyphenat} package
+it is an error to put the \verb|\-|\ixcom{-} discretionary
+hyphen command after the underscore command as this then stops further
+hyphenation.
+\end{anote}
+
+
+\ssclause{Environments ecode, eicode and excode}
+
+ The \verb|ecode|\ixenv{ecode} environment is for
+tagging \Express{} code. It prints the appropriate title
+and sets up the relevant fonts.
+
+\begin{anexample} The following \latex{} source code:
+\begin{verbatim}
+\begin{ecode}\ixent{an\_entity}
+\begin{verbatm} % read verbatm as verbatim
+*)
+ENTITY an_entity;
+ attr : REAL;
+END_ENTITY;
+(*
+\end{verbatm} % read verbatm as verbatim
+\end{ecode}
+\end{verbatim}
+
+produces:
+
+\begin{ecode}\ixent{an\_entity}
+\begin{verbatim}
+*)
+ENTITY an_entity;
+ attr : REAL;
+END_ENTITY;
+(*
+\end{verbatim}
+\end{ecode}
+\end{anexample} % end example
+
+ Similarly, the \verb|eicode|\ixenv{eicode} and
+\verb|excode|\ixenv{excode} environments are for tagging \ExpressI{}
+and \ExpressX{} code and setting up the relevant titles and fonts.
+
+
+\ssclause{Environment attrlist}
+
+ The \verb|attrlist|\ixenv{attrlist} environment produces
+the heading for attribute definitions and sets up
+a \verb|description|\ixenv{description} list.
+
+\begin{anexample}The following \latex{} source code:
+\begin{verbatim}
+\begin{attrlist}
+\item[attr\_1] The \ldots
+\item[attr\_2] This \ldots
+\end{attrlist}
+\end{verbatim}
+
+produces:
+
+\begin{attrlist}
+\item[attr\_1] The \ldots
+\item[attr\_2] This \ldots
+\end{attrlist}
+\end{anexample} % end example
+
+\ssclause{Environment fproplist}
+
+ The \verb|fproplist|\ixenv{fproplist} environment is similar to
+\verb|attrlist|\ixenv{attrlist} except that it is for
+formal propositions.
+
+\begin{anexample}The following \latex{} source code:
+\begin{verbatim}
+\begin{fproplist}
+\item[un\_1] The value of \ldots\ shall be unique.
+\item[gt\_0] The value of \ldots\ shall be greater than zero.
+\end{fproplist}
+\end{verbatim}
+
+produces:
+
+\begin{fproplist}
+\item[un\_1] The value of \ldots\ shall be unique.
+\item[gt\_0] The value of \ldots\ shall be greater than zero.
+\end{fproplist}
+\end{anexample} % end example
+
+\ssclause{Other listing environments}
+
+ The environments \verb|iproplist|\ixenv{iproplist},
+\verb|enumlist|\ixenv{enumlist}, and \verb|arglist|\ixenv{arglist} are
+similar to \verb|attrlist|\ixenv{attrlist}.
+ Respectively they are environments for
+informal propositions, enumerated items, and argument definitions.
+
+\ssclause{Indexing}
+
+ The command \verb|\ixent{|\meta{entity}\verb|}|\ixcom{ixent}
+generates an index
+entry for the entity \meta{entity}.
+
+ There are similar macros, each of which takes the name of the
+declaration as its argument, for indexing the other \Express{} declarations:
+\verb|\ixenum|\ixcom{ixenum} for enumeration,
+\verb|\ixfun|\ixcom{ixfun} for function,
+\verb|\ixproc|\ixcom{ixproc} for procedure,
+\verb|\ixrule|\ixcom{ixrule} for rule,
+\verb|\ixsc|\ixcom{ixsc} for subtype\_constraint,
+\verb|\ixschema|\ixcom{ixschema} for schema,
+\verb|\ixselect|\ixcom{ixselect} for select, and
+\verb|\ixtype|\ixcom{ixtype} for type.
+
+\ssclause{Documentation tagging}
+
+ Several environments are defined to tag the general documentation
+of \Express{} code. \index{express@\Express\}
+
+ The environment \verb+\begin{espec}{+\meta{name}\verb+}+\ixenv{espec}
+may be used to enclose, and give a name to, a complete specification
+block for an \Express{} entity. There are analogous environments ---
+\verb+fspec+\ixenv{fspec},
+\verb+rspec+\ixenv{rspec},
+\verb+sspec+\ixenv{sspec}, and
+\verb+tspec+\ixenv{tspec} ---
+for functions, rules, schemas and types respectively.
+
+ The \verb|dtext|\ixenv{dtext} environment may be used to anonymously
+enclose descriptive text.
+
+\begin{example}\label{ex:code} Here is the suggested tagged documentation
+style for part of an \Express{} model.
+\begin{verbatim}
+%\ssclause{committee\_def}
+\begin{espec}{committee_def}
+\begin{dtext}
+ A committee is composed of an odd number of people.
+Each committee also has a name.
+ The ideal size of a committee is less than three.
+
+\begin{anote} Figures and tables may also be placed here. \end{anote} % end note
+\end{dtext}
+\begin{ecode}\ixent{committee\_def}
+\begin{verbatm} % read verbatm as verbatim
+*)
+ENTITY committee_def;
+ title : name;
+ members : SET [1:?] OF person;
+DERIVE
+ ideal : BOOLEAN := SIZEOF(members) = 1;
+UNIQUE
+ un1 : title;
+WHERE
+ odd_members : ODD(SIZEOF(members));
+END_ENTITY;
+(*
+\end{verbatm} % read verbatm as verbatim
+\end{ecode}
+\begin{attrlist}
+\item[title] The name of the committee.
+\item[members] The people who form the committee.
+\item[ideal] TRUE if there is only one person
+ on the committee.
+ That is, if the committee is the ideal size.
+\end{attrlist}
+\begin{fproplist}
+\item[un1] The \nexp{title} of the committee shall be unique.
+\item[odd\_members] There shall be an odd number of people
+ on the committee.
+\end{fproplist}
+\begin{iproplist}
+\item[chair] The members of a committee shall appoint one of
+ their number as
+ chair of the committee.
+\end{iproplist}
+\end{espec}
+\end{verbatim}
+\end{example} % end example
+
+\begin{example}
+The code in \eref{ex:code} produces the following result:
+
+\begin{espec}{committee_def}
+\begin{dtext}
+ A committee is composed of an odd number of people.
+Each committee also has a name.
+The ideal size of a committee is less than three.
+
+\begin{anote} Figures and tables may also be placed here. \end{anote} % end note
+\end{dtext}
+\begin{ecode}\ixent{committee\_def}
+\begin{verbatim}
+*)
+ENTITY committee_def;
+ title : name;
+ members : SET [1:?] OF person;
+DERIVE
+ ideal : BOOLEAN := SIZEOF(members) = 1;
+UNIQUE
+ un1 : title;
+WHERE
+ odd_members : ODD(SIZEOF(members));
+END_ENTITY;
+(*
+\end{verbatim} % read verbatm as verbatim
+\end{ecode}
+\begin{attrlist}
+\item[title] The name of the committee.
+\item[members] The people who form the committee.
+\item[ideal] TRUE if there is only one person on the committee. That is, if
+ the committee is the ideal size.
+\end{attrlist}
+\begin{fproplist}
+\item[un1] The \nexp{title} of the committee shall be unique.
+\item[odd\_members] There shall be an odd number of people on the committee.
+\end{fproplist}
+\begin{iproplist}
+\item[chair] The members of a committee shall appoint one of their number as
+ chair of the committee.
+\end{iproplist}
+\end{espec}
+
+\end{example} % end example
+
+
+\sclause{Commands producing boilerplate text} \index{boilerplate}
+
+ The following commands produce boilerplate text as specified by the
+Supplementary Directives\index{SD}.
+
+\begin{anote}
+ In the examples,
+the parameters of those commands that
+take them have been specified in
+\textit{this font style} so their effects can
+be seen in the resulting printed text.
+\end{anote}
+
+\ssclause{Definition of \ExpressG}
+
+ The \verb|\expressgdef|\ixcom{expressgdef} prints the boilerplate
+for where the definition of \ExpressG{} can be found.
+
+\begin{anexample}
+The command \verb|\expressgdef| prints:
+
+\expressgdef
+\end{anexample}
+
+\ssclause{Major subdivision listing}
+
+ The \verb|majorsublist|\ixenv{majorsublist}
+environment prints the boilerplate for the heading of a listing of
+major subdivisions of the standard and starts an itemized list.
+An illustration of its use is given in \eref{ex:intro}
+on page~\pageref{ex:intro}.
+
+The heading text is produced by the
+\verb|\majorsubname|\ixcom{majorsubname} command.
+
+\begin{anexample} The command \verb|\majorsubname| command prints:
+
+\majorsubname
+
+\end{anexample}
+
+\ssclause{Schema introduction}
+
+ The command \verb|\schemahead{|\meta{schema name}\verb|}|\ixcom{schemahead} prints the heading for a schema clause.
+
+ The command \verb+\schemaintro{+\meta{schema name}\verb+}+\ixcom{schemaintro}
+produces the boilerplate for the introduction to an \Express{} schema
+clause.
+
+\begin{anexample}The command \verb|\schemaintro{\nexp{this\_schema}}| prints:
+
+\schemaintro{\nexp{this\_schema}}
+\end{anexample}
+
+
+
+\ssclause{Short names of entities}
+
+ The command \verb|\shortnamehead|\ixcom{shortnamehead} prints the
+heading for the short names annex.
+
+ The command \verb|\shortnames|\ixcom{shortnames}
+produces the boilerplate for the
+introduction to the annex listing short names.
+
+\begin{anexample}The command \verb|\shortnames| prints:
+
+\shortnames
+\end{anexample} %end example
+
+\ssclause{Registration commands}
+
+ The command \verb|\objreghead|\ixcom{objreghead} prints the heading
+for the information object registration annex.
+
+ The command \verb|\docidhead|\ixcom{docidhead} prints the heading
+for the document identification subclause.
+
+
+ The command
+\verb+\docreg{+\meta{version no}\verb+}+\ixcom{docreg}
+produces the boilerplate for document registration. The command takes
+one parameter:
+\meta{version no} which is the version number.\footnote{The
+SD say that the version number should be 1 for a first edition IS.
+The version number is incremented by one for each corrigenda,
+amendment or new edition.}
+
+\begin{example}The command \verb|\docreg{1}|
+ prints:
+
+\docreg{\textit{1}}
+\end{example} % end example
+
+ The command \verb|\schemaidhead|\ixcom{schemaidhead} prints the heading
+for the schema identification subclause.
+The command
+\verb|\aschemaidhead{|\meta{schema name}\verb|}|\ixcom{aschemaidhead}
+prints the heading for a particular schema identification subsubclause.
+
+ The command
+\verb+\schemareg{+\meta{version no}\verb+}{+\meta{p2}\verb+}{+\meta{p3}\verb+}{+\meta{p4}\verb+}{+\meta{p5}\verb+}{+\meta{p6}\verb+}+\ixcom{schemareg} produces the boilerplate concerning
+schema registration. The command takes six parameters.
+\begin{enumerate}
+\item \meta{version no} The version number;
+\item \meta{p2} The name of an \Express{} schema (with underscores);
+\item \meta{p3} The number of the schema object (typically 1);
+\item \meta{p4} The name of the schema, with hyphens replacing any
+ underscores in the name;
+\item \meta{p5} The number identifying the schema;
+\item \meta{p6} The clause or annex in which the schema is defined.
+\end{enumerate}
+
+\begin{example}The command \\
+ \verb|\schemareg{1}{a\_schema}{3}{a-schema}{5}{clause 6}|
+prints:
+
+\schemareg{\textit{1}}{a\_schema}{\textit{3}}{\textit{a-schema}}{\textit{5}}{\textit{clause 6}}
+\end{example} % end example
+
+
+\ssclause{Computer interpretable listings}
+
+ The command \verb|\listingshead|\ixcom{listingshead} prints the
+heading for the computer interpretable listings annex.
+
+ The command
+\verb|\expurls{|\meta{short}\verb|}{|\meta{express}\verb|}|\ixcom{expurls}
+produces the boilerplate for the introduction to the annex
+listing short names and \Express, where \meta{short} is the URL for the short
+names and \meta{express} is the URL for the \Express.
+
+\begin{anexample} The command
+ \verb|\expurls{http:/www.short/}{http://www.express/}| prints:
+
+\expurls{http://www.short/}{http://www.express/}
+
+\end{anexample}
+
+\clearpage
+\clause{The \file{ir} package facility}
+
+ The \file{ir}\ixpack{ir} package provides commands and environments
+specifically for the ISO~10303 Integrated Resources series of documents.
+
+ Use of this package requires the use of the \file{step}\ixpack{step}
+package.
+
+\sclause{Boilerplate commands}
+
+ The \file{ir} package modifies the \verb|\fwdshortlist|\ixcom{fwdshortlist}
+command to produce extra IR-specific boilerplate.
+
+ The following commands produce boilerplate text as specified by the
+SD\index{SD}.
+
+
+\ssclause{Integrated resource EXPRESS-G}
+
+ The command \verb|\expressghead|\ixcom{expressghead} prints the
+heading for the \ExpressG{} diagrams annex.
+
+ The command \verb+\irexpressg+\ixcom{irexpressg}
+produces the boilerplate for the introduction to the integrated
+resource \ExpressG{} annex.
+\index{expressg@\ExpressG\}
+
+\begin{anexample}The command \verb|\irexpressg| prints:
+
+\irexpressg
+
+ \end{anexample} % end example
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%%\end{document}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
+
+\clearpage
+\clause{The \file{ap} package facility}
+
+ The \file{ap}\ixpack{ap} package provides commands and environments
+specifically for the ISO~10303 Application Protocol series of documents.
+
+ Use of this package requires the use of the \file{step}\ixpack{step}
+package.
+
+\sclause{Preamble commands}
+
+ Certain commands shall be put in the preamble of an AP document.
+
+ The command
+\verb+\aptitle{+\meta{title of AP}\verb+}+\ixcom{aptitle}
+shall be put into the preamble. \index{preamble} The parameter shall be of
+such a form that
+it will read naturally in a sentence of the form:
+`\ldots for the \meta{title of AP} application protocol.'.
+
+\begin{anexample}
+ For the purposes of later examples, the command
+\verb|\aptitle{|\texttt{\theap}\verb|}| has been put in the preamble
+of this document.
+\end{anexample} % end example
+
+ If the AP makes use of one or more
+AICs\index{AIC}, then the command \verb|\aicinaptrue|\ixcom{aicinaptrue}
+shall be put in the document preamble.
+
+ If a mapping specification is used instead of a mapping table,
+the command \verb|\mapspectrue|\ixcom{mapspectrue} shall be put
+in the preamble. If mapping templates are used then
+\verb|\maptemplatetrue|\ixcom{maptemplatetrue} shall also be put in the
+preamble.
+
+ If IDEF1X is used instead of \ExpressG{} as the graphical form for the
+ARM, then \verb|\idefixtrue|\ixcom{idefixtrue} shall be put in the preamble.
+
+
+
+\sclause{Heading commands}
+
+ These commands start document clauses with particular titles. The
+commands that take no parameters are listed in \tref{tab:apnpheads}.
+Some of these commands have predefined labels, which are also listed in
+the table.
+\ixcom{inforeqhead}
+\ixcom{uofhead}
+\ixcom{applobjhead}
+\ixcom{applasserthead}
+\ixcom{aimhead}
+\ixcom{maptablehead}
+\ixcom{templateshead}
+\ixcom{aimshortexphead}
+\ixcom{confreqhead}
+\ixcom{aimlongexphead}
+\ixcom{aimshortnameshead}
+\ixcom{impreqhead}
+\ixcom{aamhead}
+\ixcom{aamdefhead}
+\ixcom{aamfighead}
+\ixcom{armhead}
+\ixcom{aimexpressghead}
+\ixcom{aimexpresshead}
+\ixcom{apusagehead}
+
+\settowidth{\prwlen}{\quad Application activity model definitions}
+\begin{table}
+\centering
+\caption{AP package parameterless heading commands}
+\label{tab:apnpheads}
+\begin{tabular}{|l|c|p{\prwlen}|l|} \hline
+\textbf{Command} & \textbf{Clause} & \textbf{Default text} & \textbf{Label} \\ \hline
+\verb|\inforeqhead| & C & Information requirements & \verb|;sireq| \\
+\verb|\uofhead| & SC & Units of functionality & \verb|;suof| \\
+\verb|\applobjhead| & SC & Application objects & \verb|;sao| \\
+\verb|\applasserthead| & SC & Application assertions & \verb|;saa| \\
+\verb|\aimhead| & C & Application interpreted model & \verb|;saim| \\
+\verb|\mappinghead| & SC & Mapping table, or & \verb|;smap| \\
+ & & Mapping specification & \verb|;smap| \\
+\verb|\templateshead| & SSC & Mapping templates & \\
+\verb|\aimshortexphead| & SC & AIM \Express{} short listing & \verb|;saesl| \\
+\verb|\confreqheadhead| & C & Conformance requirements & \verb|;scr| \\
+\verb|\aimlongexphead| & NA & AIM \Express{} expanded listing & \verb|;saeel| \\
+\verb|\aimshortnameshead| & NA & AIM short names & \verb|;sasn| \\
+\verb|\impreqhead| & NA & Implementation method specific requirements & \verb|;simreq| \\
+\verb|\aamhead| & IA & Application activity model & \verb|;saam| \\
+\verb|\aamdefhead| & SC & Application activity model definitions and abbreviations & \verb|| \\
+\verb|\aamfighead| & SC & Application activity model diagrams & \verb|| \\
+\verb|\armhead| & IA & Application reference model & \verb|;sarm| \\
+\verb|\aimexpressghead| & IA & AIM \ExpressG{} & \verb|;saeg| \\
+\verb|\aimexpresshead| & IA & AIM \Express{} listing & \verb|| \\
+\verb|\apusagehead| & IA & Application protocol usage guide & \verb|;sapug| \\
+ \hline
+\end{tabular}
+\end{table}
+
+ The commands listed in \tref{tab:appheads} take parameters.
+\ixcom{auofhead}
+\ixcom{mapuofhead}
+\ixcom{mapobjecthead}
+\ixcom{mapattributehead}
+
+\begin{table}
+\centering
+\caption{AP package parameterized heading commands}
+\label{tab:appheads}
+\begin{tabular}{|l|c|l|} \hline
+\textbf{Command} & \textbf{Clause} & \textbf{Parameterized title} \\ \hline
+\verb|\auofhead| & SSC & \meta{UoF} \\
+\verb|\mapuofhead| & SSC & \meta{UoF} \\
+\verb|\mapobjecthead| & SSSC & \meta{application object} \\
+\verb|\mapattribhead| & SSSSC & \meta{attribute} \\
+\hline
+\end{tabular}
+\end{table}
+
+\sclause{Boilerplate commands}
+
+ The following commands produce boilerplate text as specified by the
+SD\index{SD}.
+
+\begin{anote}
+ In the examples, the parameters of those commands that
+take them have been specified in
+\textit{this font style} so their effects can
+be seen in the resulting printed text.
+\end{anote}
+
+\ssclause{AP introduction}
+
+ The command \verb|\apextraintro|\ixcom{apextraintro} produces extra
+boilerplate for the Introduction to an AP.
+
+\begin{anexample}The command \verb|\apextraintro| prints:
+
+\apextraintro
+\end{anexample} %end example
+
+\ssclause{AP scope}
+
+ The command \verb+\apscope{+\meta{application purpose and context}\verb+}+\ixcom{apscope}
+produces the boilerplate for the start of an AP scope\index{scope} clause.
+
+\begin{anexample}The command \verb|\apscope{application purpose and context.}|
+ prints:
+
+\apscope{\textit{application purpose and context.}}
+\end{anexample}
+
+\ssclause{AP information requirements}
+
+ The command \verb|\inforeqhead|\ixcom{inforeqhead} prints the
+heading for the information requirements clause.
+
+ The command \verb+\apinforeq{+\meta{AP purpose}\verb+}+\ixcom{apinforeq}
+produces the boilerplate for the clause.
+
+\begin{anexample}The command \verb|\apinforeq{AP purpose.}| prints:
+
+\apinforeq{\textit{AP purpose.}}
+\end{anexample} % end example
+
+\ssclause{AP UoF}
+
+ The command \verb|\uofhead|\ixcom{uofhead} prints the heading
+for the UoF subclause.
+
+ The environment
+\verb+\begin{apuof}+\meta{item list}\verb+\end{apuof}+\ixenv{apuof}
+produces the boilerplate for the introduction to the clause.
+
+\begin{anexample} Remembering that \verb|\aptitle|\ixcom{aptitle}
+ was set to \texttt{\theap} in the preamble,
+ the commands
+\begin{verbatim}
+\begin{apuof}
+\item Name of UoF1;
+\item Name of UoF2;
+\item Name of UoFn.
+\end{apuof}
+\end{verbatim}
+prints:
+
+\begin{apuof}
+\item Name of UoF1;
+\item Name of UoF2;
+\item Name of UoFn.
+\end{apuof}
+
+\end{anexample}
+
+\ssclause{AP application objects}
+
+ The command \verb|\applobjhead|\ixcom{applobjhead} prints the
+heading for the application objects subclause.
+
+ The command \verb|\apapplobj|\ixcom{apapplobj} produces the
+boilerplate for the introduction to the clause.
+
+\begin{anexample} Remembering that \verb|\aptitle|\ixcom{aptitle}
+ was set to \texttt{\theap} in the preamble,
+ the command \verb|\apapplobj| prints:
+
+\apapplobj
+
+\end{anexample}
+
+\ssclause{AP assertions}
+
+ The command \verb|\applasserthead|\ixcom{applasserthead} prints the
+heading for the application assertions subclause.
+
+ The command \verb|\apassert|\ixcom{apassert}
+produces the boilerplate for the clause.
+
+\begin{anexample} Remembering that \verb|\aptitle|\ixcom{aptitle}
+ was set to \texttt{\theap} in the preamble,
+ the command \verb|\apassert| prints:
+
+\apassert
+
+\end{anexample}
+
+
+\ssclause{AP mapping table/specification}
+
+ The command \verb|\mappinghead|\ixcom{mappinghead} prints
+the heading for the mapping table or mapping specification subclause.
+The heading text depends on whether or not
+\verb|\mapspectrue|\ixcom{mapspectrue} was put in the preamble.
+
+ The command \verb|\apmapping|\ixcom{apmapping}
+produces the boilerplate for the introduction to the AP mapping table
+or specification clause.
+
+\begin{anote}AICs are included in the boilerplate only if the command
+\verb|\aicinaptrue|\ixcom{aicinaptrue} is included
+in the preamble.
+\end{anote}
+
+\begin{example}By default, or when \verb|\mapspecfalse| is in
+the preamble, the command \verb|\apmapping|
+ prints: \mapspecfalse
+
+\apmapping
+\end{example} % end example
+
+\begin{example}When \verb|\mapspectrue| is in the preamble, the command \verb|\apmapping|
+ prints: \mapspectrue
+
+\apmapping
+\end{example} % end example
+
+\sssclause{AP mapping templates}
+
+ The command \verb|\aptemplatehead|\ixcom{aptemplatehead} prints
+the heading for the mapping template subclause (if any).
+
+ The command \verb|\apmaptemplate|\ixcom{apmaptemplate} prints
+the boilerplate for the introduction to the clause. This refers to the
+UoFs in the AP. The first of the UoFs shall be labelled as
+\verb|\label{;uof1}| and the last of the UoFs shall be
+labelled as \verb|\label{;uoflast}|.
+
+\begin{example} If there are three UoFs, then there should be headings
+of the form:
+\begin{verbatim}
+\mapuofhead{First UoF}\label{;uof1}
+...
+\mapuofhead{Second UoF}...
+...
+\mapuofhead{Third UoF}\label{;uoflast}
+...
+\end{verbatim}
+\end{example}
+
+\begin{example} Assuming that there are three UoFs as in the previous example,
+the command \verb|\apmaptemplate| prints:
+
+\apmaptemplate
+\end{example} % end example
+
+ The command \verb|\sstemplates|\ixcom{sstemplates} prints
+the two subclauses for the \xword{subtype} and \xword{SuPeRtype} templates.
+
+\begin{example} \label{ex:sstemplates} In this document,
+and noting that the clause
+numbering is not the same as in a real AP document,
+the command \verb|\sstemplates|
+ prints:
+
+\sstemplates
+
+\end{example} % end example
+
+
+\sssclause{Template headings}
+
+ There are three headings used within a mapping template.
+
+ The command \verb|\signature|\ixcom{signature} prints the underlined
+Mapping signature header.
+
+ The command \verb|\parameters|\ixcom{parameters} prints the underlined
+Parameter definition header.
+
+ The command \verb|\body|\ixcom{body} prints the underlined
+Template body header.
+
+\begin{anexample} The results of using the \verb|\signature|\ixcom{signature}
+and \verb|\parameters|\ixcom{parameters} commands were illustrated
+in \eref{ex:sstemplates} on \pref{ex:sstemplates}.
+\end{anexample}
+
+
+
+\ssclause{AIM short EXPRESS listing}
+
+ The command \verb|\aimshortexphead|\ixcom{aimshortexphead} prints
+the heading for the AIM EXPRESS short listing subclause.
+
+ The command \verb|\apshortexpress|\ixcom{apshortexpress} produces
+the boilerplate for the
+first paragraph of the clause.
+
+\begin{anote}AICs are included in the boilerplate only if the command
+\verb|\aicinaptrue|\ixcom{aicinaptrue} is included in the preamble.
+\end{anote}
+
+\begin{example}
+The command \verb|\apshortexpress| without \verb|\aicinaptrue|
+in the preamble produces:
+
+\aicinapfalse
+\apshortexpress
+
+\end{example} % end example
+
+\begin{example}
+With \verb|\aicinaptrue| set in the preamble the command
+\verb|\apshortexpress| produces the following:
+
+\aicinaptrue
+\apshortexpress
+\end{example} % end example
+
+
+\ssclause{AP conformance}
+
+ The command \verb|\confreqhead|\ixcom{confreqhead} prints the
+heading for the conformance requirements clause.
+
+ The command
+\verb+\apconformance{+\meta{implementation methods}\verb+}+\ixcom{apconformance}
+produces the boilerplate for the introduction to the clause.
+
+ The environment
+\verb+\begin{apconformclasses}+\meta{item list}\verb+\end{apconformclasses}+\ixenv{apconformclasses}
+provides some additional boilerplate.
+
+\begin{example}The command \verb|\apconformance{ISO 10303-21, ISO 10303-22}|
+ prints:
+
+\apconformance{\textit{ISO 10303-21, ISO 10303-22}}
+\end{example} % end example
+
+\begin{example}The commands
+ \begin{verbatim}
+\begin{apconformclasses}
+\item first class;
+\item second class;
+\item last class.
+\end{apconformclasses}
+\end{verbatim}
+ print:
+
+\begin{apconformclasses}
+\item first class;
+\item second class;
+\item last class.
+\end{apconformclasses}
+\end{example}
+
+
+\ssclause{EXPRESS expanded listing}
+
+ The command \verb|\aimlongexphead|\ixcom{aimlongexphead} prints
+the heading for the AIM expanded listing clause.
+
+ The command \verb|\aimlongexp|\ixcom{aimlongexp}
+produces the boilerplate for the introduction to the clause.
+
+\begin{anexample}The command \verb|\aimlongexp|
+ prints:
+
+\aimlongexp
+\end{anexample} % end example
+
+\ssclause{AIM short names}
+
+ The command \verb|\aimshortnamehead|\ixcom{aimshortnamehead} prints
+the heading for the AIM short names annex.
+
+ The command \verb|\apshortnames|\ixcom{apshortnames}
+produces the boilerplate for the introduction to the AP short name annex.
+
+\begin{anexample}The command \verb|\apshortnames|
+ prints:
+
+\apshortnames
+\end{anexample} % end example
+
+\ssclause{Implementation requirements}
+
+ the command \verb|\impreqhead|\ixcom{impreqhead} prints the heading
+for implementation method-specific reguirements.
+
+ The command \verb+\apimpreq{+\meta{schema name}\verb+}+\ixcom{apimpreq}
+produces the boilerplate for the requirements on exchange structure.
+
+\begin{anexample}The command \verb|\apimpreq{schema\_name}|
+ prints:
+
+\apimpreq{\textit{schema\_name}}
+\end{anexample} % end example
+
+
+\ssclause{AP PICS}
+
+ The command \verb|\picshead|\ixcom{picshead},
+from the \file{step}\ixpack{step} package,
+prints the heading for the PICS annex.
+
+ The command \verb|\picsannex|\ixcom{picsannex}
+produces the boilerplate for the start of the AP PICS annex.
+
+\begin{anexample}The command \verb|\picsannex|
+ prints:
+
+\picsannex
+\end{anexample} % end example
+
+\ssclause{AAM annex}
+
+ The command \verb|\aamhead|\ixcom{aamhead} prints the heading for
+the AAM annex.
+
+
+ The command \verb|\apaamintro|\ixcom{apaamintro}
+ produces the introductory boilerplate for the introduction of
+the AP annex on application activity models.
+
+\begin{anexample}
+ The command \verb|\apaamintro| prints:
+
+\apaamintro
+
+\end{anexample} % end example
+
+\ssclause{AP AAM definitions}
+
+ The command \verb|\aamdefhead|\ixcom{aamdefhead} prints the heading
+for the AAM definitions subclause.
+
+ The command \verb|\apaamdefs|\ixcom{apaamdefs} produces
+the boilerplate at the start of
+the AP subclause on AAM definitions and abbreviations.
+
+\begin{anexample}
+ The command \verb|\apaamdefs| prints:
+
+\apaamdefs
+\end{anexample} % end example
+
+\ssclause{AAM diagrams annex}
+
+ The command \verb|\aamfighead|\ixcom{aamfighead} prints the heading
+for the AAM diagrams subclause.
+
+ The command
+\verb|\aamfigrange{|\meta{figure range}\verb|}|\ixcom{aamfigrange}
+is used to store the activity model diagram figure range for later use.
+
+\begin{example}
+ For the purposes of this document we set
+\begin{verbatim}
+\aamfigrange{figures F.1 through F.n}
+\end{verbatim}
+
+\aamfigrange{\textit{figures F.1 through F.n}}
+
+\end{example}
+
+ The command \verb+\aamfigures+\ixcom{aamfigures}
+produces the boilerplate for the introduction to an APs AAM figure
+subclause.
+
+\begin{example} Noting that we have set
+\verb|\aamfigrange{figures F.1 through F.n}|\ixcom{aamfigrange},
+the command \verb|\aamfigures| prints:
+
+\aamfigures
+
+\end{example}
+
+\ssclause{ARM annex}
+
+ The command \verb|\armhead|\ixcom{armhead} prints the heading for the
+ARM annex.
+
+ The command
+\verb+\armintro+\ixcom{armintro}
+produces the boilerplate for the introduction to the ARM figures.
+
+\begin{anexample}The command
+ \verb|\armintro|
+ prints:
+
+\armintro
+\end{anexample} % end example
+
+\ssclause{AIM EXPRESS-G annex}
+
+ The command \verb|\aimexpressghead|\ixcom{aimexpressghead}
+prints the heading for the AIM \ExpressG{} annex.
+
+
+ The command
+\verb+\aimexpressg+\ixcom{aimexpressg}
+produces the boilerplate for the introduction to an AP's AIM \ExpressG{}
+model.
+
+\begin{anexample}The command \verb|\aimexpressg|
+ prints:
+
+\aimexpressg
+\end{anexample} % end example
+
+\ssclause{AIM EXPRESS listing}
+
+ The command \verb|\aimexpresshead|\ixcom{aimexpresshead} prints
+the heading for the AIM listing annex.
+
+% The command \verb|\aimexplisting|\ixcom{aimexplisting}
+%produces the boilerplate for the introduction to an AIMs short name and
+%\Express{} listing.
+%
+%
+%\begin{example}The command \verb|\aimexplisting|
+% prints:
+%
+%\aimexplisting
+%\end{example}
+
+ The command
+\verb|\apexpurls{|\meta{short}\verb|}{|\meta{express}\verb|]|\ixcom{apexpurls}
+produces the boilerplate for the introduction to the AP annex
+listing short names and \Express, where \meta{short} is the URL for the short
+names and \meta{express} is the URL for the \Express.
+
+\begin{anexample} The command \verb|\apexpurls{http:/www.short/}{http://www.express/}|
+prints:
+
+\apexpurls{http://www.short/}{http://www.express/}
+
+\end{anexample}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%%%%\end{document}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
+
+\clearpage
+\clause{The \file{aic} package facility}
+
+ The \file{aic}\ixpack{aic} package
+provides commands and environments specifically
+for the ISO~10303 Application Interpreted Construct series of
+documents.
+
+ The use of this package requires the use of the
+\file{step}\ixpack{step} package.
+
+\sclause{Heading commands}
+
+ The commands described in this subclause start document clauses with
+particular titles.
+
+ The commands that take no parameters are listed in \tref{tab:aicnpheads}.
+\ixcom{aicshortexphead}
+
+\begin{table}[btp]
+\centering
+\caption{AIC package parameterless heading commands}
+\label{tab:aicnpheads}
+\begin{tabular}{|l|c|l|l|} \hline
+\textbf{Command} & \textbf{Clause} & \textbf{Default text} & \textbf{Label} \\ \hline
+\verb|\aicshortexphead| & C & \Express{} short listing & \verb|;sesl| \\
+\hline
+\end{tabular}
+\end{table}
+
+\sclause{Boilerplate commands}
+
+ The following commands produce boilerplate text as specified by the
+Supplementary Directives.
+
+
+\ssclause{Introduction text}
+
+ The command \verb|\aicextraintro|\ixcom{aicextraintro}
+prints additional boilerplate for the Introduction to an AIC.
+
+\begin{anexample}The command \verb|\aicextraintro|
+ prints:
+
+\aicextraintro
+\end{anexample}
+
+\ssclause{Definition of AIC}
+
+ The command \verb|\aicdef|\ixcom{aicdef}
+prints the definition of `AIC'. It shall only be used within the
+\verb|definitions|\ixenv{definitions} environment.
+
+\begin{anexample}The commands:
+ \begin{verbatim}
+ \begin{definitions}
+ \aicdef
+ \end{definitions}
+ \end{verbatim}
+ produce:
+
+\begin{definitions}
+\aicdef
+\end{definitions}
+\end{anexample} % end example
+
+\ssclause{Short EXPRESS listing}
+
+ The command \verb|\aicshortexphead|\ixcom{aicshortexphead} prints
+the heading for the AIC short \Express{} annex.
+
+ The command \verb|\aicshortexpintro|\ixcom{aicshortexpintro}
+prints boilerplate for the introduction to the short \Express{} listing.
+
+\begin{anexample}The command \verb|\aicshortexpintro|
+ prints:
+
+\aicshortexpintro
+\end{anexample} % end example
+
+\ssclause{EXPRESS-G figures}
+
+ The command \verb|\expressghead|\ixcom{expressghead},
+from the \file{step} package, prints the heading for the \ExpressG{} diagrams
+annex.
+
+ The command
+\verb+\aicexpressg+\ixcom{aicexpressg}
+prints boilerplate for the introduction to the \ExpressG\ figures.
+
+\begin{anexample}The command \verb|\aicexpressg|
+ prints:
+
+\aicexpressg
+\end{anexample}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%\end{document}
+%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\clearpage
+\clause{The \file{ats} package facility}
+
+ The \file{ats}\ixpack{ats} package
+provides commands and environments specifically
+for the ISO~10303 Abstract Test Suite series of
+documents.
+
+ The use of this package requires the use of the
+\file{step}\ixpack{step} package.
+
+\sclause{Preamble commands}
+
+ Certain commands shall be put in the preamble\index{preamble}
+of an ATS document.
+
+ The command
+\verb+\APnumber{+\meta{number}\verb+}+\ixcom{APnumber} shall be put
+in the preamble,
+where \meta{number} is the ISO 10303 part number of the corresponding AP.
+
+\begin{example}
+For the purposes of later examples, the command
+\verb+\APnumber{+\texttt{\theAPpartno}\verb+}+ has been put in the preamble.
+of this document.
+\end{example}
+
+ The command
+\verb+\APtitle{+\meta{title of AP}\verb+}+\ixcom{APtitle} shall be put
+in the preamble,
+where \meta{title of AP} is the ISO 10303 part title of the
+corresponding AP. This must be given in such a manner that it reads
+sensibly in a sentence of the form `\ldots for ISO 10303-299,
+application protocol \meta{title of AP}.'
+
+\begin{example}
+For the purposes of later examples, the command
+\verb+\APtitle{+\texttt{\theAPtitle}\verb+}+
+has been put in the preamble of this document.
+\end{example}
+
+ The command
+\verb+\mapspectrue+\ixcom{mapspectrue}
+shall be put in the preamble if the AP uses a mapping specification rather
+than a mapping table.
+
+\sclause{Heading commands}
+
+ These commands start document clauses with particular titles.
+The commands that take no parameters are listed in \tref{tab:atshead}.
+\ixcom{purposeshead}
+\ixcom{domainpurposehead}
+\ixcom{aepurposehead}
+\ixcom{apobjhead}
+\ixcom{apasserthead}
+\ixcom{aimpurposehead}
+%%%\ixcom{extrefpurposehead}
+\ixcom{implementpurposehead}
+%%%\ixcom{rulepurposehead}
+\ixcom{otherpurposehead}
+\ixcom{gtpvchead}
+\ixcom{generalpurposehead}
+\ixcom{gvcatchead}
+\ixcom{gvcprehead}
+\ixcom{gvcposthead}
+\ixcom{atchead}
+\ixcom{prehead}
+\ixcom{posthead}
+\ixcom{confclassannexhead}
+\ixcom{postipfilehead}
+%%%\ixcom{excludepurposehead}
+\ixcom{atsusagehead}
+
+\settowidth{\prwlen}{\quad General verdict criteria for all abstract}
+\begin{table}
+\centering
+\caption{ATS package parameterless heading commands} \label{tab:atshead}
+\begin{tabular}{|l|c|p{\prwlen}|} \hline
+\textbf{Command} & \textbf{Clause} & \textbf{Default text} \\ \hline
+\verb|\purposeshead| & C & Test purposes \\
+\verb|\aepurposehead| & SC & Application element test purposes \\
+\verb|\aimpurposehead| & SC & AIM test purposes \\
+\verb|\implementpurposehead| & SC & Implementation method test purposes \\
+\verb|\domainpurposehead| & SC & Domain test purposes \\
+\verb|\otherpurposehead| & SC & Other test purposes \\
+
+\verb|\gtpvchead| & C & General test purposes and verdict criteria \\
+\verb|\generalpurposehead| & SC & General test purposes \\
+\verb|\gvcatchead| & SC & General verdict criteria for all abstract test cases \\
+\verb|\gvcprehead| & SC & General verdict criteria for preprocessor abstract test cases \\
+\verb|\gvcposthead| & SC & General verdict criteria for postprocessor abstract test cases \\
+
+\verb|\atchead| & C & Abstract test cases \\
+\verb|\prehead| & SSC & Preprocessor \\
+\verb|\precoveredhead| & SSSC & Test purposes covered \\
+\verb|\preinputhead| & SSSC & Input specification \\
+\verb|\precriteriahead| & SSSC & Verdict criteria \\
+\verb|\preconstraintshead| & SSSC & Constraints on values \\
+\verb|\preexechead| & SSSC & Execution sequence \\
+\verb|\preextrahead| & SSSC & Extra details \\
+
+
+\verb|\posthead| & SSC & Postprocessor \\
+\verb|\postcoveredhead| & SSSC & Test purposes coverage \\
+\verb|\postinputhead| & SSSC & Input specification \\
+\verb|\postcriteriahead| & SSSC & Verdict criteria \\
+\verb|\postexechead| & SSSC & Execution sequence \\
+\verb|\postextrahead| & SSSC & Extra details \\
+
+\verb|\confclassannexhead| & NA & Conformance classes \\
+\verb|\postipfilehead| & NA & Postprocessor input specification file names \\
+
+\verb|\atsusagehead| & IA & Usage scenarios \\
+
+\verb|\apasserthead| & SSC & Application assertions \\
+%%%\verb|\extrefpurposehead| & SC & External reference test purposes \\
+%%%%\verb|\rulepurposehead| & SC & \rulepurposename\ \\
+%%%\verb|\excludepurposehead| & NA & Excluded test purposes \\
+\hline
+\end{tabular}
+\end{table}
+
+
+ The commands that take a parameter are listed in \tref{tab:atsphead}.
+\ixcom{apobjhead}
+\ixcom{aimenthead}
+\ixcom{atctitlehead}
+\ixcom{confclasshead}
+
+\begin{table}
+\centering
+\caption{ATS package parameterized heading commands} \label{tab:atsphead}
+\begin{tabular}{|l|c|l|} \hline
+Command & Clause & Parameterized title \\ \hline
+\verb|\apobjhead| & SSC & \meta{Application object n} \\
+\verb|\aimenthead| & SSC & \meta{Entity name} \\
+\verb|\atctitlehead| & SC & \meta{Title} \\
+\verb|\confclasshead| & SC & Conformance class \meta{number} \\ \hline
+\end{tabular}
+\end{table}
+
+
+\sclause{Keyword commands}
+
+ Several keyword (headings) are used in documenting a test case.
+\latex{} commands for these keywords are given in \tref{tab:atskey}.
+\ixcom{atssummary}
+\ixcom{atscovered}
+\ixcom{atsinput}
+\ixcom{atsconstraints}
+\ixcom{atsverdict}
+\ixcom{atsexecution}
+\ixcom{atsextra}
+
+\begin{table}
+\centering
+\caption{ATS package keyword commands} \label{tab:atskey}
+\begin{tabular}{|l|l|} \hline
+Command & Effect \\ \hline
+\verb|\atssummary| & \atssummary{} \\
+\verb|\atscovered| & \atscovered{} \\
+\verb|\atsinput| & \atsinput{} \\
+\verb|\atsconstraints| & \atsconstraints{} \\
+\verb|\atsverdict| & \atsverdict{} \\
+\verb|\atsexecution| & \atsexecution{} \\
+\verb|\atsextra| & \atsextra{} \\ \hline
+\end{tabular}
+\end{table}
+
+\sclause{Boilerplate commands}
+
+ The following commands produce boilerplate text.
+
+\begin{anote}
+ In the examples, the
+parameters of those commands that take them have been specified in
+\textit{this font style} so that their
+effects can be seen in the printed text.
+\end{anote}
+
+\ssclause{ATS introduction}
+
+ The command
+\verb|\atsintroendbp|\ixcom{atsintroendbp}
+ produces the boilerplate
+for the end of the Introduction to an ATS.
+
+\begin{anexample} Remembering that in the preamble
+ \verb|\APnumber|\ixcom{APnumber} was set to \texttt{\theAPpartno}
+ and \verb|\APtitle|\ixcom{APtitle} was set to \texttt{\theAPtitle},
+the command \verb|\atsintroendbp| prints:
+
+\atsintroendbp
+
+\end{anexample}
+
+
+\ssclause{ATS scope}
+
+ The command \verb|\scopeclause|\ixcom{scopeclause}, from the \file{isov2}
+class, prints the heading for the Scope clause.
+
+ The command
+\verb|\atsscopebp|\ixcom{atsscopebp}
+produces boilerplate for an ATS \textit{Scope}
+clause.
+
+\begin{anexample} Remembering that in the preamble
+ \verb|\APnumber|\ixcom{APnumber} was set to \texttt{\theAPpartno},
+the command \verb|\atsscopebp| prints:
+
+\atsscopebp
+
+\end{anexample}
+
+\ssclause{Test purpose}
+
+ The command \verb|\purposehead|\ixcom{purposehead} prints the heading
+for the test purposes clause.
+
+ The command \verb|\atspurposebp|\ixcom{atspurposebp}
+prints boilerplate for the introduction to the clause.
+
+\begin{anexample} Remembering that in the preamble
+ \verb|\APnumber|\ixcom{APnumber} was set to \texttt{\theAPpartno},
+the command \verb|\atspurposebp| prints:
+
+\atspurposebp
+
+\end{anexample}
+
+\ssclause{Application element test purposes}
+
+ The command \verb|\aepurposehead|\ixcom{aepurposehead} prints the
+heading for the application element test purposes subclause.
+
+ The command
+\verb|\aetpbp|\ixcom{aetpbp}
+prints boilerplate for the clause.
+
+\begin{anexample} Remembering that in the preamble
+ \verb|\APnumber|\ixcom{APnumber} was set to \texttt{\theAPpartno},
+the command \verb|\aetpbp| prints:
+
+\aetpbp
+
+\end{anexample}
+
+\ssclause{AIM test purposes}
+
+ The command \verb|\aimpurposehead|\ixcom{aimpurposehead} prints the
+heading for the AIM test purposes subclause.
+
+ The command
+\verb|\aimtpbp|\ixcom{aimtpbp}
+prints boilerplate for the clause.
+
+\begin{anexample} Remembering that in the preamble
+ \verb|\APnumber|\ixcom{APnumber} was set to \texttt{\theAPpartno},
+the command \verb|\aimtpbp| prints:
+
+\aimtpbp
+
+\end{anexample}
+
+\ssclause{Implementation method test purposes}
+
+ The command \verb|\implementpurposehead|\ixcom{implementpurposehead} prints the
+heading for the implementation method test purposes subclause.
+
+ The command
+\verb|\atsimtpbp|\ixcom{atsimtpbp}
+prints boilerplate for the clause.
+
+\begin{anexample} Remembering that in the preamble
+ \verb|\APnumber|\ixcom{APnumber} was set to \texttt{\theAPpartno},
+the command \verb|\atsimtpbp| prints:
+
+\atsimtpbp
+
+\end{anexample}
+
+
+
+\ssclause{General test purposes and verdict criteria}
+
+ The command \verb|\gtpvchead|\ixcom{gtpvchead} prints the heading
+for the general test purposes and verdict criteria clause.
+
+ The command
+\verb|\atsgtpvcbp|\ixcom{atsgtpvcbp}
+prints boilerplate for the clause
+
+
+\begin{anexample} The command \verb|\atsgtpvcbp| prints:
+
+\atsgtpvcbp
+\end{anexample}
+
+\ssclause{General test purposes}
+
+ The command \verb|\generalpurposehead|\ixcom{generalpurposehead} prints
+the heading for the general test purposes subclause.
+
+ The command
+\verb|\gtpbp|\ixcom{gtpbp}
+prints boilerplate for the suclause.
+
+\begin{anexample} Remembering that in the preamble
+ \verb|\APnumber|\ixcom{APnumber} was set to \texttt{\theAPpartno},
+the command \verb|\gtpbp| prints:
+
+\gtpbp
+
+\end{anexample}
+
+\ssclause{General verdict criteria}
+
+ The command \verb|\gvcatchead|\ixcom{gvcatchead} prints the
+heading for the general verdict criteria for all cases subclause.
+
+ The command
+\verb|\gvatcbp|\ixcom{gvatcbp}
+prints boilerplate for the subclause.
+
+\begin{anexample} Remembering that in the preamble
+ \verb|\APnumber|\ixcom{APnumber} was set to \texttt{\theAPpartno},
+the command \verb|\gvatcbp| prints:
+
+\gvatcbp
+
+\end{anexample}
+
+\ssclause{General verdict criteria for preprocessor}
+
+ The command \verb|\gvcprehead|\ixcom{gvcprehead} prints the
+heading for the general verdict criteria for preprocessor cases subclause.
+
+ The command
+\verb|\gvcprebp|\ixcom{gvcprebp}
+prints boilerplate for the subclause.
+
+\begin{anexample} Remembering that in the preamble
+ \verb|\APnumber|\ixcom{APnumber} was set to \texttt{\theAPpartno},
+the command \verb|\gvcprebp| prints:
+
+\gvcprebp
+
+\end{anexample}
+
+\ssclause{General verdict criteria for postprocessor}
+
+
+ The command \verb|\gvcposthead|\ixcom{gvcposthead} prints the
+heading for the general verdict criteria for postprocessor cases subclause.
+
+ The command
+\verb|\gvcpostbp|\ixcom{gvcpostbp}
+prints boilerplate for the subclause.
+
+\begin{anexample} Remembering that in the preamble
+ \verb|\APnumber|\ixcom{APnumber} was set to \texttt{\theAPpartno},
+the command \verb|\gvcpostbp| prints:
+
+\gvcpostbp
+
+\end{anexample}
+
+\ssclause{Abstract test cases}
+
+ The command \verb|\atchead|\ixcom{atchead} prints the heading
+for the abstract test cases clause.
+
+ The command
+\verb|\atcbp|\ixcom{atcbp}
+prints the first paragraph of the boilerplate for the clause.
+
+\begin{example} The command \verb|\atcbp| prints:
+
+\atcbp
+\end{example}
+
+ The command
+\verb|\atcbpii|\ixcom{atcbpii}
+prints paragraphs~3 and onwards of the boilerplate.
+
+\begin{example} The command \verb|\atcbpii|
+prints:
+
+\atcbpii
+
+\end{example}
+
+\ssclause{Preprocessor}
+
+ The command \verb|\prehead|\ixcom{prehead} prints the title
+for the preprocessor subsubclause.
+
+ The command
+\verb|\atcpretpc|\ixcom{atcpretpc}
+prints boilerplate for the subclause.
+
+\begin{anexample} The command \verb|\atcpretpc| prints:
+
+\atcpretpc
+\end{anexample}
+
+\ssclause{Postprocessor}
+
+ The command \verb|\posthead|\ixcom{posthead} prints the title
+for the postrocessor subsubclause.
+
+ The command
+\verb|\atcposttpc|\ixcom{atcposttpc}
+prints boilerplate for the subclause.
+
+\begin{anexample} The command \verb|\atcposttpc| prints:
+
+\atcposttpc
+\end{anexample}
+
+
+
+\ssclause{Conformance class}
+
+ The command \verb|\confclassannexhead|\ixcom{confclassannexhead}
+prints the heading for the conformance classes annex heading.
+
+ The command
+\verb|\atsnoclassesbp|\ixcom{atsnoclassesbp}
+prints the entire boilerplate for the
+\textit{Conformance class} annex when the AP has no conformance classes.
+
+\begin{example} Remembering that in the preamble
+ \verb|\APnumber|\ixcom{APnumber} was set to \texttt{\theAPpartno},
+the command \verb|\atsnoclassesbp| prints:
+
+\atsnoclassesbp
+
+\end{example}
+
+ The command \verb|\confclasshead{|\meta{number}\verb|}|\ixcom{confclasshead}
+prints the heading for a conformance class \meta{number} subclause.
+
+ The command
+\verb|\confclassbp{|\meta{number}\verb|}|\ixcom{confclassbp}
+prints the
+boilerplate for the introduction to a conformance class subclause, where
+\meta{number} is the number of the conformance class.
+
+\begin{example} Remembering that in the preamble
+ \verb|\APnumber|\ixcom{APnumber} was set to \texttt{\theAPpartno},
+the command \verb|\confclassbp{27}| prints:
+
+\confclassbp{\textit{27}}
+
+\end{example}
+
+\ssclause{Postprocessor input specification file names}
+
+ The command \verb|\postipfilehead|\ixcom{postipfilehead} prints
+the heading for the postprocessor input file names annex.
+
+ The command
+\verb|\pisfbp{|\meta{12 or 21}\verb|}{|\meta{url}\verb|}{|\meta{ref}\verb|}|\ixcom{pisfbp}
+prints the boilerplate for the annex.
+
+\begin{anexample} The command
+\verb|\pisfbp{12}{http://www.mel.nist.gov/step/parts/parts3456/wd}{\ref{TabB1}}| prints:
+
+\pisfbp{12}{http://www.mel.nist.gov/step/parts/part3456/wd}{\ref{tabB1}}
+
+\end{anexample}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%\end{document}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\normannex{Additional commands} \label{anx:extraiso}
+
+\sclause{Internal commands}
+
+ The code implementing the various facilities includes many commands
+not described in the body of this document. Any command that includes
+the commercial at sign (\verb|@|) in its name shall not be used by any author;
+the implementer of the package code reserves the right to modify or delete
+these at any time without giving any notice.
+
+ Internal commands that have names consisting only of letters may be
+used in a document at the author's own risk. These may be changed, but
+if so notification will be given.
+
+\sclause{Boilerplate}
+
+ Much of the boilerplate text is maintained in separate \file{.tex}
+files and many of the commands that generate boilerplate merely
+\verb|\input|
+the appropriate file.
+
+
+
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%\end{document}
+%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\normannex{Ordering of LaTeX commands} \label{anx:lord}
+
+ The \latex{} commands to produce an ISO~10303 document are:
+\begin{verbatim}
+\documentclass[<options>]{isov2}
+\usepackage{stepv13} % required package
+\usepackage{irv12} % for an IR document
+\usepackage{apv12} % for an AP document
+\usepackage{aicv1} % for an AIC document
+\usepackage{atsv11} % for an ATS document
+\usepackage[<options>]{<name>} % additional packages
+\standard{<standard identifier>}
+\yearofedition{<year>}
+\languageofedition{<parenthesized code letter>}
+\partno{<part number>}
+\series{<series title>}
+\doctitle{<title on cover page>}
+\ballotcycle{<number>}
+\aptitle{<title of AP>} % if doc is an AP
+\aicinaptrue % if doc is an AP that uses AICs
+\mapspectrue % if doc is an AP that uses mapping spec.
+\APnumber{<number>} % if doc is an ATS
+\APtitle{<title>} % if doc is an ATS
+\mapspectrue % if doc is an ATS and AP uses mapping spec.
+ % other preamble commands
+\begin{document}
+\STEPcover{< title commands >}
+\Foreword % start Foreword & ISO boilerplate
+ \fwdshortlist % STEP boilerplate
+\endForeword{<param1>}{<param2>} % end Foreword & boilerplate
+\begin{Introduction} % start Introduction & boilerplate
+ \aicextraintro % extra boilerplate for an AIC
+ \apextraintro % extra boilerplate for an AP
+ % your text
+\end{Introduction}
+\stepparttitle{<Part title>}
+\scopeclause % Clause 1: Scope clause
+ \apscope{<AP purpose>} % boilerplate if an AP
+ % text of scope
+\normrefsclause % Clause 2: Normative references
+ \normrefbp{<document type>} % boilerplate
+ \begin{nreferences}
+ % \isref{}{} and/or \disref{}{} list of normative references
+ \end{nreferences}
+\defclause % definitions clause
+ \partidefhead % defs from Part1 subclause
+ % olddefinition list
+ \refdefhead{<ISO 10303-NN>} % defs from Part NN subclause
+ % olddefinition list
+ \otherdefhead % defs in this part
+ % definition list
+\symabbclause % Symbols & abbreviations clause
+ % symbol lists
+% THE BODY OF THE DOCUMENT
+\bibannex % optional; the final Bibliography
+ % bibliography listing
+% the index
+\end{document}
+\end{verbatim}
+
+
+\sclause{Body of a resource document} \index{integrated resource}
+
+ The body of a resource document has the following structure:
+
+\begin{verbatim}
+\schemahead{<Schema name>} % repeat for each schema
+ \introsubhead % intro subclause
+ % text
+ \fcandasubhead % concepts subclause
+ % text
+ \typehead{<Schema>} % if type defs
+ \atypehead{<type>} % type heading
+ \entityhead{<Schema>}{<group>} % if entity defs
+ \anentityhead{<entity>} % entity heading
+ \rulehead{<Schema>} % if rule defs
+ \arulehead{<rule>} % rule heading
+ \functionhead{<Schema>} % if function defs
+ \afunctionhead{<function>} % function heading
+% repeat above for each schema
+\shortnamehead % Annex A: Short names of entities
+ \irshortnames % boilerplate
+ % list of short names
+\objreghead % Annex B: Information object registration
+ \docidhead % Document identification subclause
+ \docreg{<param1>} % boilerplate
+ \schemaidhead % Schema identification subclause
+% Either (for single schema)
+ \schemareg{<6 parameters>} % boilerplate
+% Or (for multiple schemas) repeat:
+ \aschemaidhead{<schema name>} % Schema id subsubclause
+ \schemareg{<6 parameters>}
+\listingshead % Annex C: Computer interpretable listings
+ \expurls{<short>}{<express>} % boilerplate
+\expressghead % Annex D: EXPRESS-G figures
+ \irexpressg % boilerplate
+ % EXPRESS-G diagrams
+\techdischead % optional Technical discussions
+ % text
+\exampleshead % optional Examples
+ % text
+\end{verbatim}
+
+
+\sclause{Body of an application protocol} \index{AP}
+
+ The body of an AP document has the following structure:
+
+\begin{verbatim}
+\inforeqhead % Clause 4: Information requirements
+ \apinforeq{<param1>} % boilerplate
+ \uofhead % Clause 4.1: Units of functionality
+ \begin{apuof} % boilerplate
+ % \item list of UoFs
+ \end{apuof}
+ \auofhead{<UoF1>} % repeat for each UoF
+ % text
+ \applobjhead % Clause 4.2: Application objects
+ \apapplobj % boilerplate
+ % text
+ \applasserthead % Clause 4.3: Application assertions
+ \apassert % boilerplate
+ % text
+\aimhead % Clause 5: Application interpreted model
+ \maptablehead % Clause 5.1: Mapping table/specification
+ \apmapping % boilerplate
+ \maptemplatehead % if mapping templates used
+ \apmaptemplate % template boilerplate
+ \sstemplates % sup/sub templates
+ \templatehead
+ % text
+ \mapuofhead{<Uof>} % mapping for <UoF>
+ \mapobjecthead{<object>}
+ % mapping for <object>
+ \mapattributehead{<attr>}
+ % mapping for <attr>
+ \aimshortexphead % Clause 5.2: AIM EXPRESS short listing
+ \apshortexpress % boilerplate
+ % text
+\confreqhead % Clause 6: Conformance requirements
+ \apconformance{<param1>} % boilerplate
+ \begin{apconformclasses} % optional boilerplate
+ % \item list
+ \end{apconformclasses}
+ % text
+\aimlongexphead % Annex A: AIM EXPRESS expanded listing
+ \aimlongexp % boilerplate
+ % text
+\aimshortnameshead % Annex B: AIM short names
+ \apshortnames % boilerplate
+ % text
+\impreqhead % Annex C: Impl. specific reqs
+ \apimpreq{<schema name>} % boilerplate
+\picshead % Annex D: PICS
+ \picsannex % boilerplate
+ % text
+\objreghead % Annex E: Information object registration
+ \docidhead % Annex E.1: Document identification
+ \docreg{<param1>} % boilerplate
+ \schemaidhead % Annex E.2: Schema identification
+ \apschemareg{<6 params>} % boilerplate
+\aamhead % Annex F: Application activity model
+ \aamfigrange{<figure range>} % Figure range for AAM diagrams
+ \apaamintro % boilerplate
+ % text
+ \aamdefhead % Annex F.1: AAM defs and abbreviations
+ \apaamdefs % boilerplate
+ % text
+ \aamfighead % Annex F.2: AAM diagrams
+ \aamfigures % boilerplate
+ % IDEF0 diagrams
+\armhead % Annex G: Application reference model
+ \armintro % boilerplate
+ % ARM figures
+\aimexpressghead % Annex H: AIM EXPRESS-G
+ \aimexpressg % boilerplate
+ % AIM figures
+\listingshead % Annex J: Computer interpretable listings
+ \apexpurls{<short>}{<express>} % boilerplate
+\apusagehead % optional Annex: AP usage
+ % text
+\techdischead % optional Annex: Technical discussions
+ % text
+\end{verbatim}
+
+\sclause{Body of an AIC} \index{AIC}
+
+ The body of an AIC document has the following structure:
+
+\begin{verbatim}
+\aicshortexphead % Clause 4: EXPRESS short listing
+ \aicshortexpintro % boilerplate
+ \fcandasubhead % Clause 4.1 fundamental concepts
+ % text
+ \typehead{<Schema>} % if type definitions
+ \atypehead{<type>} % repeat for each type
+ \entityhead{<Schema>}{} % if entity defs
+ \anentityhead{<entity>} % repeat for each entity
+ \functionhead{<Schema>} % if function defs
+ \afunctionhead{<function>} % repeat for each function
+\shortnamehead % Annex A: Short names of entities
+ \shortnames % boilerplate
+\objreghead % Annex B: Information object registration
+ \docidhead % Annex B.1: Document identification
+ \docreg{<version no>} % boilerplate
+ \schemaidhead % Annex B.2: Schema identification
+ \schemareg{<6 parameters>} % boilerplate
+\expressghead % Annex C: EXPRESS-G diagrams
+ \aicexpressg % boilerplate
+\listingshead % Annex D: Computer interpretable listings
+ \expurls % boilerplate
+\techdischead % optional Annex: Technical discussions
+\end{verbatim}
+
+\sclause{Body of an ATS document}\index{ATS}
+
+ The body of an Abstract Test Suite
+document has the following structure:
+
+\begin{verbatim}
+\purposeshead % Clause 4: Test purposes
+ \atspurposebp % boilerplate
+ \aepurposehead % 4.1 Application element test purposes
+ \aetpbp % boilerplate
+ \apobjhead{<object>} % 4.1.n
+ ...
+ \aimpurposehead % 4.2 AIM test purposes
+ \aimtpbp % boilerplate
+ \aimenthead{<entity>} % 4.2.n
+ ...
+ \implementpurposehead % (optional) 4.3 Implementation t.p
+ \atsimtpbp % boilerplate
+ % text
+ \domainpurposehead % (optional) 4.2+ Domain test purposes
+ % text
+ \otherpurposehead % (optional) 4.2+ Other test purposes
+ % text
+\gtpvchead % Clause 5: General t.p and verdict criteria
+ \atsgtpvcbp % boilerplate
+ \generalpurposehead % 5.1 General test purposes
+ \gtpbp % boilerplate
+ ...
+ \gvcatchead % 5.2 General verdict criteria for all ATC
+ \gvatcbp % boilerplate
+ ...
+ \gvcprehead % 5.3 General verdict criteria for preprocessor
+ \gvcprebp % boilerplate
+ ...
+ \gvcposthead % 5.4 General verdict criteria for postprocessor
+ \gvcpostbp % boilerplate
+ ...
+\atchead % Clause 6: Abstract test cases
+ \atcbp % boilerplate (para 1)
+ % your para 2
+ \atcbpii % boilerplate (paras 3+)
+ \atctitlehead{<title>} % 6.n an abstract test case
+ \prehead % 6.n.1 Preprocessor
+ \precoveredhead.. % Test purposes covered
+ \atcpretpc % boilerplate
+ \preinputhead % Input specification
+ % text
+ \precriteriahead % Verdict criteria
+ % text
+ \preconstrainthead % Constraints on values
+ % text
+ \preexechead % (optional) Execution sequence
+ % text
+ \preextrahead % (optional) Extra details
+ % text
+ \posthead % 6.n.2 Postprocessor
+ \postcoveredhead % Test purposes covered
+ % text
+ \atcposttpc % boilerplate
+ \postinputhead % Input specification
+ % text
+ \postcriteriahead % Verdict criteria
+ % text
+ \postexechead % (optional) Execution sequence
+ % text
+ \postextra % (optional) Extra details
+ % text
+\confclassannexhead % Annex A: Conformance classes
+ \atsnoclassesbp % boilerplate if no conformance classes, else
+ \confclasshead{<number>} % A.n Conformance class <number>
+ \confclassbp{<number>} % boilerplate
+ % text
+ ...
+\postipfilehead % Annex B: Postprocessor input file names
+ \pisfbp{..}{..}{..} % boilerplate
+ ...
+\objreghead % Annex C: Information object registration
+ \docreg{<partno>} % registration boilerplate
+\atsusagehead % Annex D: Usage scenarios
+ % text
+\end{verbatim}
+
+
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% object registration annex
+\objreghead
+
+\docreg{-1}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%\end{document}
+%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\infannex{Deprecated, deleted, new and modified commands}
+
+ This release has involved many internal changes to the \latex{}
+\file{.sty} files. In particular boilerplate text is, as far as possible,
+maintained in external \file{.tex} files in order to save memory
+space within the \latex{} processor.
+
+
+%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%\end{document}
+%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\sclause{New commands}
+
+ The commands that are new in this release are:
+
+\begin{itemize}
+%%%%%%%%%%%%%%%%%%%%%%%%%% STEP %%%%%%%%%%%%%%%%%%%%%%%%%%%
+\item \verb|\bibieeeidefo|\ixcom{bibieeeidefo} STEP: reference to IDEF0 document;
+\item \verb|\exampleshead|\ixcom{exampleshead} STEP: clause heading;
+\item \verb|\expressgdef|\ixcom{expressgdef} STEP: location of \ExpressG{} definition;
+
+\item \verb|\Theseries|\ixcom{Theseries} STEP: print \verb|\series| argument;
+\item \verb|\theseries|\ixcom{theseries} STEP: print \verb|\series| argument in lowercase;
+\item \verb|\ifanir|,\ixcom{ifanir}
+ \verb|\anirtrue|,\ixcom{anirtrue}
+ \verb|\anirfalse|\ixcom{anirfalse} STEP: flag for an IR document;
+\item \verb|\ifhaspatents|,\ixcom{ifhaspatents}
+ \verb|\haspatentstrue|,\ixcom{haspatentstrue}
+ \verb|\haspatentsfalse|\ixcom{haspatentsfalse} STEP: flag for known patents;
+\item \verb|\ifmapspec|,\ixcom{ifmapspec}
+ \verb|\mapspectrue|,\ixcom{mapspectrue}
+ \verb|\mapspecfalse|\ixcom{mapspecfalse} STEP: flag for mapping specification;
+
+\item \verb|\ixent|\ixcom{ixent} STEP: index an \Express{} \xword{entity};
+\item \verb|\ixenum|\ixcom{ixenum} STEP: index an \Express{} \xword{enumeration};
+\item \verb|\ixfun|\ixcom{ixfun} STEP: index an \Express{} \xword{function};
+\item \verb|\ixproc|\ixcom{ixproc} STEP: index an \Express{} \xword{procedure};
+\item \verb|\ixrule|\ixcom{ixrule} STEP: index an \Express{} \xword{rule};
+\item \verb|\ixsc|\ixcom{ixsc} STEP: index an \Express{} \xword{subtype\_constraint};
+\item \verb|\ixschema|\ixcom{ixschema} STEP: index an \Express{} \xword{schema};
+\item \verb|\ixselect|\ixcom{ixselect} STEP: index an \Express{} \xword{select};
+\item \verb|\ixtype|\ixcom{ixtype} STEP: index an \Express{} \xword{type};
+
+\item \verb|\maptableorspec|\ixcom{maptableorspec} STEP: prints `table' or `specification';
+
+\item \verb|\xword|\ixcom{xword} STEP: prints an \Express{} keyword;
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% AP %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
+\item \verb|\apmaptemplate|\ixcom{apmaptemplate} AP: boilerplate;
+\item \verb|\apusagehead|\ixcom{apusagehead} AP: clause heading;
+\item \verb|\ifidefix|,\ixcom{ifidefix}
+ \verb|\idefixtrue|,\ixcom{idefixtrue}
+ \verb|\idefixfalse|\ixcom{idefixfalse} AP: flag for an IDEF1X ARM;
+\item \verb|\ifmaptemplate|,\ixcom{ifmaptemplate}
+ \verb|\maptemplatetrue|,\ixcom{maptemplatetrue}
+ \verb|\maptemplatefalse|\ixcom{maptemplatefalse} AP: flag for
+ using mapping templates;
+\item \verb|\mapattributehead|\ixcom{mapattributehead} AP: clause heading;
+\item \verb|\mapobjecthead|\ixcom{mapobjecthead} AP: clause heading;
+\item \verb|\mapuofhead|\ixcom{mapuofhead} AP: clause heading;
+\item \verb|\sstemplates|\ixcom{sstemplates} AP: boilerplate;
+\item \verb|\templateshead|\ixcom{templateshead} AP: clause heading;
+%%% \item \verb|\apmappingspec|\ixcom{} internal (not used?)
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% ATS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\item \verb|\atcposttpc|\ixcom{atcposttpc} ATS: boilerplate;
+\item \verb|\atcpretpc|\ixcom{atcpretpc} ATS: boilerplate;
+\item \verb|\atsimtpbp|\ixcom{atsimtpbp} ATS: boilerplate;
+\item \verb|\atsusagehead|\ixcom{atsusagehead} ATS: clause heading.
+
+
+\end{itemize}
+
+
+
+
+
+\sclause{Modified commands}
+
+ The commands that have been modified in this release are:
+
+\begin{itemize}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%% STEP %%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\item STEP: The \verb|\Introduction|\ixcom{Introduction} command is
+ now the \verb|Introduction|\ixenv{Introduction} environment,
+ with no argument;
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% IR %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\item \verb|\irexpressg|\ixcom{irexpressg} IR: takes no argument;
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% AP %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\item \verb|\aimexpressg|\ixcom{aimexpressg} AP: takes no argument;
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% AIC %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\item \verb|\aicexpressg|\ixcom{aicexpressg} AIC: takes no argument;
+
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% ATS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\item \verb|\atcbpii|\ixcom{atcbpii} ATS: takes no argument;
+\item \verb|\atspurposebp|\ixcom{atspurposebp} ATS: takes no argument;
+\item \verb|\pisfbp|\ixcom{pisfbp} ATS: takes 3 arguments.
+
+
+\end{itemize}
+
+
+
+
+
+\sclause{Deleted commands}
+
+ The commands that have been deleted in this release are:
+
+\begin{itemize}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% STEP %%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\item \verb|\fwddivlist|\ixcom{fwddivlist} STEP: used in Foreword;
+\item \verb|\fwdpartslist|\ixcom{fwdpartslist} STEP: used in Foreword;
+
+\item \verb|\introend|\ixcom{introend} STEP: was for use at the end of the
+ Introduction;
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% IR %%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\item \verb|\irschemaintro|\ixcom{irschemaintro} IR:
+ has been replaced by
+ \verb|\schemaintro|\ixcom{schemaintro};
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% AP %%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\item \verb|\apintroend|\ixcom{apintroend} AP:
+ has been replaced by
+ \verb|\apextraintro|\ixcom{apextraintro};
+
+\item \verb|\apschemareg|\ixcom{apschemareg} AP: use
+ \verb|\schemareg|\ixcom{schemareg} instead;
+
+\item \verb|\apmappingtable|\ixcom{apmappingtable} AP:
+ has been replaced by
+ \verb|\apmapping|\ixcom{apmapping};
+
+\item \verb|\armfigures|\ixcom{armfigures} AP:
+ has been replaced by
+ \verb|\armintro|\ixcom{armintro};
+
+\item \verb|\maptablehead|\ixcom{maptablehead} AP:
+ has been replaced by
+ \verb|\mappinghead|\ixcom{mappinghead};
+
+\item \verb|\modelscopehead|\ixcom{modelscopehead} AP: was the heading
+ for a `Model scope' annex;
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% AIC %%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\item \verb|\aicexpressghead|\ixcom{aicexpressghead} AIC:
+ use \verb|\expressghead|\ixcom{expressghead} instead;
+\item \verb|\aicshortnames|\ixcom{aicshortnames} AIC: use
+ \verb|\expurls|\ixcom{expurls} instead;
+\item \verb|\aicshortnameshead|\ixcom{aicshortnameshead} AIC:
+ use \verb|\shortnamehead|\ixcom{shortnamehead} instead;
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% ATS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
+\item \verb|\excludepurposehead|\ixcom{excludepurposehead} ATS:
+ was the heading for an `Exclude purposes' clause.
+
+\end{itemize}
+
+
+%%%%%%%%%%%%%%%%%%%%%%%
+%%%\end{document}
+%%%%%%%%%%%%%%%%%%%%%%%
+
+
+% sgmlannx.tex latex and SGML
+
+\infannex{LaTeX, the Web, and *ML} \label{anx:sgml} \index{SGML}
+
+ ISO are becoming more interested in electronic sources for their
+standards as well as the traditional camera-ready copy. Acronyms like
+PDF, HTML, SGML and XML have been bandied about. Fortunately documents
+written using \latex{} are well placed to be provided in a variety of
+electronic formats. A comprehensive treatment of \latex{} with respect
+to this topic is provided by Goossens and Rahtz~\bref{lwebcom}.
+
+ SGML (Standard Generalized Markup Language) is a document tagging
+language that is described in ISO~8879~\bref{sgml} and whose usage is described
+in~\bref{bryan}, among others. The principal
+mover behind SGML is Charles Goldfarb from IBM, who has authored a detailed
+handbook~\bref{goldfarb} on the SGML standard.
+
+ The concepts lying behind both \latex{} and SGML are similar, but on the face
+of it they are distinctly different in both syntax and capabilities. ISO is
+migrating towards electronic versions of its standard documents and, naturally,
+would prefer these to be SGML tagged.
+ Like \latex, SGML has a
+concept of style files, which are termed DTDs, and both systems support
+powerful macro-like capabilities. SGML provides for logical document
+markup and not typesetting --- commercial SGML systems often use
+\tex{} or \latex{} as their printing engine, as does the NIST SGML
+environment for ISO~10303~\bref{pandl}.
+
+
+
+NIST have SGML tagged some STEP documents
+using manual methods, which are time consuming and expensive.
+In about 1997 there was a NIST
+effort underway to develop an auto-tagger that would (semi-) automatically
+convert
+a \latex{} tagged document to one with SGML tags. This tool assumed a
+fixed set of \latex{} macros and a fixed DTD.
+ The design of an auto-tagger
+essentially boils down to being able to convert from a source document tagged
+according to a \latex{} style file to one which is tagged according to an
+SGML DTD.
+ Fully automatic conversion is really only possible if the authors'
+of the documents to be translated avoid using any `non-standard' macros within
+their documents. There is a program called \file{ltx2x}\index{ltx2x} available
+from SOLIS, which replaces \latex{} commands within a document with
+user-defined text strings~\bref{ltx2x}. This can be used as a basis for
+a \latex{} to whatever auto-tagger, provided the \latex{} commands are not
+too exotic.
+
+ HTML is a simple markup language, based on SGML, and is used for the
+publication of many documents on the Web. XML is a subset of SGML and appears
+to being taken up by every man and his dog as \emph{the} document markup
+language. HTML is being recast in terms of XML instead of SGML. PDF is a page
+description language that is a popular format for display of documents
+on the Web.
+
+ \latex{} documents can be output in PDF by using pdfLaTeX. Instead
+of a \file{.dvi} file being produced a \file{.pdf} file is output directly.
+The best
+results are obtained when PostScript fonts rather than Knuth's cm fonts
+are used. Noting that the \file{isov2} class provides an \verb|\ifpdf| command,
+a general form for documents to be processed by either \latex{} or pdfLaTeX
+is
+\begin{verbatim}
+\documentclass{isov2}
+\usepackage{times} % PostScript fonts Times, Courier, Helvetica
+\ifpdf
+ \pdfoutput=1 % request PDF output
+ \usepackage[pdftex]{graphicx}
+\else
+ \usepackage{graphicx}
+\fi
+...
+\end{verbatim}
+
+ There are several converters available to transform a \latex{} document
+into an HTML document, but like \file{ltx2x} they generally do their own
+parsing of the source file, and unlike \file{ltx2x} are typically limited
+to only generating HTML. Eitan Gurari's \file{TeX4ht}\index{TeX4ht}
+suite is a notable
+exception (see Chapter~4 and Appendix~B of~\bref{lwebcom}). It uses the
+\file{.dvi} file as input, so that all the parsing is done by \tex, and can be
+configured to generate a wide variety of output formats.
+A set of \file{TeX4ht} configuration files are available for converting
+STEP \latex{} documents into HTML\footnote{Later, configuration files for XML
+output will be developed.}.
+
+ It is highly recommended that for the purposes of ISO~10303, document editors
+refrain from defining their own \latex{} macros. If new generally applicable
+\latex{} commands are found to be necessary, these should be sent to the
+editor of this document for incorporation into
+the \file{isov2}\ixclass{isov2} class, the \file{step}\ixpack{step}
+package and/or appropriate other packages.
+
+ Some other points to watch when writing \latex{} documents that will assist
+in translations into *ML are given below. Typically, attention to these points
+will make it easier to parse the \latex{} source.
+
+\begin{itemize}
+\item Avoid using the \verb|\label|\ixcom{label} command within
+ clause headings or captions. It can just as easily be placed immediately
+ after these constructs.
+\item Avoid using the \verb|\index|\ixcom{index} command within
+ clause headings or captions. It can just as easily be placed immediately
+ after these constructs.
+\item Use all the specified tagging constructs when defining an \Express{}
+ model --- this will also assist any program that attempts to extract
+ \Express{} source code and descriptive text from a document.
+\end{itemize}
+
+
+
+\infannex{Obtaining LaTeX and friends} \label{anx:getstuff}
+
+ \latex{} is a freely available document typesetting system. There are many
+public domain additions to the basic system, for example the \file{iso.cls}
+and \file{step.sty} styles. The information below gives pointers to where
+you can obtain \latex{} etc., from the\index{Internet} Internet.
+
+
+ \latex{} runs on a wide variety of hardware, from PCs to Crays. Source to build
+a \latex{} system is freely available via anonymous ftp\index{ftp}
+from what is called CTAN\index{CTAN}
+(Comprehensive \tex\ Archive Network).
+There are three sites; pick the one nearest to you.
+\begin{itemize}
+\item \url{ftp.dante.de} CTAN in Germany;
+\item \url{ftp.tex.ac.uk} CTAN in the UK;
+\item \url{ctan.tug.org} CTAN in the USA;
+\end{itemize}
+The top level CTAN directory
+for \latex{} and friends is \url{/tex-archive}. CTAN contains a wide variety
+of (La)TeX sources, style files, and software tools and scripts to assist in
+document processing.
+
+\begin{anote}
+CTAN is maintained by the \tex{} Users Group (TUG). Their homepage
+\isourl{http://www.tug.org} should be consulted for the current list of CTAN sites and mirrors.
+\end{anote}
+
+\begin{comment}
+
+\sclause{SOLIS} \index{SOLIS}
+
+ SOLIS is the \textit{SC4 On Line Information Service}. It contains many electronic
+sources of STEP related documents. The relevant top level directory is
+\url{pub/subject/sc4}.
+ In particular, SOLIS contains the source for this document
+and the \file{.sty} files, as well as other \latex{} related files.
+The \latex{} root directory is \url{sc4/editing/latex}.
+The latest versions of the \latex{}
+related files are kept in the sub-directory \url{latex/current}.
+Some \latex{} related programs are also available in the
+\url{latex/programs} sub-directory.
+
+ There are several ways of accessing SOLIS; instructions
+are detailed by Ressler~\bref{ressler} and Rinaudot~\bref{rinaudot}.
+Copies of these reports may be obtained by telephoning the
+IPO Office at \verb|+1 (301) 975-3983|, although they are probably somewhat
+dated by now.
+The simplest method is to point your browser at the following URL: \\
+\isourl{http://www.nist.gov/sc4}
+
+\end{comment}
+
+\bibannex
+\label{biblio}
+
+\begin{references}
+\reference{LAMPORT, L.,}{LaTeX --- A Document Preparation System,}
+ {Addison-Wesley Publishing Co., 2nd edition, 1994} \label{lamport}
+\reference{WILSON, P. R.,}{LaTeX for standards: The LaTeX package files
+ user manual,}%
+ {NISTIR,
+ National Institute of Standards and Technology,
+ Gaithersburg, MD 20899. June 1996.} \label{doc:isorot}
+\reference{GOOSENS, M., MITTELBACH, F. and SAMARIN, A.,}{%
+ The LaTeX Companion,}
+ {Addison-Wesley Publishing Co., 1994} \label{goosens}
+\reference{GOOSENS, M. and RAHTZ, S.,}{%
+ The LaTeX Web Companion --- Integrating TeX, HTML, and XML,}
+ {Addison-Wesley Publishing Co., 1999} \label{lwebcom}
+\reference{CHEN, P. and HARRISON, M.A.,}{Index preparation and
+ processing,}{Software--Practice and Experience, 19(9):897--915,
+ September 1988.} \label{chen}
+%\reference{KOPKA, H. and DALY, P.W.,}{A Guide to LaTeX,}
+% {Addison-Wesley Publishing Co., 1993.} \label{kopka}
+\reference{ISO 8879:1986,}{Information processing ---
+ Text and office systems ---
+ Standard Generalized Markup Language (SGML)}{} \label{sgml}
+\reference{GOLDFARB, C.F.,}{The SGML Handbook,}
+ {Oxford University Press, 1990.} \label{goldfarb}
+\reference{BRYAN, M.,}{SGML --- An Author's Guide to the Standard Generalized
+ Markup Language,}{Addison-Wesley Publishing Co., 1988. }\label{bryan}
+\reference{PHILLIPS, L., and LUBELL, J.,}{An SGML Environment for STEP,}%
+ {NISTIR 5515,
+ National Institute of Standards and Technology,
+ Gaithersburg, MD 20899. November 1994.} \label{pandl}
+\reference{WILSON, P. R.,}{LTX2X: A LaTeX to X Auto-tagger,}%
+ {NISTIR,
+ National Institute of Standards and Technology,
+ Gaithersburg, MD 20899. June 1996.} \label{ltx2x}
+\bibidefo
+\bibieeeidefix
+\begin{comment}
+\reference{RESSLER, S.,}{The National PDES Testbed Mail Server User's Guide,}
+ {NSTIR 4508, National Institute of Standards and Technology,
+ Gaithersburg, MD 20899. January 1991.} \label{ressler}
+\reference{RINAUDOT, G. R.,}{STEP On Line Information Service (SOLIS),}
+ {NISTIR 5511, National Institute of Standards and Technology,
+ Gaithersburg, MD 20899. October 1994. } \label{rinaudot}
+\end{comment}
+\end{references}
+
+
+% the INDEX
+\input{stepman.ind}
+
+
+
+\end{document}
+
diff --git a/Master/texmf-dist/tex/latex/iso10303/stepv13.sty b/Master/texmf-dist/tex/latex/iso10303/stepv13.sty
new file mode 100644
index 00000000000..444f023abf4
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/iso10303/stepv13.sty
@@ -0,0 +1,605 @@
+%%
+%% This is file `stepv13.sty',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% stepe.dtx (with options: `step')
+%%
+%% This work has been partially funded by the US government
+%% and is not subject to copyright.
+%%
+%% This program is provided under the terms of the
+%% LaTeX Project Public License distributed from CTAN
+%% archives in directory macros/latex/base/lppl.txt.
+%%
+%% Author: Peter Wilson (CUA and NIST)
+%% now at: peter.r.wilson@boeing.com
+%%
+\ProvidesPackage{stepv13}[2002/01/10 v1.3.2 STEP general package]
+ \let\stepemptystring\isoemptystring
+\gdef\thespartno{}
+\newcommand{\partno}[1]{\gdef\thespartno{#1}}
+\gdef\theseries{}
+\gdef\Theseries{}
+\newcommand{\series}[1]{\gdef\Theseries{#1}
+ \gdef\theseries{\MakeLowercase{#1}}}
+\gdef\thed@ctitle{}
+\newcommand{\doctitle}[1]{\gdef\thed@ctitle{#1}}
+\newcommand{\st@pn@me}{Product data representation and exchange}
+\newcounter{b@cyc}
+\newcommand{\ballotcycle}[1]{\setcounter{b@cyc}{#1}}
+\newif\ifanir
+ \anirfalse
+
+\newif\ifhaspatents
+ \haspatentsfalse
+
+\newif\ifmapspec
+ \mapspecfalse
+\renewcommand{\indexfill}{\dotfill}
+\renewcommand{\sindexfill}{\dotfill}
+\renewcommand{\ssindexfill}{\dotfill}
+\renewcommand{\alphaindexspace}[1]{}
+\renewcommand{\otherindexspace}[1]{}
+\renewcommand{\indexsee}[1]{\par \hspace*{2em} {\em see} #1}
+\renewcommand{\indexseealso}[1]{\par \hspace*{2em} {\em see also} #1}
+
+\newcommand{\ix}[1]{#1\index{#1}}
+
+\newcommand{\B}[1]{{\bf #1}}
+\newcommand{\E}[1]{{\em #1}}
+\newcommand{\BG}[1]{{\mbox{\boldmath $#1$}}}
+
+\newcommand{\Express}{{\sc EX\-PRESS}}
+\newcommand{\ExpressG}{{\sc EX\-PRESS-G}}
+\newcommand{\ExpressI}{{\sc EX\-PRESS-I}}
+\newcommand{\ExpressX}{{\sc EX\-PRESS-X}}
+
+\newcommand{\nexp}[1]{\textbf{#1}}
+\newcommand{\HASH}{\texttt{\small \#}}
+\newcommand{\LT}{\texttt{\small <}}
+\newcommand{\LE}{\texttt{\small <=}}
+\newcommand{\NE}{\texttt{\small <>}}
+\newcommand{\INE}{\texttt{\small :<>:}}
+\newcommand{\GE}{\texttt{\small >=}}
+\newcommand{\GT}{\texttt{\small >}}
+\newcommand{\CAT}{\texttt{\small ||}}
+\newcommand{\HAT}{\texttt{\small ^}}
+\newcommand{\QUES}{\texttt{\small ?}}
+\newcommand{\BS}{\texttt{\small \\}}
+\newcommand{\IEQ}{\texttt{\small :=:}}
+\newcommand{\INEQ}{\texttt{\small :<>:}}
+
+\newcommand{\xword}[1]{\textsc{\lowercase{#1}}}
+
+\newcommand{\mnote}[1]{\ifdr@ftd@c
+ \marginpar{\raggedright\tiny #1}
+ \fi}
+
+\newenvironment{specific@tion}[1]{}{}
+\newenvironment{espec}[1]{}{}
+\newenvironment{fspec}[1]{}{}
+\newenvironment{rspec}[1]{}{}
+\newenvironment{sspec}[1]{}{}
+\newenvironment{tspec}[1]{}{}
+\newenvironment{dtext}{}{}
+
+\newcommand{\pbre@k}{\pagebreak[2]}
+\newcommand{\nopbre@k}{\nopagebreak}
+
+\newcommand{\ehe@d}{\@startsection{ehe@d}{20}
+ {\z@}% % indent
+ {-\baselineskip}% % beforeskip
+ {0.5\baselineskip}% % afterskip
+ {}}% % normal body text style for heading
+\newcounter{ehe@d}
+\newcommand{\ehe@dmark}[1]{}
+
+\newenvironment{ecode}{%
+ \ehe@d*{{\underline{\protect\Express{} specification}}:}
+ \begin{Efont}}%
+ {\end{Efont}}
+
+\newenvironment{eicode}{%
+ \ehe@d*{{\underline{\protect\ExpressI{} specification}}:}
+ \begin{Efont}}%
+ {\end{Efont}}
+
+\newenvironment{excode}{%
+ \ehe@d*{{\underline{\protect\ExpressX{} specification}}:}
+ \begin{Efont}}%
+ {\end{Efont}}
+
+\newcommand{\expdesclabel}[1]{{\bf #1:}}
+\newenvironment{expdesc}{\list{}%
+ {\setlength{\leftmargin}{\z@} \setlength{\labelsep}{0.5em}
+ \setlength{\itemindent}{\labelsep} \setlength{\labelwidth}{\z@}
+ \setlength{\itemsep}{\z@ \@plus 0.2ex \@minus 0.1ex}
+ \setlength{\parsep}{0.5\baselineskip}
+ \let\makelabel\expdesclabel}}%
+ {\endlist}
+
+\newenvironment{attrlist}{%
+ \ehe@d*{{\underline{Attribute definitions}}:}
+ \begin{expdesc}}%
+ {\end{expdesc}}
+
+\newenvironment{fproplist}{%
+ \ehe@d*{{\underline{Formal propositions}}:}
+ \begin{expdesc}}%
+ {\end{expdesc}}
+
+\newenvironment{iproplist}{%
+ \ehe@d*{{\underline{Informal propositions}}:}
+ \begin{expdesc}}%
+ {\end{expdesc}}
+
+\newenvironment{enumlist}{%
+ \ehe@d*{{\underline{Enumerated item definitions}}:}
+ \begin{expdesc}}%
+ {\end{expdesc}}
+
+\newenvironment{arglist}{%
+ \ehe@d*{{\underline{Argument definitions}}:}
+ \begin{expdesc}}%
+ {\end{expdesc}}
+
+\newcommand{\ixent}[1]{\index{#1 (entity)}}
+\newcommand{\ixenum}[1]{\index{#1 (enumeration)}}
+\newcommand{\ixfun}[1]{\index{#1 (function)}}
+\newcommand{\ixproc}[1]{\index{#1 (procedure)}}
+\newcommand{\ixrule}[1]{\index{#1 (rule)}}
+\newcommand{\ixsc}[1]{\index{#1 (subtype\_constraint)}}
+\newcommand{\ixschema}[1]{\index{#1 (schema)}}
+\newcommand{\ixselect}[1]{\index{#1 (select)}}
+\newcommand{\ixtype}[1]{\index{#1 (type)}}
+
+\gdef\thestepparttitle{}
+\newcommand{\scivm@in}{Industrial automation systems and integration ---\newline}
+\newcommand{\stepc@mp}{Product data representation and exchange ---\newline}
+\newcommand{\thisp@rtno}[1]{Part #1 :\newline}
+\newcommand{\sptitle}[1]{#1\par}
+\newcommand{\stepparttitle}[1]{%
+ \cleardoublepage\pagenumbering{arabic}
+%%% \setcounter{section}{0}
+ \setcounter{clause}{0}
+ \ifotherdoc \else
+ \protect\thispagestyle{isotitlehead}
+ \fi
+ \gdef\thestepparttitle{{\Tfont\bf \scivm@in \stepc@mp
+ \thisp@rtno{\thespartno} \sptitle{#1}}}
+ \if@twocolumn
+ \twocolumn[\vspace*{2\baselineskip}\vbox to 35mm{\thestepparttitle}]
+ \else
+ \vspace*{2\baselineskip}\vbox to 35mm{\thestepparttitle}
+ \fi}
+
+\newcommand{\Foreword}{%
+ \begin{foreword}
+%%% \input{isofwdbp}
+ \fwdbp
+
+ \ifhaspatents\else\fwdnopatents\fi
+
+ \iftechspec
+ ISO/TS~10303--\thespartno\
+ \else
+ \ifpaspec
+ ISO/PAS~10303--\thespartno\
+ \else
+ ISO~10303--\thespartno\
+ \fi
+ \fi
+ was prepared by Technical Committee
+ ISO/TC~184, \textit{Industrial automation systems and integration},
+ Subcommittee SC4, \textit{Industrial data}.
+}
+\gdef\endForeword#1#2{%
+\par
+ A complete list of parts of ISO~10303 is available from the Internet:\\
+\centerline{\isourl{http://www.nist.gov/sc4/editing/step/titles/}}
+\par
+
+\if\stepemptystring{#1} \else%
+#1 a normative part of this part of ISO~10303. \fi%
+ %% an integral part of this part of ISO~10303. \fi%
+\if\stepemptystring{#2} \else%
+#2 for information only. \fi
+\end{foreword}
+}
+
+\newcommand{\steptrid}{%
+
+ ISO/TR~10303--\thespartno, which is a Technical Report of type 2,
+ was prepared by Technical Committee
+ ISO/TC~184, \textit{Industrial automation systems and integration,}
+ Subcommittee SC4, \textit{Industrial data.}
+
+}
+
+\newcommand{\fwdshortlist}{\input{stppdlst}}
+
+\newenvironment{Introduction}{%
+\clearpage
+\begin{introduction}
+\input{bpfs1}
+
+}%
+{\end{introduction}}
+
+\newenvironment{majorsublist}{%
+\majorsubname
+\begin{itemize}}{\end{itemize}}
+
+\newcommand{\majorsubname}{%
+ Major subdivisions of this part of ISO~10303 are:}
+
+\newcommand{\partidefhead}{\sclause{Terms defined in ISO~10303-1}}
+\newcommand{\refdefhead}[1]{\sclause{Terms defined in #1}}
+\newcommand{\otherdefhead}{\sclause{Other definitions}}
+\let\schemahead=\clause
+\newcommand{\schemaintro}[1]{%
+ The following \Express{} declaration begins the \nexp{#1}
+ and identifies the necessary external references.\par}
+
+\newcommand{\introsubhead}{\sclause{\introductionname}}
+\newcommand{\fcandasubhead}{\sclause{\fcandaname}}
+\newcommand{\singletypehead}[2]{\sclause{#1 type definition: #2}}
+\newcommand{\typehead}[1]{\sclause{#1 type definitions}}
+\newcommand{\atypehead}[1]{\ssclause{#1}}
+\newcommand{\singleentityhead}[2]{\sclause{#1 entity definition: #2}}
+\newcommand{\entityhead}[2]{%
+ \if\stepemptystring{#2}
+ \sclause{#1 entity definitions}
+ \else
+ \sclause{#1 entity definitions: #2}
+ \fi
+}
+\newcommand{\anentityhead}[1]{\ssclause{#1}}
+\newcommand{\singlerulehead}[2]{\sclause{#1 rule definition: #2}}
+\newcommand{\rulehead}[1]{\sclause{#1 rule definitions}}
+\newcommand{\arulehead}[1]{\ssclause{#1}}
+\newcommand{\singlefunctionhead}[2]{\sclause{#1 function definition: #2}}
+\newcommand{\functionhead}[1]{\sclause{#1 function definitions}}
+\newcommand{\afunctionhead}[1]{\ssclause{#1}}
+\newcommand{\shortnamehead}{\normannex{Short names of entities}\label{;ssne}}
+\newcommand{\objreghead}{\normannex{Information object registration}\label{;sior}}
+\newcommand{\docidhead}{\sclause{Document identification}}
+\newcommand{\schemaidhead}{\sclause{Schema identification}}
+\newcommand{\aschemaidhead}[1]{\ssclause{#1 identification}}
+\newcommand{\expresshead}{\infannex{EXPRESS listing}}
+\newcommand{\listingshead}{\infannex{Computer interpretable listings}\lable{;scil}}
+\newcommand{\expressghead}{\infannex{EXPRESS-G diagrams}\label{;seg}}
+\newcommand{\picshead}{\normannex{Protocol Implementation
+ Conformance Statement (PICS) proforma}\label{;spics}}
+\newcommand{\techdischead}{\infannex{Technical discussions}\label{;std}}
+\newcommand{\exampleshead}{\infannex{Examples}\label{;sex}}
+
+\newcommand{\expressgdef}{\ExpressG{} is defined in annex~D of ISO 10303-11}
+
+\DeclareRobustCommand{\maptableorspec}{%
+ \ifmapspec specification\else table\fi}
+
+\newcommand{\shortnames}{\input{bpfir1}}
+\newcommand{\docreg}[1]{%
+ To provide for unambiguous identification of an information
+ object in an open system, the object identifier
+ \begin{center}
+ \{~iso standard 10303 part(\thespartno) version(#1)~\}
+ \end{center}
+ is assigned to this part of ISO~10303. The meaning of this value is defined
+ in ISO/IEC~8824-1, and is described in ISO~10303-1.
+}
+
+\newcommand{\schemareg}[6]{%
+ To provide for unambiguous identification of the schema-name % #2
+ in an open information system, the object identifier
+ \begin{center}
+ \{~iso standard 10303 part(\thespartno) version(#1) schema(#3) #4(#5)~\}
+ \end{center}
+ is assigned to the \nexp{#2} schema (see #6). The meaning of this
+ value is defined in ISO/IEC~8824-1, and is described in ISO~10303-1.
+}
+
+\newcommand{\expurls}[2]{\input{bpfir2}
+ Short names: \isourl{#1} \\
+ \Express: \isourl{#2}
+ \input{bpfir3}}
+
+\newcommand{\nrefasni}{\isref{ISO/IEC 8824-1:1998}{%
+ Information technology ---
+ Abstract Syntax Notation One (ASN.1):
+ Specification of basic notation.}}
+\newcommand{\nrefparti}{\isref{ISO 10303-1:1994}{%
+ Industrial automation systems and integration ---
+ Product data representation and exchange ---
+ Part 1: Overview and fundamental principles.}}
+\newcommand{\nrefpartxi}{\isref{ISO 10303-11:1994}{%
+ Industrial automation systems and integration ---
+ Product data representation and exchange ---
+ Part 11: Description methods:
+ The EXPRESS language reference manual.}}
+\newcommand{\nrefpartxii}{\isref{ISO/TR 10303-12:1997}{%
+ Industrial automation systems and integration ---
+ Product data representation and exchange ---
+ Part 12: Description method:
+ The EXPRESS-I language reference manual.}}
+\newcommand{\nrefpartxxi}{\isref{ISO 10303-21:1994}{%
+ Industrial automation systems and integration ---
+ Product data representation and exchange ---
+ Part 21: Implementation methods:
+ Clear text encoding of the exchange structure.}}
+\newcommand{\nrefpartxxii}{\disref{ISO 10303-22:---}{%
+ Industrial automation systems and integration ---
+ Product data representation and exchange ---
+ Part 22: Implementation method:
+ Standard data access interface specification.}}
+\newcommand{\nrefpartxxxi}{\isref{ISO 10303-31:1994}{%
+ Industrial automation systems and integration ---
+ Product data representation and exchange ---
+ Part 31: Conformance testing methodology and framework:
+ General concepts.}}
+\newcommand{\nrefpartxxxii}{\disref{ISO 10303-32:---}{%
+ Industrial automation systems and integration ---
+ Product data representation and exchange ---
+ Part 32: Conformance testing methodology and framework:
+ Requirements on testing laboratories and clients.}}
+\newcommand{\nrefpartxli}{\isref{ISO 10303-41:1994}{%
+ Industrial automation systems and integration ---
+ Product data representation and exchange ---
+ Part 41: Integrated generic resources:
+ Fundamentals of product description and support.}}
+\newcommand{\nrefpartxlia}{\isref{ISO 10303-41:2001}{%
+ Industrial automation systems and integration ---
+ Product data representation and exchange ---
+ Part 41: Integrated generic resources:
+ Fundamentals of product description and support.}}
+\newcommand{\nrefpartxlii}{\isref{ISO 10303-42:1994}{%
+ Industrial automation systems and integration ---
+ Product data representation and exchange ---
+ Part 42: Integrated generic resources:
+ Geometric and topological representation.}}
+\newcommand{\nrefpartxliia}{\isref{ISO 10303-42:2001}{%
+ Industrial automation systems and integration ---
+ Product data representation and exchange ---
+ Part 42: Integrated generic resources:
+ Geometric and topological representation.}}
+\newcommand{\nrefpartxliii}{\isref{ISO 10303-43:1994}{%
+ Industrial automation systems and integration ---
+ Product data representation and exchange ---
+ Part 43: Integrated generic resources:
+ Representation structures.}}
+\newcommand{\nrefpartxliiia}{\isref{ISO 10303-43:2001}{%
+ Industrial automation systems and integration ---
+ Product data representation and exchange ---
+ Part 43: Integrated generic resources:
+ Representation structures.}}
+
+\newcommand{\bibidefo}{\reference{}{%
+ IDEF0 (ICAM Definition Language 0),}{%
+ Federal Information Processing Standards Publication 183,
+ Integration Definition for Information Modeling (IDEF0),
+ FIPS PUB 183, National Institute for Standards and
+ Technology, December 1993.}\label{bibidefo}}
+\newcommand{\brefidefo}{\bref{bibidefo}}
+\newcommand{\bibidefix}{\reference{}{%
+ IDEF1X (ICAM Definition Language 1 Extended),}{%
+ Federal Information Processing Standards Publication 184,
+ Integration Definition for Information Modeling (IDEF1X),
+ FIPS PUB 184, National Institute for Standards and
+ Technology, December 1993.}\label{bibidefix}}
+\newcommand{\bibieeeidefix}{\reference{IEEE Std 1320.2--1998,}{%
+ Standard for Conceptual Modeling Language ---
+ Syntax and Semantics for IDEF1X.}{}\label{bibidefix}}
+\newcommand{\brefidefix}{\bref{bibidefix}}
+
+\gdef\thest@tus{}
+\ifisstandard
+ \gdef\thest@tus{}
+\fi
+\iffdisstandard
+ \gdef\thest@tus{/FDIS}
+\fi
+\ifdisstandard
+ \gdef\thest@tus{/DIS}
+\fi
+\ifcdstandard
+ \gdef\thest@tus{/CD}
+\fi
+\ifwdstandard
+ \gdef\thest@tus{/WD}
+\fi
+\iftechrep
+ \gdef\thest@tus{/TR}
+\fi
+\iftechspec
+ \gdef\thest@tus{/TS}
+\fi
+\ifpaspec
+ \gdef\thest@tus{/PAS}
+\fi
+\ifotherdoc
+ \gdef\thest@tus{}
+\fi
+
+\newcommand{\@wg}{}
+\newcommand{\wg}[1]{\def\@wg{\put(47,235){\Large\textbf{#1}}}}
+\newcommand{\@docnumber}{}
+\newcommand{\docnumber}[1]{\def\@docnumber{\put(72,235){\Large\textbf{#1}}}}
+\newcommand{\@docdate}{}
+\newcommand{\docdate}[1]{\def\@docdate{\put(148,235){#1}}}
+\newcommand{\@oldwg}{}
+\newcommand{\oldwg}[1]{\def\@oldwg{\put(58,227){\textbf{#1}}}}
+\newcommand{\@olddocnumber}{}
+\newcommand{\olddocnumber}[1]{\def\@olddocnumber{\put(78,227){\textbf{#1}}}}
+\newcommand{\@abstract}{}
+\newcommand{\abstract}[1]{%
+ \def\@abstract{\put(2,110){\parbox[t]{161mm}{#1}}}}
+%%% \def\@abstract{\put(2,120){\parbox[t]{161mm}{#1}}}}
+\newcommand{\@keywords}{}
+%%% \newcommand{\keywords}[1]{\def\@keywords{\put(35,77){#1}}}
+\newcommand{\keywords}[1]{\def\@keywords{\put(35,87){#1}}}
+\newcommand{\@comread}{}
+\newcommand{\comread}[1]{%
+%%% \def\@comread{\put(2,65){\parbox[t]{161mm}{#1}}}}
+ \def\@comread{\put(2,75){\parbox[t]{161mm}{#1}}}}
+
+\newcommand{\@owner}{}
+\newcommand{\owner}[1]{\def\@owner{\put(35,45){#1}}}
+\newcommand{\@address}{}
+\newcommand{\address}[1]{\def\@address{\put(22,40){\parbox[t]{59mm}{#1}}}}
+\newcommand{\@telephone}{}
+\newcommand{\telephone}[1]{\def\@telephone{\put(25,11){#1}}}
+\newcommand{\@fax}{}
+%%%\newcommand{\fax}[1]{\def\@fax{\put(30,6){#1}}}
+\newcommand{\fax}[1]{\def\@fax{\put(25,6){#1}}}
+\newcommand{\@email}{}
+%%%\newcommand{\email}[1]{\def\@email{\put(35,1){#1}}}
+\newcommand{\email}[1]{\def\@email{\put(22,1){#1}}}
+
+\newcommand{\@altowner}{}
+\newcommand{\altowner}[1]{\def\@altowner{\put(117.5,45){#1}}}
+\newcommand{\@altaddress}{}
+\newcommand{\altaddress}[1]{\def\@altaddress{\put(104.5,40){\parbox[t]{59mm}{#1}}}}
+\newcommand{\@alttelephone}{}
+\newcommand{\alttelephone}[1]{\def\@alttelephone{\put(107.5,11){#1}}}
+\newcommand{\@altfax}{}
+%%%\newcommand{\altfax}[1]{\def\@altfax{\put(112.5,6){#1}}}
+\newcommand{\altfax}[1]{\def\@altfax{\put(107.5,6){#1}}}
+\newcommand{\@altemail}{}
+%%%\newcommand{\altemail}[1]{\def\@altemail{\put(117.5,1){#1}}}
+\newcommand{\altemail}[1]{\def\@altemail{\put(104.5,1){#1}}}
+
+\newcommand{\STEPcover}[1]{%
+ #1
+ \drawcoversheet
+ \clearpage
+ \thispagestyle{startpage}
+ \mbox{}
+ \ifc@pyright\@copyrighttext\fi
+ \newpage
+}
+
+\newcommand{\drawcoversheet}{%
+\protect\thispagestyle{nohead}
+\setlength{\unitlength}{1mm}
+\begin{picture}(165,200)(0,40) %% actual size is (165,240)
+\thicklines
+%%%%% Revision notice for the cover sheet layout.
+\put(165,-1){\makebox(0,0)[tr]{\tiny revision 8, 1/02 (PRW)}}
+%%%%% Project leader information. (Box at y=0, height 50)
+\put(0,0){\framebox(82.5,50){}}
+\put(2,1){\bf E-mail:}
+\put(2,6){\bf Facsimile:}
+\put(2,11){\bf Telephone:}
+\put(2,40){\bf Address:}
+\put(2,45){\bf Project Leader:}
+%%%%%%% Document editor information.
+\put(82.5,0){\framebox(82.5,50){}}
+\put(84.5,1){\bf E-mail:}
+\put(84.5,6){\bf Facsimile:}
+\put(84.5,11){\bf Telephone:}
+\put(84.5,40){\bf Address:}
+\put(84.5,45){\bf Project Editor:}
+%%%%%%% Comments to reader box. (Box at y=50, height 35, total height 85)
+%%% \put(0,50){\framebox(165,25){}}
+%%% \put(2,70){\large\bf COMMENTS TO READER:}
+\put(0,50){\framebox(165,35){}}
+\put(2,80){\large\bf COMMENTS TO READER:}
+%%%%%% Draw abstract and keyword headings. (Box at y=85, height 35, total 120)
+ \put(0,85){\framebox(165,35){}}
+ \put(2,87){\large\bf KEYWORDS:}
+ \put(2,115){\large\bf ABSTRACT:}
+%%\put(0,85){\framebox(165,45){}}
+%%\put(2,87){\large\bf KEYWORDS:}
+%%\put(2,125){\large\bf ABSTRACT:}
+%%%%% Do the copyright element. (Box at y=120, height 80, total 200)
+ \put(0,120){\framebox(165,80)[t]{
+%%%\put(0,130){\framebox(165,70)[t]{
+ \ifc@pyrightopt
+ \begin{minipage}{161mm}
+ \ifisstandard
+ \input{bpfs2} %% unknown at present
+ \fi
+ \iffdisstandard
+ \input{bpfs2}
+ \fi
+ \ifdisstandard
+ \input{bpfs2}
+ \fi
+ \ifcdstandard
+ \input{bpfs3}
+ \fi
+ \ifwdstandard
+ \input{bpfs3}
+ \fi
+ \iftechrep
+ \input{bpfs3} %% unknown at present
+ \fi
+ \end{minipage}
+ \else
+%%% \put(2,195){{\large\bf COPYRIGHT NOTICE:}}
+ {\vspace*{\baselineskip}
+ \textbf{\large\space COPYRIGHT NOTICE}\hfill\vspace*{\fill}}
+ \fi}}
+
+%%%%% Draw the STEP title. (y=215 and 210)
+\put(0,215){%
+ \ifnum\value{b@cyc} < 2
+ {\bf ISO\thest@tus\ 10303-\thespartno}
+ \else
+ {\bf ISO\thest@tus\ 10303-\thespartno.\theb@cyc}
+ \fi}
+\put(0,210){\begin{minipage}[t]{165mm}
+ {\bf \st@pn@me: \Theseries: \thed@ctitle}
+ \end{minipage}}
+%%%%% Identify the slots for the superseded document information.
+\put(0,227){\bf Supersedes ISO TC 184/SC4/} % (y=227)
+\put(67,226){\line(1,0){5}}
+\put(73,227){\bf N}
+\put(78,226){\line(1,0){8}}
+%%%%% Draw the heading block
+\put(0,235){\Large\bf ISO TC 184/SC4/} % (y=235)
+\put(58,234){\line(1,0){7}}
+\put(67,235){\Large\bf N}
+\put(72,234){\line(1,0){11}}
+\put(135,235){\bf Date:}
+ \@wg \@docnumber \@docdate \@oldwg \@olddocnumber
+ \@abstract \@keywords \@comread
+ \@owner \@address \@telephone \@fax \@email
+ \@altowner \@altaddress \@alttelephone \@altfax \@altemail
+\end{picture}
+\setlength{\unitlength}{1pt}
+\clearpage
+\undef@covercmds
+}
+
+\newcommand{\undef@covercmds}{%
+ \let\@wg\relax \let\wg\relax
+ \let\@docnumber\relax \let\docnumber\relax
+ \let\@docdate\relax \let\docdate\relax
+ \let\@oldwg\relax \let\oldwg\relax
+ \let\@olddocnumber\relax \let\olddocnumber\relax
+ \let\@abstract\relax \let\abstract\relax
+ \let\@keywords\relax \let\keywords\relax
+ \let\@comread\relax \let\comread\relax
+ \let\@owner\relax \let\owner\relax
+ \let\@address\relax \let\address\relax
+ \let\@telephone\relax \let\telephone\relax
+ \let\@fax\relax \let\fax\relax
+ \let\@email\relax \let\email\relax
+ \let\@altowner\relax \let\altowner\relax
+ \let\@altaddress\relax \let\altaddress\relax
+ \let\@alttelephone\relax \let\alttelephone\relax
+ \let\@altfax\relax \let\altfax\relax
+ \let\@altemail\relax \let\altemail\relax
+}
+
+\newcommand{\draftctr}{Recipients of this draft are invited to submit,
+ with their comments, notification of any relevant patent rights of
+ which they are aware and to provide supporting documentation. }
+
+\endinput
+%%
+%% End of file `stepv13.sty'.
diff --git a/Master/texmf-dist/tex/latex/iso10303/stppdlst.tex b/Master/texmf-dist/tex/latex/iso10303/stppdlst.tex
new file mode 100644
index 00000000000..2fb08f85ade
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/iso10303/stppdlst.tex
@@ -0,0 +1,45 @@
+%%
+%% This is file `stppdlst.tex',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% stepe.dtx (with options: `fwd4')
+%%
+%% This work has been partially funded by the US government
+%% and is not subject to copyright.
+%%
+%% This program is provided under the terms of the
+%% LaTeX Project Public License distributed from CTAN
+%% archives in directory macros/latex/base/lppl.txt.
+%%
+%% Author: Peter Wilson (CUA and NIST)
+%% now at: peter.r.wilson@boeing.com
+%%
+\ProvidesFile{stppdlst.tex}[2001/07/16 STEP parts and divisions URL]
+\typeout{stppdlst.tex [2001/07/16 STEP parts and divisions URL]}
+
+ This International Standard is organized as a series of parts,
+each published separately. The structure of this International
+Standard is described in ISO~10303--1.
+
+ Each part of this International Standard is a member of one
+of the following series:
+description methods,
+implementation methods,
+conformance testing methodology and framework,
+integrated generic resources,
+integrated application resources,
+application protocols,
+abstract test suites,
+application interpreted constructs,
+and
+application modules.
+This part is a member of the \theseries{} series.
+\ifanir The integrated generic resources and the integrated application
+ resources specify a single conceptual product data model.
+\fi
+
+\endinput
+%%
+%% End of file `stppdlst.tex'.