A rigorous methodology for specification and verification of business processes

10.1007/s00165-009-0106-y

Saved in:

Bibliographic Details
Main Authors:	Masalagiu, C., Chin, W.-N., Andrei, Ş., Alaiba, V.
Other Authors:	COMPUTER SCIENCE
Format:	Article
Published:	2013
Subjects:	Business process Specification Unifying computer tool Verification
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/39812
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-39812
record_format	dspace
spelling	sg-nus-scholar.10635-398122023-10-27T07:03:56Z A rigorous methodology for specification and verification of business processes Masalagiu, C. Chin, W.-N. Andrei, Ş. Alaiba, V. COMPUTER SCIENCE Business process Specification Unifying computer tool Verification 10.1007/s00165-009-0106-y Formal Aspects of Computing 21 5 495-510 FACME 2013-07-04T07:50:09Z 2013-07-04T07:50:09Z 2009 Article Masalagiu, C., Chin, W.-N., Andrei, Ş., Alaiba, V. (2009). A rigorous methodology for specification and verification of business processes. Formal Aspects of Computing 21 (5) : 495-510. ScholarBank@NUS Repository. https://doi.org/10.1007/s00165-009-0106-y 09345043 http://scholarbank.nus.edu.sg/handle/10635/39812 000269917500006 Scopus
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
topic	Business process Specification Unifying computer tool Verification
spellingShingle	Business process Specification Unifying computer tool Verification Masalagiu, C. Chin, W.-N. Andrei, Ş. Alaiba, V. A rigorous methodology for specification and verification of business processes
description	10.1007/s00165-009-0106-y
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Masalagiu, C. Chin, W.-N. Andrei, Ş. Alaiba, V.
format	Article
author	Masalagiu, C. Chin, W.-N. Andrei, Ş. Alaiba, V.
author_sort	Masalagiu, C.
title	A rigorous methodology for specification and verification of business processes
title_short	A rigorous methodology for specification and verification of business processes
title_full	A rigorous methodology for specification and verification of business processes
title_fullStr	A rigorous methodology for specification and verification of business processes
title_full_unstemmed	A rigorous methodology for specification and verification of business processes
title_sort	rigorous methodology for specification and verification of business processes
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/39812
_version_	1781411062190440448

A rigorous methodology for specification and verification of business processes

Similar Items