About

Log in?

DTU users get better search results including licensed content and discounts on order fees.

Anyone can log in and get personalized features such as favorites, tags and feeds.

Log in as DTU user Log in as non-DTU user No thanks

DTU Findit
Boolean: (bicycle AND helmet) OR (head AND protection) (always group AND in parenthesis)
Title: title:(climate change)
Author: author:("bohr niels" OR "bohr n") (avoid only full first name)
Phrase: "water pump control" (does not work with wildcards)
Wildcards: wom?n pharm*

More help on how to search

Flexible matching

About search syntax

Search syntax Advanced
Close advanced
{{problem}}
By field Using AND/OR By author
This tool can help you build boolean queries suitable for doing a broad search for different synonyms or spellings of each word. Start via the drop-down below or just start typing in the search field.
{{ row.typeTitle }}: ( )

Since our index often lack the full first name of people it can be difficult to correctly search by author.

Fill in the fields and let us help you build a good query:

If you need to find everything possible, consider only searching by last name.

Use "Starting year" to ignore publications out of year range.

More...

Conference paper

BProVe: Tool support for business process verification

In Proceedings of the 2017 32nd Ieee/acm International Conference on Automated Software Engineering (ase) — 2017, pp. 937-942

By Corradini, Flavio1; Fornari, Fabrizio1; Polini, Andrea1; Re, Barbara1; Tiezzi, Francesco1; Vandin, Andrea2,3

From

University of Camerino1

Department of Applied Mathematics and Computer Science, Technical University of Denmark2

Formal Methods, Department of Applied Mathematics and Computer Science, Technical University of Denmark3

This demo introduces BProVe, a tool supporting automated verification of Business Process models. BProVe analysis is based on a formal operational semantics defined for the BPMN 2.0 modelling language, and is provided as a freely accessible service that uses open standard formats as input data. Furthermore a plug-in for the Eclipse platform has been developed making available a tool chain supporting users in modelling and visualising, in a friendly manner, the results of the verification.

Finally we have conducted a validation through more than one thousand models, showing the effectiveness of our verification tool in practice. (Demo video: https://youtu.be/iF5OM7vKtDA)

Language: English
Publisher: IEEE
Year: 2017
Pages: 937-942
Proceedings: 2017 32nd IEEE/ACM International Conference on Automated Software Engineering
Series: Automated Software Engineering
ISBN: 1538626845 , 1538639769 , 9781538626849 and 9781538639764
Types: Conference paper
DOI: 10.1109/ASE.2017.8115708
ORCIDs: Vandin, Andrea
Keywords

Analytical models Atmospheric modeling BPMN BPMN 2 BProVe tool support Business Business Processes Collaboration Eclipse platform Load modeling MAUDE Semantics Software Verification Structural Operational Semantics Tools automated verification business data processing business process models business process verification formal operational semantics formal specification freely accessible service open standard formats program verification

DTU users get better search results including licensed content and discounts on order fees.

Log in as DTU user

Access

Analysis