Java Module Configuration in Java 9 can be expressed with EBNF and Railroad Diagram as shown below.

EBNF Statement with which the diagram was generated is as below, JavaModuleConfiguration ::= annotation* 'open'? 'module' name '{' ('requires' 'transitive'? 'static'? moduleName ';' )* ( ( 'exports' | 'opens' ) packageName ( 'to' moduleName (',' moduleName)* )? ';' )* ( 'uses' SPIClassNameWithPackage ';' )* ( 'provides' SPIClassNameWithPackage 'with' SPIClassImplWithPackage (',' SPIClassImplWithPackage)* ';' )* '}'