An agile approach to language modelling and development

We have developed novel techniques for component-based specification of programming languages. In our approach, the semantics of each fundamental programming construct is specified independently, using an inherently modular framework such that no reformulation is needed when constructs are combined. A language specification consists of an unrestricted context-free grammar for the syntax of programs, together with an analysis of each language construct in terms of fundamental constructs. An open-ended collection of fundamental constructs is currently being developed. When supported by appropriate tools, our techniques allow a more agile approach to the design, modelling, and implementation of programming and domain-specific languages. In particular, our approach encourages language designers to proceed incrementally, using prototype implementations generated from specifications to test tentative designs. The components of our specifications are independent and highly reusable, so initial language specifications can be rapidly produced, and can easily evolve in response to changing design decisions. In this paper, we outline our approach, and relate it to the practices and principles of agile modelling.     

Improved workflow modelling using role activity diagram-based modelling with application to a radiology service case study

The modelling of complex workflows is an important problem-solving technique within healthcare settings. However, currently most of the workflow models use a simplified flow chart of patient flow obtained using on-site observations, group-based debates and brainstorming sessions, together with historic patient data. This paper presents a systematic and semi-automatic methodology for knowledge acquisition with detailed process representation using sequential interviews of people in the key roles involved in the service delivery process. The proposed methodology allows the modelling of roles, interactions, actions, and decisions involved in the service delivery process. This approach is based on protocol generation and analysis techniques such as: (i) initial protocol generation based on qualitative interviews of radiology staff, (ii) extraction of key features of the service delivery process, (iii) discovering the relationships among the key features extracted, and, (iv) a graphical representation of the final structured model of the service delivery process. The methodology is demonstrated through a case study of a magnetic resonance (MR) scanning service-delivery process in the radiology department of a large hospital. A set of guidelines is also presented in this paper to visually analyze the resulting process model for identifying process vulnerabilities. A comparative analysis of different workflow models is also conducted.     

Seeing the forest through the trees: A review of integrated environmental modelling tools

Today’s interconnected socio-economic and environmental challenges require the combination and reuse of existing integrated modelling solutions. This paper contributes to this overall research area, by reviewing a wide range of currently available frameworks, systems and emerging technologies for integrated modelling in the environmental sciences. Based on a systematic review of the literature, we group related studies and papers into viewpoints and elaborate on shared and diverging characteristics. Our analysis shows that component-based modelling frameworks and scientific workflow systems have been traditionally used for solving technical integration challenges, but ultimately, the appropriate framework or system strongly depends on the particular environmental phenomenon under investigation. The study also shows that – in general – individual integrated modelling solutions do not benefit from components and models that are provided by others. It is this island (or silo) situation, which results in low levels of model reuse for multi-disciplinary settings. This seems mainly due to the fact that the field as such is highly complex and diverse. A unique integrated modelling solution, which is capable of dealing with any environmental scenario, seems to be unaffordable because of the great variety of data formats, models, environmental phenomena, stakeholder networks, user perspectives and social aspects. Nevertheless, we conclude that the combination of modelling tools, which address complementary viewpoints – such as service-based combined with scientific workflow systems, or resource-modelling on top of virtual research environments – could lead to sustainable information systems, which would advance model sharing, reuse and integration. Next steps for improving this form of multi-disciplinary interoperability are sketched.     

Subtyping and polymorphism in object-role modelling

Although Entity-Relationship (ER) modelling techniques are commonly used for information modelling, Object-Role Modelling (ORM) techniques are becoming increasingly popular, partly because they include detailed design procedures providing guidelines for the modeller. As with the ER approach, a number of different ORM techniques exist. In this paper, we propose an integration of two theoretically well founded ORM techniques: FORM and PSM. Our main focus is on a common terminological framework, and on the notion of subtyping. Subtyping has long been an important feature of semantic approaches to conceptual schema design. It is also the concept in which FORM and PSM differ the most in their formalization. The subtyping issue is discussed from three different viewpoints covering syntactical, identification, and population issues. Finally, a wider comparison of approaches to subtyping is made, which encompasses other ER-based and ORM-based information modelling techniques, and highlights how formal subtype definitions facilitate a comprehensive specification of subtype constraints.     

Specification,testing and verification of unconventional computations using generalized X-machines

There are as yet no fully comprehensive techniques for specifying, verifying and testing unconventional computations. In this paper, we propose a generally applicable and designer-friendly specification strategy based on a generalized variant of Eilenberg’s X-machine model of computation. Our approach, which extends existing approaches to SXM test-based verification, is arguably capable of modelling very general unconventional computations, and would allow implementations to be verified fully against their specifications.     

Building a production planning process with an approach based on CIMOSA and workflow management systems

Nowadays, one of the major challenges for enterprises is to stay competitive in today's changing market environment. This can be supported by business process models which on one hand are consistent and adequate (requirement #1), and on the other hand can be enacted and operated in an easy, fast, straightforward and integrated way (requirement #2). The CIMOSA architecture provides the basis for business process modelling to fulfil both of the above requirements. It supports the creation of consistent process models and allows to identify almost all the information required for the development of a workflow model. These models can be implemented using one of the commercial workflow management systems. In this paper we present the methodology based on the CIMOSA architecture that we have developed to build a workflow model in ©Lotus Notes for the forecasting and production planning processes in a tiles manufacturing enterprise. The CIMOSA approach has also been used to design the necessary software applications for processing the information of the resulting workflow system.     

Improving process models by discovering decision points

Workflow management systems (WfMS) are widely used by business enterprises as tools for administrating, automating and scheduling the business process activities with the available resources. Since the control flow specifications of workflows are manually designed, they entail assumptions and errors, leading to inaccurate workflow models. Decision points, the XOR nodes in a workflow graph model, determine the path chosen toward completion of any process invocation. In this work, we show that positioning the decision points at their earliest points can improve process efficiency by decreasing their uncertainties and identifying redundant activities. We present novel techniques to discover the earliest positions by analyzing workflow logs and to transform the model graph. The experimental results show that the transformed model is more efficient with respect to its average execution time and uncertainty, when compared to the original model.     

Optimal adaptive scheduling and control of beer membrane filtration

An adaptive optimal scheduling and controller design is presented that attempts to improve the performance of beer membrane filtration over the ones currently obtained by operators. The research was performed as part of a large European research project called EU Cafe with the aim to investigate the potential of advanced modelling and control to improve the production and quality of food. Significant improvements are demonstrated in this paper through simulation experiments. Optimal scheduling and control comprises a mixed integer non-linear programming problem (MINLP). By making some suitable assumptions that are approximately satisfied in practice, we manage to significantly simplify the problem by turning it into an ordinary non-linear programming problem (NLP) for which solution methods are readily available. The adaptive part of our scheduler and controller performs model parameter adaptations. These are also obtained by solving associated NLP problems. During cleaning stages in between membrane filtrations enough time is available to solve the NLP problems. This allows for real-time implementation.     

Modelling Jackson's programming method

The aim of this paper is to present a modelling scheme for programming methods and to illustrate it on Jackson's programming method. We first give a formal semantics to the objects of this method and we model the basic strategy of matching trees in order to build a program structure. In the next section we study how to support a formal development, its automatization, and the building of a formal specification within the scope of our model. Then an example is developed. The last section addresses alternative strategies suggested by the method in order to solve clash problems, where the basic strategy fails. Boundary and ordering clash situations are presented and their strategies are modelled.