The importance of business process modeling in software systems design
Publication:2482023
DOI10.1016/j.scico.2008.01.002zbMath1138.68036MaRDI QIDQ2482023
Publication date: 16 April 2008
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.scico.2008.01.002
Petri nets; model checking; business process modeling; DEMO; language-action perspective; business process simulation; modeling technique; requirements' specifications
68U99: Computing methodologies and applications
68U35: Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.)
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items