Informal Semantics for the FBPML Data Language

Chen-Burger, Dr. Yun-Heh (2002) Informal Semantics for the FBPML Data Language. Technical Report EDI-INF-RR-0154, AIAI, CISA, Informatics, The University of Edinburgh, UK.

Full text available as:

MS Word Document - Requires Microsoft Word or an MS Word viewer.

FBPML is a merging and adaptation of two recognised process modelling languages (PML): PSL [7] and IDEF3 [8]. PSL provides formal semantics for commonly shared process modelling concepts as well as theories such as situation calculus that support the use of such concepts. As it is designed to be an interchange language between different process languages, it covers the core concepts in PML, but does not provide visual notations or model development methods. IDEF3 is originated from manufacturing environment and is one of the richest methods available in the process modelling community. It provides visual notations and a rich modelling method. Nevertheless, its semantic is informal and its models therefore may be open to interpretation. It is therefore useful to combine the two different methods, i.e. to gain advantages from the rich modelling method from IDEF3 and provide it with a formal semantics and necessary theories from PSL, so that reasoning mechanism and formal analysis may be carry out on those models. FBPML is such a modelling language.

Contact the site administrator at: hg@ecs.soton.ac.uk