Jump to content
Sign in to follow this  

Feedback on Formal Syntax

Recommended Posts


Hi Forum

I created a browsable grammar of the PSS formal syntax at http://insights.sigasi.com/tech/pss.ebnf.html#constant_expression
The hyperlinks make it easier to explore and verify the grammar. Please let me know if you see any mistakes.

While creating this, I also ran some validations, and found following issues:

* Rule “activity_constraint_stmt”: 'constraint' should be styled as a keyword
* There are two rules called “struct_type”, I assume the one in “B.9 Data types” is wrong.
* Rule “exec_kind_identifier” is also duplicated. This is not an identifier, so I assume it should be renamed.
* Rule “scheduling_constraint”: "," should be marked as keyword
* Rule “constraint_declaration”: allow an optional trailing semicolon? (e.g. as in example Example 3—DSL: enum data type )
* “expression_constraint_item”: shouldn’t the implicand_constraint_item be optional? i.e. “expression [ implicand_constraint_item  ]  | ;”

I also noticed a missing “}” in Example 3 (DSL: enum data type)

Kind regards,

Share this post

Link to post
Share on other sites

Join the conversation

You can post now and register later. If you have an account, sign in now to post with your account.
Note: Your post will require moderator approval before it will be visible.

Reply to this topic...

×   Pasted as rich text.   Paste as plain text instead

  Only 75 emoji are allowed.

×   Your link has been automatically embedded.   Display as a link instead

×   Your previous content has been restored.   Clear editor

×   You cannot paste images directly. Upload or insert images from URL.

Sign in to follow this  

  • Create New...