scientific article

zbMath1234.68312MaRDI QIDQ3225723

Jan Mendling, Matthias Weidlich, Mathias Weske, Artem Polyvyanyy

Publication date: 22 March 2012

Full work available at URL: http://iospress.metapress.com/content/3g38664700463015/fulltext.html

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

causalityformal methodsconcurrencyorder relationsstructural decompositionoptionalitybehavioural abstractioncausal behavioural profilesexclusiveness

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (7)

Balanced multi-perspective checking of process conformance ⋮ On the expressive power of behavioral profiles ⋮ Data and process resonance. Identifier soundness for models of information systems ⋮ Correctness Notions for Petri Nets with Identifiers ⋮ Discovering Block-Structured Process Models from Incomplete Event Logs ⋮ The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems ⋮ Flexible Process Model Mapping using Relaxation Labeling

Uses Software

• BPEL2oWFN

This page was built for publication: