The importance of business process modeling in software systems design

DOI10.1016/j.scico.2008.01.002zbMath1138.68036OpenAlexW2124448362MaRDI QIDQ2482023

Joseph Barjis

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

zbMATH Keywords

Petri netsmodel checkingbusiness process modelingDEMOlanguage-action perspectivebusiness process simulationmodeling techniquerequirements' specifications

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

GemCell: A generic platform for modeling multi-cellular biological systems ⋮ Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN ⋮ Colored Petri nets to model gene mutation and amino acids classification

This page was built for publication: The importance of business process modeling in software systems design