A prototype workflow engine partially supporting yawl : (yet another workflow language)

Workflow has become popular and interesting by removing control flow dependence from business software systems, just as DBMS (DataBase Management Systems) has become a separate domain by removing data dependence from business software systems. YAWL (Yet Another Workflow Language) is a completely new language with its own semantics and it is specially designed for workflow specifications that provide direct support for the workflow patterns identified. When this thesis was first conceived, no implementation based on YAWL was available. This inspired the development of this thesis. In this thesis, as a starting point, an XML workflow schema employing seven workflow patterns of YAWL was designed for users to define the workflow specification. Based on this, a prototype workflow engine supporting these seven patterns of YAWL was designed and implemented to parse and interpret the workflow in the control flow specification (the execution order) of YAWL, which is described in the XML workflow document conforming to an XML workflow schema. At runtime, the engine handles the execution order of the workflow

Traduzione automatica di descrizioni di servizi Web

La tesi presenta uno schema di traduzione basato su pattern che permette di tradurre processi BPEL4WS (Business Process Execution Language 4 WS) in workflow YAWL (Yet Another Workflow Language). Viene quindi descritta una realizzazione in Java di tale traduzion

Complexity metrics for measuring the understandability and maintainability of Business Process Models using Goal-Question-Metric (GQM)

Business Process Models (BPMs), often modeling language such as UML activity between the created using stakeholders in the can provide us a diagrams, Event- Driven Process Chains Markup Language (EPML) and Yet Another Workflow Language (YAWL), serve as a base for communication that adequate software development process. In order to fulfill this purpose, they should be easy to understand and easy to maintain. For this reason, it is useful to have measures information about understandability and maintainability of the BPM. Although there are hundreds of software complexity measures that have been described and published by many researchers over the last few decades, measuring the complexity of business process models is a rather new area of research with only a small number of contributions. In this paper, we provide a comprehensive report on how existing complexity metrics of software were adapted in order to analyze the current business process models complexity. We also proposed a Goal- Question-Metric (GQM) framework for measuring the understandability and maintainability of BPMs

Uma Análise de Linguagens de Composição de Serviços: A Utilização de BPEL e YAWL

A integração de sistemas e processos de negócio requer a utilização de tecnologias de composição de serviços e que utilizem uma arquitetura orientada a serviços. Existem algumas linguagens e padrões BPM (Business Process Mangament) no mercado que se propõem a padronizar esta necessidade, tais como BPEL (Business Process Execution Language) e YAWL (Yet Another Workflow Language). Este artigo permite a análise de ambas as tecnologias, dando uma visão geral de processos, serviços e as tecnologias usadas na comunicação entre os processos e serviços, e como a composição destes serviços

Comparing Generative Chatbots Based on Process Requirements

Business processes are commonly represented by modelling languages, such as Event-driven Process Chain (EPC), Yet Another Workflow Language (YAWL), and the most popular standard notation for modelling business processes, the Business Process Model and Notation (BPMN). Most recently, chatbots, programs that allow users to interact with a machine using natural language, have been increasingly used for business process execution support. A recent category of chatbots worth mentioning is generative-based chatbots, powered by Large Language Models (LLMs) such as OpenAI's Generative Pre-Trained Transformer (GPT) model and Google's Pathways Language Model (PaLM), which are trained on billions of parameters and support conversational intelligence. However, it is not clear whether generative-based chatbots are able to understand and meet the requirements of constructs such as those provided by BPMN for process execution support. This paper presents a case study to compare the performance of prominent generative models, GPT and PaLM, in the context of process execution support. The research sheds light into the challenging problem of using conversational approaches supported by generative chatbots as a means to understand process-aware modelling notations and support users to execute their tasks.Comment: IEEE BigDat

Reconciling a component and process view

In many cases we need to represent on the same abstraction level not only system components but also processes within the system, and if for both representation different frameworks are used, the system model becomes hard to read and to understand. We suggest a solution how to cover this gap and to reconcile component and process views on system representation: a formal framework that gives the advantage of solving design problems for large-scale component systems.Comment: Preprint, 7th International Workshop on Modeling in Software Engineering (MiSE) at ICSE 201

Fluent Logic Workflow Analyser: A Tool for The Verification of Workflow Properties

In this paper we present the design and implementation, as well as a use case, of a tool for workflow analysis. The tool provides an assistant for the specification of properties of a workflow model. The specification language for property description is Fluent Linear Time Temporal Logic. Fluents provide an adequate flexibility for capturing properties of workflows. Both the model and the properties are encoded, in an automated way, as Labelled Transition Systems, and the analysis is reduced to model checking.Comment: In Proceedings LAFM 2013, arXiv:1401.056

Consistenza di workflow temporali nel linguaggio YAWL

L’obiettivo della tesi sperimentale sviluppata è il controllo della consistenza, a tempo di progettazione, di un workflow temporale creato con YAWL. Un workflow temporale può essere visto come un processo in cui devono essere svolti alcuni lavori in un tempo prestabilito. I workflow che sono stati presi in considerazione in questo lavoro di tesi sono workflow temporali estesi tramite la fuzzy logic, per permettere di rappresentare le nozioni di incertezza e vaghezza. Il software utilizzato per la creazione dei workflow è YAWL (Yet Another Workflow Language), che si suddivide in due parti: un editor grafico per la creazione del workflow e un engine per l’esecuzione del workflow stesso. L’obiettivo principale della tesi è il controllo di consistenza a tempo di progettazione mentre in precedenza l’introduzione del controllo veniva effettuato a tempo di esecuzione

Personalizing Situated Workflows for Pervasive Healthcare Applications

In this paper, we present an approach where a workflow system is combined with a policy-based framework for the specification and enforcement of policies for healthcare applications. In our approach, workflows are used to capture entitiespsila responsibilities and to assist entities in fulfilling them. The policy-based framework allows us to express authorisation policies to define the rights that entities have in the system, and event-condition-action (ECA) policies that are used to adapt the system to the actual situation. Authorisations will often depend on the context in which patientspsila care takes place, and our policies support predicates that reflect the environment. ECA policies capture events that reflect the current state of the environment and can perform actions to accordingly adapt the workflow execution. We show how the approach can be used for the Edema treatment and how fine-grained authorisation and ECA policies are expressed and used