A geoprocessing workflow system for environmental monitoring and integrated modelling

Environmental information infrastructure benefits from mainstream information technologies including workflow and service technologies. These technologies allow distributed geoprocessing algorithms, models, data, and sensors to be accessed through Web Services, which later can be chained together to support environmental monitoring and integrated modelling. Existing approaches on integrated environmental modelling, such as OpenMI, have advantages in enabling interoperability between modelling components. It is possible to integrate both of them to take the best from both approaches. The paper introduces the design and implementation of a geoprocessing workflow tool, named GeoJModelBuilder, which is able to integrate interoperable Sensor Web, geoprocessing services, and OpenMI-compliant model components into workflows. In this way, sensors, data, geoprocessing functions, and models could be integrated in a flexible, reusable, interoperable, and user-friendly way. The system has been published as an open source software and illustrated in cases on environmental monitoring and integrated modelling.     

Model interoperability in building information modelling

The exchange of design models in the design and construction industry is evolving away from 2-dimensional computer-aided design (CAD) and paper towards semantically-rich 3-dimensional digital models. This approach, known as Building Information Modelling (BIM), is anticipated to become the primary means of information exchange between the various parties involved in construction projects. From a technical perspective, the domain represents an interesting study in model-based interoperability, since the models are large and complex, and the industry is one in which collaboration is a vital part of business. In this paper, we present our experiences with issues of model-based interoperability in exchanging building information models between various tools, and in implementing tools which consume BIM models, particularly using the industry standard IFC data modelling format. We report on the successes and challenges in these endeavours, as the industry endeavours to move further towards fully digitised information exchange.     

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.     

CIMOSA modelling processes

Engineering, integrating and managing complex enterprises requires the understanding, and the ability to partition and simplify their operational complexity. Enterprise modelling supports these requirements by providing means for describing process oriented systems and decomposing those into manageable pieces. However, enterprise modelling requires both a common modelling language and a sufficient modelling methodology. The language provides for common understanding on enterprise models across the industrial community. Modelling methodologies will guide users through the rather complex enterprise modelling tasks. Depending on the skills and the tasks of the modelling person, different methodologies will be implemented in the supporting modelling tool. The paper presents both a methodology for the modelling expert and one for the business user. Whereas the modelling expert will be involved in creating new models, structuring the model contents and developing new modelling components, the business user will use process models for decision support. The latter therefore has a need to modify and adapt enterprise models to represent operational alternatives. A methodology for this type of work has to be based on menus. Menus which are created and maintained by the modelling expert. The business user will mostly work with existing process models. He will evaluate process alternatives and will implement the best solution as the new model of his tasks. This mode of operation will thereby provide for automatic update of the models and will keep the models in sync with the changing reality.     

Alliance of model-driven engineering with a proof-based formal approach

Model-driven engineering (MDE) promotes the use of models throughout the software development cycle in order to increase abstraction and reduce software complexity. It favors the definition of domain-specific modeling languages (DSMLs) thanks to frameworks dedicated to meta-modeling and code generation like EMF (Eclipse Modeling Framework). The standard semantics of meta-models allows interoperability between tools such as language analysers (e.g., XText), code generators (e.g., Acceleo), and also model transformation tools (e.g., ATL). However, a major limitation of MDE is the lack of formal reasoning tools allowing to ensure the correctness of models. Indeed, most of the verification activities offered by MDE tools are based on the verification of OCL constraints on instances of meta-models. However, these constraints mainly deal with structural properties of the model and often miss out its behavioral semantics. In this work, we propose to bridge the gap between MDE and the rigorous world of formal methods in order to guarantee the correctness of both structural and behavioral properties of the model. Our approach translates EMF meta-models into an equivalent formal B specification and then injects models into this specification. The equivalence between the resulting B specification and the original EMF model is kept by proven design steps leading to a rigorous MDE technique. The AtelierB prover is used to guarantee the correctness of the model’s behavior with respect to its invariant properties, and the ProB model-checker is used to animate underlying execution scenarios which are translated back to the initial EMF model. Besides the use of these automatic reasoning tools in MDE, proved B refinements are also investigated in this paper in order to gradually translate abstract EMF models to concrete models which can then be automatically compiled into a programming language.

     

Meta-modelling and graph grammars for multi-paradigm modelling in AToM<Superscript>3</Superscript>

This paper presents the combined use of meta-modelling and graph grammars for the generation of visual modelling tools for simulation formalisms. In meta-modelling, formalisms are described at a meta-level. This information is used by a meta-model processor to generate modelling tools for the described formalisms. We combine meta-modelling with graph grammars to extend the model manipulation capabilities of the generated modelling tools: edit, simulate, transform into another formalism, optimize and generate code. We store all (meta-)models as graphs, and thus, express model manipulations as graph grammars.We present the design and implementation of these concepts in AToM³ (A_To_ol for M_ulti-formalism, M_eta-M_odelling). AToM³ supports modelling of complex systems using different formalisms, all meta-modelled in their own right. Models in different formalisms may be transformed into a single common formalism for further processing. These transformations are specified by graph grammars. Mosterman and Vangheluwe [18] introduced the term multi-paradigm modelling to denote the combination of multiple formalisms, multiple abstraction levels, and meta-modelling. As an example of multi-paradigm modelling we present a meta-model for the Object-Oriented Continuous Simulation Language OOCSMP, in which we combine ideas from UML class diagrams (to express the OOCSMP model structure), Causal Block Diagrams (CBDs), and Statecharts (to specify the methods of the OOCSMP classes). A graph grammar is able to generate OOCSMP code, and then a compiler for this language (C-OOL) generates Java applets for the simulation execution.     

Multidisciplinary modelling of biomedical systems

This paper describes general principles and example results of a new software tool being developed for physiologically-based modelling of biomedical systems within a multidisciplinary framework. The aim is to overcome some limitations of currently available software designed either for general purpose or for highly specialised modelling applications. In fact, general purpose tools usually impose explicit coding of mathematical model equations or non-intuitive system representations, whereas specialised software use domain-specific notations that allow efficient and convenient model building only for special classes of systems. The aim of the present study is to pursue intuitive representation of various, possibly interacting, types of biological systems described as interconnected physical components, such as mass and energy storage elements, active and passive transport or biochemical transformations. The presented software generates automatically the mathematical model equations that can be coded in different formats. This allows interoperability with other existing software, e.g. for numerical simulation, symbolic analysis or text processing. A multi-domain structural language has been defined for an intuitive, hierarchical and self-explanatory specification of physiological models. The proposed strategies may become useful for dissemination and integration of multidisciplinary modelling knowledge.     

Using Meta-Modelling and Graph Grammars to Create Modelling Environments

This paper presents the combined use of meta-modelling and graph grammars for the generation of visual modelling tools for simulation formalisms. In meta-modelling, formalisms are described at a meta-level. This information is used by a meta-model processor to generate modelling tools for the described formalisms. We combine meta-modelling with graph grammars to extend the model manipulation capabilities of the generated modelling tools, as we store (meta-)models as graphs, and thus, express model manipulations as graph grammars.We show the design and implementation of these concepts in AToM³ (A Tool for Multi-formalism, Meta-Modelling). As an example we will present a meta-model for Causal Block Diagrams and a graph grammar to generate OOCSMP code, a continuous simulation language which has a compiler able to generate Java applets from the simulations models.     

CHEOPS: A tool-integration platform for chemical process modelling and simulation

A large number of modelling tools exist for the construction and solution of mathematical models of chemical processes. Each (chemical) process modelling tool provides its own model representation and model definition functions as well as its own solution algorithms, which are used for performing computer-aided studies for the process under consideration. However, in order to support reusability of existing models and to allow for the combined use of different modelling tools for the study of complex processes, model integration is needed. This paper presents a concept for an integration platform that allows for the integration of modelling tools, combining their models to build up a process model and performing computer-aided studies based on this integrated process model. In order to illustrate the concept without getting into complicated algorithmic issues, we focus on steady-state simulation using models comprising only algebraic equations. The concept is realized in the component-based integration platform CHEOPS, which focuses on integrating and solving existing models rather than providing its own modelling capabilities.     

Graph rewriting systems for the entity-relationship approach

Sequential graph rewriting systems are proposed as a meta-level formalism providing the concise and sound definition of different ER diagram languages. These rewriting systems can be used to define ER-based approaches for various DB modelling subtasks like schema design, evolution and integration. In addition, they are a natural choice for syntax directed ER CASE workbenches. In particular, by using specialized ER graph rewriting systems as meta input for CASE tools, the resulting tool behavior can be guided and controlled. Moreover, grammar driven modelling tools can be easily adapted for the needs of a particular enterprise or software factory without superimposing a particular ER dialect on the end users. Additional benefits result from the use of ER graph rewriting systems as a comparison framework for the continuously enlarging set of ER dialects.

The presentation includes material on the ER graph rewriting formalism, i.e., the actual tool, as well as an introduction to some formal graph rewriting prerequisites. An exemplary application, in particular ER graph generation, is used to clarify the underlying formal concepts.     

Code generation for a family of executable modelling notations

We are investigating semantically configurable model-driven engineering (MDE). The goal of this work is a modelling environment that supports flexible, configurable modelling notations, in which specifiers can configure the semantics of notations to suit their needs and yet still have access to the types of analysis tools and code generators normally associated with MDE. In this paper, we describe semantically configurable code generation for a family of behavioural modelling notations. The family includes variants of statecharts, process algebras, Petri Nets, and SDL88. The semantics of this family is defined using template semantics, which is a parameterized structured operational semantics in which parameters represent semantic variation points. A specific notation is derived by instantiating the family’s template semantics with parameter values that specify semantic choices. We have developed a code-generator generator (CGG) that creates a suitable Java code generator for a subset of derivable modelling notations. Our prototype CGG supports 26 semantics parameters, 89 parameter values, and 7 composition operators. As a result, we are able to produce code generators for a sizable family of modelling notations, though at present the performance of our generated code is about an order of magnitude slower than that produced by commercial-grade generators.     

A semi-quantitative modelling application for assessing energy efficiency strategies

Given the international efforts in tackling climate change as well as the potential dependence on conventional energy imports and the adverse economic environment, countries in the European Union face significant challenges in the critical task of enhancing energy efficiency. Approaches exclusively oriented on detailed quantitative modelling tools like energy system and climate-economy models, however, tend to exclude certain policy instruments and risks, and be too formalised or complex for policymakers to participate, understand and trust. Several decision support frameworks have been proposed for bridging the policy-model gap and helping policymakers confidently select among a number of alternative strategies. This paper employs the expert-driven method of fuzzy cognitive mapping, a semi-quantitative modelling technique in which system dynamics are captured and simulated against different scenarios. To this end, an innovative decision support tool for building and simulating complex fuzzy cognitive maps for assessing policy strategies with the help of experts, ESQAPE, is introduced and presented. An application in Greece shows that long-term energy efficiency measures focusing mainly on behavioural change in the residential sector – as opposed to services in the private and public sectors – are perceived to be more sustainable in a socio-economically optimistic future; this is not the case when challenges across the mitigation and adaptation axes are expected to be higher.     

Engineering model transformations with transML

Model transformation is one of the pillars of model-driven engineering (MDE). The increasing complexity of systems and modelling languages has dramatically raised the complexity and size of model transformations as well. Even though many transformation languages and tools have been proposed in the last few years, most of them are directed to the implementation phase of transformation development. In this way, even though transformations should be built using sound engineering principles—just like any other kind of software—there is currently a lack of cohesive support for the other phases of the transformation development, like requirements, analysis, design and testing. In this paper, we propose a unified family of languages to cover the life cycle of transformation development enabling the engineering of transformations. Moreover, following an MDE approach, we provide tools to partially automate the progressive refinement of models between the different phases and the generation of code for several transformation implementation languages.     

Emerging standards for component software

Component software benefits include reusability and interoperability, among others. What are the similarities and differences between the competing standards for this new technology, and how will they interoperate? Object-oriented technology is steadily gaining acceptance for commercial and custom application development through programming languages such as C++ and Smalltalk, object oriented CASE tools, databases, and operating systems such as Next Computer's NextStep. Two emerging technologies, called compound documents and component software, will likely accelerate the spread of objectoriented concepts across system-level services, development tools, and application-level behaviours. Tied closely to the popular client/server architecture for distributed computing, compound documents and component software define object-based models that facilitate interactions between independent programs. These new approaches promise to simplify the design and implementation of complex software applications and, equally important, simplify human-computer interactive work models for application end users. Following unfortunate tradition, major software vendors have developed competing standards to support and drive compound document and component software technologies. These incompatible standards specify distinct object models, data storage models, and application interaction protocols. The incompatibilities have generated confusion in the market, as independent software vendors, system integrators, in-house developers, and end users struggle to sort out the standards' relative merits, weaknesses, and chances for commercial success. Let's take a look now at the general technical concepts underlying compound documents and component software. Then we examine the OpenDoc, OLE 2, COM, and CORBA standards being proposed for these two technologies. Finally, we'll review the work being done to extend the standards and to achieve interoperability across them     

Integrated parametric multi-level information and numerical modelling of mechanised tunnelling projects

This paper presents a concept for parametric modelling of mechanized tunnelling within a state of the art design environment, as the basis for design assessments for different levels of details (LoDs). To this end, a parametric representation of each system component (soil with excavation, tunnel lining with grouting, Tunnel Boring Machine (TBM) and buildings) is developed in an information model for three LoDs (high, medium and low) and used for the automated generation of numerical models of the tunnel construction process and soil-structure interaction. The platform enables a flexible, user-friendly generation of the tunnel structure for arbitrary alignments based on predefined structural templates for each component, supporting the design process and at the same time providing an insight into the stability and safety of the design. This model, with selected optimal LoDs for each component, dependent on the objective of the analysis, is used for efficient design and process optimisation in mechanized tunnelling. Efficiency and accuracy are further demonstrated through an error-free exchange of information between Building Information Modelling (BIM) and the numerical simulation and with significantly reduced computational effort. The interoperability of the proposed multi-level framework is enabled through the use of an efficient multi-level representation context of the Industry Foundation Classes (IFC). The results reveal that this approach is a major step towards sensible modelling and numerical analysis of complex tunnelling project information at the early design stages.     

Mathematical modelling in science and mathematics education

Scientific research involves mathematical modelling in the context of an interactive balance between theory, experiment and computation. However, computational methods and tools are still far from being appropriately integrated in the high school and university curricula in science and mathematics. In this paper, it is discussed the relevance of mathematical modelling and illustrated how a computer modelling tool (Modellus, a free tool available on the Internet and developed at FCTUNL) can be used to embed modelling in high school and undergraduate courses. Modellus allows students to create and explore mathematical models using functions, differential and iterative equations, and visualize the behaviour of mathematical objects.