Goal-Driven Analysis of Process Model Validity

This publication has 15 references indexed in Scilit:

• On the notion of soft‐goals in business process modeling
  Business Process Management Journal, 2005
• Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts
  Requirements Engineering, 2002
• Supply chain modelling and its analytical evaluation
  Journal of the Operational Research Society, 2002
• Design principles for process modelling in enterprise application integration
  Information Systems, 2001
• An inter-organizational information system for supply chain management
  International Journal of Production Economics, 2001
• Verification Of Workflow Task Structures: A Petri-net-baset Approach
  Information Systems, 2000
• Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker
  Formal Aspects of Computing, 1999
• Goal-driven business process analysis application in electricity deregulation
  Published by Springer Nature ,1998
• Goal‐based business process models: creation and evaluation
  Business Process Management Journal, 1997
• An automated approach to information systems decomposition
  IEEE Transactions on Software Engineering, 1992