Robert Amor's pic

Robert Amor's Publications in 1995


PDF version is available Grundy, J.C., Mugridge, W.B., Hosking, J.G. and Amor, R.W. (1995) Support for Collaborative, Integrated Software Development, The 7th Conference on Software Engineering Environments (SEE'95), Noordwijkerhout, The Netherlands, 4-7 April, IEEE CS Press, pp 84-94.

Abstract: A new model for supporting collaborative software development with shared multiple textual and graphical views is presented. Multiple views of software development can be synchronously, semi-synchronously and asynchronously edited by different developers. View versions can be incrementally merged, and view updates broadcast to other developers and incrementally incorporated as required in their alternative versions. The model is illustrated by its use in a software development environment for an object-oriented language.

PDF version is available Amor, R., Augenbroe, G., Hosking, J., Rombouts, W. and Grundy, J. (1995) Directions in Modelling Environments, Automation in Construction, 4(3), pp 173-187.

Abstract: Schema definition is a vital component in the development of computerised A/E/C projects, but existing tools to manage this task are limited both in terms of the scope of problems they can tackle and their integration with each other. This paper describes a global modelling and development environment for large modelling projects. This environment provides a total solution from initial design of schemas through to validation, manipulation and navigation through final models. A major benefit of the described system is the ability to provide multiple views of evolving schemas (or models) in both graphical and textual forms. This allows modellers to visualise their schemas and instance models either textually or graphically as desired. The system automatically maintains the consistency of the information in these views even when modifications are made in other views. Simple and intuitive view navigation methods allow required information to be rapidly accessed. The environment supports strict checking of model instances and schemas in one of the major ISO-standardised modelling languages now used in product data technology. In this paper we show how such a modelling environment has been constructed for evaluation in the JOULE funded COMBINE project.

PDF version is available Amor, R.W. and Hosking, J.G. (1995) A Framework for the Integration of Design Tools, 2nd New Zealand Computer Science Research Students' Conference, Hamilton, New Zealand, 19-21 April, pp 1-8.

Abstract: The development of a system capable of integrating a range of design tools from a particular domain poses many problems. A framework for integrating design tools provides a structured approach to the problem and allows individual parts to be tackled independently. In this paper we detail a particular framework for integration and describe its individual components. A method for modelling and implementing each component is described showing how such an integrated system can be realised.

PDF version is available Amor, R.W., Hosking, J.G. and Mugridge, W.B. (1995) A Review of Computerised Standards Support in New Zealand, The International Journal of Construction Information Technology, 3(1), pp 35-54.

Abstract: The contributions made to the field of computerised standards checking by New Zealand institutions and the services offered by commercial providers are detailed in this paper. Historically the work has been research oriented, with collaborations between university and industry associations concentrating on requisite frameworks to support code compliance checkers. In more recent times commercial interest in the area has grown, leading to fully commercial products and services being offered to handle uniquely New Zealand standards. This is balanced with on-going research into frameworks for the integration of multiple compliance checkers through common models of buildings and systems.

PDF version is available Amor, R., Hosking, J. and Mugridge, W. (1995) A Declarative Approach to Inter-Schema Mappings, CIB W78 - TG10 Workshop on Modeling of Buildings through their Life-cycle, Stanford University, California, USA, 21-23 August, pp 223-232.

Abstract: The requirements for the specification of mappings between tools in an integrated and interactive design system are described in this paper. The declarative mapping language, VML, is introduced. VML allows a high level, bidirectional specification of mappings between two arbitrary schemas. To illustrate the utility of VML a demonstration system consisting of plan definition and code conformance tools is integrated via a common data model using VML mappings. The VML mappings are capable of handling both relational and object-oriented style schemas as well as interactive and batch style design tools. We illustrate the use of VML to specify correspondences between classes, conditional application of correspondences, different styles of equivalence, initialisation conditions as well as method handling for interactive systems.

PDF version is available Verhoef, M., Liebich, T. and Amor, R. (1995) A Multi-Paradigm Mapping Method Survey, CIB W78 - TG10 Workshop on Modeling of Buildings through their Life-cycle, Stanford University, California, USA, 21-23 August, pp 233-247 .

Abstract: Recent research into integrated engineering applications has shown that the definition of a shared product model only solves part of the data exchange problem. When product data models are taken from their modelling environment to be used in practice, integration problems occur due to the unavoidable semantic mismatch between the models, representing the different actors in the system. To solve this problem it is necessary to support multiple views on the application domain from within this integrated system. Futhermore, when an integrated system is developed, product models can not be treated as static and frozen but need to be adjusted frequently, requiring existing instances of the model to be migrated from one version to another. Hence, the mapping problem domain is identified. In the emerging field of mapping languages, many solutions are proposed by research and industry, all having merits and weaknesses. We present an overview and a brief comparison of several approaches in this field from the system-developer's perspective.

PDF version is available Amor, R. and Hosking, J. (1995) Mappings for Integrating Design Tools, Building Simulation '95, Fourth International Conference Proceedings, Madison, Wisconsin, USA, 14-16 August, pp 634-639.

Abstract:The ability to integrate a range of disparate design tools has been an area of intense research throughout the world. One of the hardest tasks in this research has been to define the correspondences between the model of a building used by a design tool and the integrated data model. This paper presents a method of defining mappings between different models of a building. The implementation of a mapping management system which controls the flow of data between the various models and guarantees the consistency of the models is also described.

Amor, R., Hosking, J. and Mugridge, R. (1995) Integrated Building Design Research at Auckland University, Build, August/September, pp 26-29.

Abstract:

PDF version is available Hosking, J., Mugridge, W., Amor, R. and Grundy, J. (1995) Keeping Things Consistent, New Zealand Journal of Computing, 6(1B), August, pp. 353-362.

Abstract: In many applications there is a need to keep shared or related information consistent. For example in a CADrafting package it is necessary to keep views of an artifact from different perspectives consistent with one another. In software development environments there is a need to keep diagrammatic views, such as OO analysis diagrams, consistent with correpsonding textual code. In this paper we describe a number of techniques we have developed to solve consistency problems in a wide variety of application domains. These techniques include uni- and bi-directional constraints, propagation of discrete change descriptions, and transaction based version merging.

Liebich, T., Amor, R. and Verhoef, M. (1995) A Comparison of Mapping Methods Available Within the Product Modeling Arena, the 5th Annual EXPRESS User Group International Conference, Grenoble, France, 21-22 October.

Abstract: In many applications there is a need to keep shared or related information consistent. For example, in a CADrafting package it is necessary to keep views of an artefact from different perspectives consistent with one another. In software development environments there is a need to keep diagrammatic views, such as OO analysis diagrams, consistent with corresponding textual code. In this paper, we describe a number of techniques we have developed to solve consistency problems in a wide variety of application domains. These techniques include uni- and bi-directional constraints, propagation of discrete change descriptions, and transaction based version merging.

Hosking, J.G., Mugridge, W.B. and Amor, R.W. (1995) An Integrated Building Design Environment, Auckland UniServices Ltd, Auckland, New Zealand, Ref. 4376.02, June, 16p.

Abstract: We describe the integration of several building design tools to an integrated building model using a declarative mapping language. Runtime support for this mapping language allows either incremental or aggregated changes to a local tool view of a building model instance to be propagated to the integrated model instance and then to other affected tool views. The declarative approach taken to mapping specification leads to much more succinct and maintainable mappings than is the case with more conventional procedural approaches to mapping implementation.

Robert Amor- Email: trebor@cs.auckland.ac.nz