(*
 * PBNF, the people's BNF, for beings capable of working at the apobetic level
 *
 * CHANGELOG:
 * ==========
 * 2002.03.08-21:30
 * - removed elements that serve no purpose
 *
 * 2002.03.07-11:30
 * - converted to version 1.13
 *   o removed "condor" and "environment" in favour of "profile"
 *   o removed "use" from application code
 *
 * 2002.02.28-15:30
 * - convert to version 1.12
 *
 * 2002.02.21-15:30
 * - allowed for "application/*/use" element
 * - changed "call/@version" to @minIncludeVersion and @maxIncludeVersion
 * - fixed problem with mixed content in "application/*"
 * - changed "declare/@type" to "declare/@container"
 * - added "declare/@type" to declare the linkage of the parameter.
 *
 * 2002.02.21-09:30
 * - (re-) creation date
 *
 *) 

definitions = 
    <definitions version=string		(* required *)
     [ vdlns=string ]			(* VDL namespace we define in *)
     (* TODO: Dublin Core subset on creator/creation information? *)
    >
	{ transformation | derivation }
    </definitions> ;

transformation =
    <transformation name=token
     [ version=string ]			(* must allow "order" facet *)
     [ vdlns=string ]			(* override parent VDL namespace *)
     [ description=string ]		(* Yong? *)
     [ title=string ]			(* Yong? *)
     [ keyword=string ]			(* Yong? *)
     [ url=URI ]			(* Yong? *)
     (* TODO: Ewa/Gaurang meta data on transformation *)
    >
	formal-parameter, transformation-body
    </transformation> ;

derivation =
    <derivation uses=token		(* matches "name" of transformation *)
     [ maxIncludeVersion=string ]	(* default: "unbounded" *)
     [ minIncludeVersion=string ]	(* default: "unbounded" *)
     [ name=token ]			(* allows optional nameing *)
     [ vdlns=string ]			(* override parent VDL namespace *)
     [ description=string ]		(* Yong? *)
     [ title=string ]			(* Yong? *)
     [ keyword=string ]			(* Yong? *)
     [ url=URI ]			(* Yong? *)
    >
	{ pass }
    </derivation> ;

formal-parameter =			(* pseudo-element *)
    	{ declare }			(* declare formal parameter *)
    ;

declare =				(* declare a formal-parameter *)
    <declare name=token			(* name of variable *)
       link=LinkageType			(* input, output, inout, none *)
     [ container=ContainerType ]	(* fixed "scalar" for temp. *)
     [ vdlns=string ]			(* override VDL namespace *)
    >
	[ scalar | list ]	        (* optional spec of default values *)
    </declare> ;

transformation-body =			(* pseudo element *)
	{ declare-temp },		(* local variables section *)
	{ parameter-file },		(* any number of parameter files *)
	( application, [ argument ] |	(* simple transformation *)
	  call, { call } ),		(* compound transformation *)
	{ profile }			(* add execution environment stuff *)
    ;

declare-temp =				(* declare a formal-parameter *)
    <declare-temp name=token		(* name of variable *)
       link=LinkageType			(* input, output, inout, none *)
     [ container=ContainerType ]	(* fixed "scalar" for temp. *)
     [ vdlns=string ]			(* override VDL namespace *)
    >
	[ #PCDATA | use ]		(* ??? what is in there ??? *)
    </declare-temp> ;

application =
    <application>
	[ pre-script ],
	executable,
	[ postscript ]
    </application> ;

pre-script, post-script =
    <(pre|post)-script 
     [ universe=UniverseType ]		(* default: "scheduler" *)
    >
	( #PCDATA | 			(* either a physical filename *)
	  lfn )				(* or a const lfn: in | none *)
    </(pre|post)-script> ;

executable =
    <executable
     [ universe=UniverseType ]		(* default: "vanilla" *)
    >
	( #PCDATA | 			(* either a physical filename *)
	  lfn )				(* or a const lfn: in | none *)
    </executable> ;

argument = 
    <argument>
	{ chunk }
    </argument> ;

chunk =
    <chunk 
     [ name=token ]
     [ render=string ]			(* rendering hint, not XSLT *)
    >
	{ #PCDATA |			(* consider <![CDATA[...]]> *)
	  use |				(* referral to parameter content *)
	  br }				(* visual markup option *)
    </chunk> ;

call =
    <call uses=token			(* matches "name" of invocation *)
     [ name=token ]			(* name it, if you want to *)
     [ maxIncludeVersion=string ]	(* default: "unbounded" *)
     [ minIncludeVersion=string ]	(* default: "unbounded" *)
     [ vdlns=string ]
    >
	actual-parameter
    </call> ;

profile =
    <profile namespace=ProfileNamespace (* which exec. env are we modif. *)
    key=token>				(* name of variable *)
	{ #PCDATA |			(* verbatim text *)
	  use }				(* referral to parameter content *)
    </profile> ;

pass =
    <pass bind=token			(* name of parameter to bind to *)
     [ name=token ]
    >
	( scalar |			(* encapsulate as-is and lfn *)
	  list )			(* vector, or list *)
    </pass>

scalar =
    <scalar [name=token]>
	{ #PCDATA |			(* verbatim value to pass *)
	  lfn |				(* NOT available within xforms *)
	  use }				(* NOT available in derivations *)
    </scalar> ;

list =
    <list [name=token]>
	{ item }
    </list> ;

item = <item [index=integer]>
	{ #PCDATA |			(* verbatim value to pass *)
	  lfn |				(* NOT available within xforms *)
	  use }				(* NOT available in derivations *)
    </item> ;

lfn = 
    <lfn
     file=string			(* logical filename *)
     type=LinkageType			(* restricted: input, output, inout *)
    /> ;				(* empty element *)

use =
    <use name=token			(* name of parameter referred to *)
     [ render=string ]			(* rendering hint *)
     [ type=LinkageType ]		(* restricted hint: input, output *)
    /> ;				(* empty element *)

ContainerType =
    ( scalar | list ) ;

LinkageType =
    ( input | output | inout | none ) ;

UniverseType =
    ( standard | vanilla | scheduler | globus | mpi | pvm | java ) ;

ProfileNamespace =			(* exec. environment namespace id *)
    ( vds | dagman | condor | env ) ;