Original language | English |
---|
Title of host publication | 18th International Joint conference on Artificial Intelligence (IJCAI), Workshop on Knowledge Management and Organizational Memories |
---|
Number of pages | 13 |
---|
Publication status | Published - 2003 |
---|
Enterprise Modeling (EM) methods are recognised
for their value in providing a more organised way to
describe a complex, informal domain. A problem
with EM is that it does not always provide direct
input for software system development. There is a
“gap” between EM and software systems. One way
of bridging this gap is to provide a formalisation,
here called that subsumes a wide variety of core
modeling notations in a single using a business process
language. It is possible to have different views
of what is core to such a language but our attempt at
such a view is articulated in the Fundamental Business
Process Modeling Language (FBPML), which
is a merger of IDEF3 and PSL. A workflow language,
the FBPML Workflow Language (FWFL),
is constructed and used to provide a declarative description
of a workflow system. FWFL is tested in
the “PC-configuration” domain. We also suggest
using a validation and verification support framework
to analyse and verify the business process
model (BPM). Finally, some complexity results are
presented for this type of modeling.
ID: 24678102