Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
A formal framework for business process modelling and design - MaRDI portal

A formal framework for business process modelling and design

From MaRDI portal

Publication:1859984

Jump to:navigation, search

DOI10.1016/S0306-4379(01)00055-2zbMath1006.68667MaRDI QIDQ1859984

Manolis Koubarakis, Dimitris Plexousakis

Publication date: 20 February 2003

Published in: Information Systems (Search for Journal in Brave)

zbMATH Keywords

formal verification methodology situation calculus enterprise modelling business process modelling ConGolog

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

This page was built for publication: A formal framework for business process modelling and design

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1859984&oldid=14245114"