Designing precise and flexible graphical modelling languages for software development

Model-driven approaches to software development involve building computerized models of software and the environment in which it is intended to operate. This thesis offers a selection of the author’s work over the last three decades that addresses the design of precise and flexible graphical modelling languages for use in model-driven software development. The primary contributions of this work are: • Syntropy: the first published object-oriented analysis and design (OOAD) method to fully integrate formal and graphical modelling techniques. • The creation of the Object Constraint Language (OCL) and its integration into the Unified Modeling Language (UML) specification. • The identification of requirements and mechanisms for increasing the flexibility of the UML specification. • The design and implementation of tools for implementing graphical Domain Specific Languages (DSLs). The starting point was the author’s experience with formal specification techniques contrasted with the lack of precision of published object-oriented analysis and design methods. This led to a desire to fully integrate these two topics – formal specification and object-orientation - into a coherent discipline. The Syntropy approach, created in 1994 by this author and John Daniels, was the first published complete attempt to do this. Much of the author’s subsequent published work concerns the Unified Modeling Language (UML). UML represented a welcome unification of earlier OOAD approaches, but suffered badly from inflexibility and lack of precision. A significant part of the work included in this thesis addresses the drawbacks of the UML and proposes improvements to the precision of its definition, including through the invention of Object Constraint Language (OCL) and its incorporation into the UML specification, and the consideration of UML as source material for the definition of Domain Specific Languages (DSLs). Several of the author’s published works in this thesis concern mechanisms for the creation of DSLs, both within a UML framework and separately

Applying Model-Driven Paradigm for the Improvement of Web Requirement Validation

This paper proposes an approach for Web requirements validation by applying the model-driven paradigm in classical requirements validation techniques. In particular, we present how the Navigational Development Techniques (NDT) approach exploits the model-driven paradigm to improve its requirements validation task by exploring tool cases that systematize or even automate the application of requirements validation techniques. Our solution is validated by applying it in a real industrial environment. The results and the learned lessons are presented accordingly

Innovating the Construction Life Cycle through BIM/GIS Integration: A Review

The construction sector is in continuous evolution due to the digitalisation and integration into daily activities of the building information modelling approach and methods that impact on the overall life cycle. This study investigates the topic of BIM/GIS integration with the adoption of ontologies and metamodels, providing a critical analysis of the existing literature. Ontologies and metamodels share several similarities and could be combined for potential solutions to address BIM/GIS integration for complex tasks, such as asset management, where heterogeneous sources of data are involved. The research adopts a systematic literature review (SLR), providing a formal approach to retrieve scientific papers from dedicated online databases. The results found are then analysed, in order to describe the state of the art and suggest future research paths, which is useful for both researchers and practitioners. From the SLR, it emerged that several studies address ontologies as a promising way to overcome the semantic barriers of the BIM/GIS integration. On the other hand, metamodels (and MDE and MDA approaches, in general) are rarely found in relation to the integration topic. Moreover, the joint application of ontologies and metamodels for BIM/GIS applications is an unexplored field. The novelty of this work is the proposal of the joint application of ontologies and metamodels to perform BIM/GIS integration, for the development of software and systems for asset management

Ontology-style web usage model for semantic Web applications

Current semantic recommender systems aim to exploit the website ontologies to produce valuable web recommendations. However, Web usage knowledge for recommendation is presented separately and differently from the domain ontology, this leads to the complexity of using inconsistent knowledge resources. This paper aims to solve this problem by proposing a novel ontology-style model of Web usage to represent the non-taxonomic visiting relationship among the visited pages. The output of this model is an ontology-style document which enables the discovered web usage knowledge to be sharable and machine-understandable in semantic Web applications, such as recommender systems. A case study is presented to show how this model is used in conjunction of the web usage mining and web recommendation. Two real-world datasets are used in the case study. © 2010 IEEE