A Logic of Actions to Specify and Verify Process Requirements
The 7th Australian Workshop on Requirements Engineering. Melbourne, AUS. 2002 S. - 12 Seiten
Erscheinungsjahr: 2002
Publikationstyp: Buchbeitrag (Konferenzbeitrag)
Sprache: Englisch
Inhaltszusammenfassung
In this paper, Timestamp Petri nets – a special kind of timed Petri nets - and a Logic of Actions are used to specify process requirements. Petri net implementations of such specifications are used for a better visualization and to prove whether a given realization is sound and complete with respect to a given specification. The theory is applied to the specification of workflow processes. An example shows how to prove that a given workflow fulfills time constraints required by the management...In this paper, Timestamp Petri nets – a special kind of timed Petri nets - and a Logic of Actions are used to specify process requirements. Petri net implementations of such specifications are used for a better visualization and to prove whether a given realization is sound and complete with respect to a given specification. The theory is applied to the specification of workflow processes. An example shows how to prove that a given workflow fulfills time constraints required by the management of a company.» weiterlesen» einklappen
Klassifikation
DFG Fachgebiet:
Informatik
DDC Sachgruppe:
Informatik
