Protocol-Safe Workflow Support for Santa Claus

Practical software analysis techniques exploit a form a process description, mostly in some \ud avour of state diagram. Unlike typing information, these process structures are usually not passed down to the implementation level, and neither are they exploited in any form of consistency check. It is our belief that the information in most designs suffices to perform all sorts of consistency checks. This workshop paper studies a simple case where work\ud ow processes interact with `actual' objects at the implementation level, and demonstrates how useful protocol checking can be in making and keeping these processes consistent with each other

On the User Perception of Configurable Reference Process Models - Initial Insights

Enterprise Systems potentially lead to significant efficiency gains but require a well-conducted configuration process. A configurable reference modelling language based on the widely used EPC notation, which can be used to specify Configurable EPCs (C-EPCs), has been developed to support the task of Enterprise Systems configuration. This paper presents a laboratory experiment on C-EPCs and discusses empirical data on the comparison of C-EPCs to regular EPCs. Using the Method Adoption Model we report on modeller’s perceptions as to the usefulness and ease of use of C-EPCs, concluding that C-EPCs provide sufficient yet improvable conceptual support towards reference model configuration

Structured Review of Code Clone Literature

This report presents the results of a structured review of code clone literature. The aim of the review is to assemble a conceptual model of clone-related concepts which helps us to reason about clones. This conceptual model unifies clone concepts from a wide range of literature, so that findings about clones can be compared with each other

A Process Algebra Software Engineering Environment

In previous work we described how the process algebra based language PSF can be used in software engineering, using the ToolBus, a coordination architecture also based on process algebra, as implementation model. In this article we summarize that work and describe the software development process more formally by presenting the tools we use in this process in a CASE setting, leading to the PSF-ToolBus software engineering environment. We generalize the refine step in this environment towards a process algebra based software engineering workbench of which several instances can be combined to form an environment

Development of a model for Business Process Reengineering: A practical application in a Corporate Center of a Logistics Company

The digital age and the pillars behind the Industry 4.0 are putting growing pressure on companies' Corporate Centers, thus forcing to reshape its business processes in order to increase its efficiency, reduce costs and collaborate more closely with operations. This change is being highly influenced by technology, allowing them to move from transactional and manual-based tasks to focus on higher-value-added tasks. This factors lead the company's Corporate Center under study to start implementing a continuous improvement culture, streamlining its processes and adopting a Business Process Management (BPM) approach. Hence, this works aims to develop and apply a model to reengineer business processes with an end-to-end perspective and with a high focus on efficiency improvement through digitalization. As such, the model being presented is specifically addressed for radical changes in business processes instead of trying to improve the process AS-IS. The result is the application of a model to an end-to-end process in the angel's Corporate Center, that is the starting point to other Business Process Reengineer (BPR) projects within the company, that will allow to acknowledge what are the next steps to improve its efficiency and shifting its mindset to a "Global Corporate Vision", through a strategy that adds more value to the portfolio of businesses so that the whole is worth more than the sum of its parts