Performance Evaluation of Business Processes through a Formal Transformation to SAN

No abstract is available for this paper.

• Publication year

  2011

• Venue

  European Performance Engineering Workshop

• Publication date

  2011-10-12

• Fields of study

  Business, Computer Science

• Identifiers
  DOI 10.1007/978-3-642-24749-1_5
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Performance Evaluation of Resource-Aware Business Processes Using Stochastic Automata Networks

  2012cited by this paper
• Performance analysis modeling applied to business processes

  2010cited by this paper
• Modeling and analyzing resource-constrained business processes

  2009cited by this paper
• A Process Semantics for BPMN

  2008cited by this paper
• Requirements Coverage as an Adequacy Measure for Conformance Testing

  2008cited by this paper
• Formal Analysis of BPMN Via a Translation into COWS

  2008cited by this paper
• Semantics and analysis of business process models in BPMN

  2008cited by this paper
• GRIP: Generic Representatives in PRISM

  2007influential reference
• Performance modelling with the Unified Modelling Language and stochastic process algebras

  2003cited by this paper
• Coordination Models and Languages

  1998cited by this paper
• Stochastic Automata Network For Modeling Parallel Systems

  1991cited by this paper
• On the stochastic structure of parallelism and synchronization models for distributed algorithms

  1985cited by this paper

• Assessing business process models: a literature review on techniques for BPMN testing and formal verification

  2023cites this paper
• Approaches combining methods of Operational Research with Business Process Model and Notation: A systematic review

  2020cites this paper
• A rewriting logic approach to resource allocation analysis in business process models

  2019cites this paper
• Business process modeling: A webibliominig perspective of architecture frameworks

  2019cites this paper
• A Comparative View of the Main Frameworks in Organizational Modeling Process

  2018cites this paper
• Stochastic analysis of BPMN with time in rewriting logic

  2018cites this paper
• Automatic compositional verification of probabilistic safety properties for inter-organisational workflow processes

  2016cites this paper
• Symbolic probabilistic analysis and verification of inter-organizational workflow

  2016cites this paper
• Specification, Verification and Optimisation of Business Processes:A Unified Framework

  2014cites this paper
• A model-driven method for enacting the design-time QoS analysis of business processes

  2014cites this paper
• Performance Evaluation of Resource-Aware Business Processes Using Stochastic Automata Networks

  2012cites this paper
• Técnicas de modelagem para a análise de desempenho de processos de negócio

  2011cites this paper