TOSCA: portable automated deployment and management of cloud applications

T Binz, U Breitenbücher, O Kopp, F Leymann - Advanced Web Services, 2013 - Springer
Portability and automated management of composite applications are major concerns of
today's enterprise IT. These applications typically consist of heterogeneous distributed …

BPRIM: An integrated framework for business process management and risk management

E Lamine, R Thabet, A Sienou, D Bork, F Fontanili… - Computers in …, 2020 - Elsevier
Enterprise engineering deals with the design of processes which aim to improve the
structure and efficiency of business organizations. It develops approaches based on …

Managing large collections of business process models—Current techniques and challenges

R Dijkman, M La Rosa, HA Reijers - Computers in Industry, 2012 - Elsevier
As it becomes increasingly common for organizations to work in a process-oriented manner,
single organizations may be dealing with collections of hundreds or thousands business …

On the definition and design-time analysis of process performance indicators

A del-Río-Ortega, M Resinas, C Cabanillas… - Information Systems, 2013 - Elsevier
A key aspect in any process-oriented organisation is the evaluation of process performance
for the achievement of its strategic and operational goals. Process Performance Indicators …

Business process model repositories–Framework and survey

Z Yan, R Dijkman, P Grefen - Information and software technology, 2012 - Elsevier
CONTEXT: Large organizations often run hundreds or even thousands of different business
processes. Managing such large collections of business process models is a challenging …

Active learning for sentiment analysis on data streams: Methodology and workflow implementation in the ClowdFlows platform

J Kranjc, J Smailović, V Podpečan, M Grčar… - Information Processing …, 2015 - Elsevier
Sentiment analysis from data streams is aimed at detecting authors' attitude, emotions and
opinions from texts in real-time. To reduce the labeling effort needed in the data collection …

Petri net model checking with LoLA 2

K Wolf - Application and Theory of Petri Nets and Concurrency …, 2018 - Springer
LoLA 2 offers a suite of algorithms for verifying place/transition Petri nets. It combines
structural with state space methods and general purpose with Petri net-specific techniques …

ClowdFlows: Online workflows for distributed big data mining

J Kranjc, R Orač, V Podpečan, N Lavrač… - Future Generation …, 2017 - Elsevier
The paper presents a platform for distributed computing, developed using the latest software
technologies and computing paradigms to enable big data mining. The platform, called …

Interaction-centric modeling of process choreographies

G Decker, M Weske - Information Systems, 2011 - Elsevier
With the rise of electronic integration between organizations, the need for a precise
specification of interaction behavior increases. Information systems, replacing interaction …

Diagnosing and repairing data anomalies in process models

A Awad, G Decker, N Lohmann - … , September 7, 2009. Revised Papers 7, 2010 - Springer
When using process models for automation, correctness of the models is a key requirement.
While many approaches concentrate on control flow verification only, correct data flow …