A compositional approach to performance modelling
A compositional approach to performance modelling
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Model-checking continuous-time Markov chains
ACM Transactions on Computational Logic (TOCL)
Communication and Concurrency
Verification support for workflow design with UML activity graphs
Proceedings of the 24th International Conference on Software Engineering
Communications of the ACM - Service-oriented computing
A generic type system for the Pi-calculus
Theoretical Computer Science
Theoretical Computer Science - Applied semantics: Selected topics
Toward Extracting π-calculus from UML Sequence and State Diagrams
Electronic Notes in Theoretical Computer Science (ENTCS)
Formalizing WSBPEL Business Processes Using Process Algebra
Electronic Notes in Theoretical Computer Science (ENTCS)
A calculus for orchestration of web services
ESOP'07 Proceedings of the 16th European conference on Programming
A model checking approach for verifying COWS specifications
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
A declarative approach for flexible business processes management
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
Foundations of web transactions
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
PiDuce: a process calculus with native XML datatypes
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Towards a unifying theory for web services composition
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
PRISM: a tool for automatic verification of probabilistic systems
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
From Architectural to Behavioural Specification of Services
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal analysis of BPMN models using event-B
FMICS'10 Proceedings of the 15th international conference on Formal methods for industrial critical systems
Formal semantics and implementation of BPMN 2.0 inclusive gateways
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
Property specifications for workflow modelling
Science of Computer Programming
Purpose control: did you process the data for the intended purpose?
SDM'11 Proceedings of the 8th VLDB international conference on Secure data management
Performance evaluation of business processes through a formal transformation to SAN
EPEW'11 Proceedings of the 8th European conference on Computer Performance Engineering
A visual token-based formalization of BPMN 2.0 based on in-place transformations
Information and Software Technology
| Hi-index | 0.00 |
A translation of the Business Process Modeling Notation into the process calculus COWS is presented. The stochastic extension of COWS is then exploited to address quantitative reasoning about the behaviour of business processes. An example of such reasoning is shown by running the PRISM probabilistic model checker on a case study.