Framework for business process verification
A Speck, S Witt, S Feja, A Lotyzc… - … Information Systems: 14th …, 2011 - Springer
A Speck, S Witt, S Feja, A Lotyzc, E Pulvermüller
Business Information Systems: 14th International Conference, BIS 2011, Poznań …, 2011•SpringerThere are numerous concepts and tools for modeling business processes and several
academic approaches to verify business processes. However, most modeling tools don't
integrate the checking of the processes. The three-tier architecture of the B usiness A
pplication M odeler (BAM) provides the graphical representation of business models and
rules (presentation layer) as well as integrates a verification mechanism layer with an
intermediate transformation layer. The hierarchical architecture allows to extend the …
academic approaches to verify business processes. However, most modeling tools don't
integrate the checking of the processes. The three-tier architecture of the B usiness A
pplication M odeler (BAM) provides the graphical representation of business models and
rules (presentation layer) as well as integrates a verification mechanism layer with an
intermediate transformation layer. The hierarchical architecture allows to extend the …
Abstract
There are numerous concepts and tools for modeling business processes and several academic approaches to verify business processes. However, most modeling tools don’t integrate the checking of the processes. The three-tier architecture of the Business Application Modeler (BAM) provides the graphical representation of business models and rules (presentation layer) as well as integrates a verification mechanism layer with an intermediate transformation layer.
The hierarchical architecture allows to extend the checking system with additional features supporting the use of the verifier in an industrial environment of commercial information system development. Examples for such add-ons are the improved graphical rule notation and an enhanced functionality of the verification system supporting the expressiveness in the business modeling domain.
Springer
顯示最佳搜尋結果。 查看所有結果