As evidenced by the recent explosion of interest in the World Wide Web, the scope and complexity of hypermedia application are growing at a rapid rate. Despite this, the development of hypermedia applications is still largely ad hoc and poorly managed, often resulting in applications which are low quality and excessively expensive to develop and especially maintain. Although various hypermedia ...

This article concerns with the accessibility of Business process modelling tools (BPMo tools) and business process modelling languages (BPMo languages). Therefore the reader will be introduced to business process management and the authors' motivation behind this inquiry. Afterwards, the paper will reflect problems when applying inaccessible BPMo tools. To illustrate these problems the authors ...

This paper examines two modelling paradigms, namely Hoare’s Communicating Sequential Processes (CSP) and a subset of Role Activity Diagrams (RADs) and shows how they can be combined to give a new approach to process modelling. We examine the two notations by reference to processes from two different business domains. For each domain, we transform a RAD model (by way of methodical mapping) to ar...

CoCasl [11], a recently developed coalgebraic extension of the algebraic specification language Casl [2], allows for modelling systems in terms of inductive datatypes as well as of co-inductive process types. Here, we demonstrate how to specify process algebras, namely CCS [10] and CSP [8,17], within such an algebraic-coalgebraic framework. It turns out that CoCasl can deal with the fundamental...

We present a business process performance evaluation approach based on a hierarchy of interacting analytical performance models from semanticoriented key performance indicator model through to the resource allocation optimisation model. Discussion of the human-centric process performance evaluation supported by the state-of-the-art presentation provides the motivation for our research work. Pre...

In this paper, we advocate decentralised process modelling and suggest that understanding and modelling the development processes of individual development participants is the key to supporting collaborative development. Our approach relies on recognising individual developers’ states (“situations”) by analysing local development histories. Different situations can be used to trigger a variety ...

Process modelling has seen widespread acceptance, particularly in large IT-enabled Business Process Re engineering projects. It is applied, as a process design and management technique, across all lifecycle phases of a system. While there has been much research on alternative process modelling techniques, little attention has been focused on post-hoc evaluation of process modelling success. Thi...

It can be shown that software process modelling, seen as a general software development control technique, can be applied to more specific components as well. In this paper, we propose a model, a language and a tool dedicated to database engineering. As it is now natural, the model includes the concept of product (schemas and texts) and that of process. A process is intended to solve a class of...

This report describes three case studies of the testing of continuous modelling software. Where possible, the testing has been conducted by following the methodology outlined in the SSfM report " Testing Continuous Modelling Software " [1]. Where following this methodology has not been possible, the advice on alternative testing methods in the report [1] has been employed. The problems studied ...