Using multiple representations within a viewpoint

There are many different types of information to be considered when designing an information system, and a wide variety of modelling approaches and notations (or representations) have been developed to describe these different types of information. Some types of information are better expressed by some representations than others, so it is sensible to use multiple representations to describe a real-world phenomenon. Reconciling and integrating descriptions expressed using different representations is therefore an important part of the design process. The objective of this research is to aid this reconciliation and integration within the context of information systems design. That is, to facilitate the use of multiple modelling representations for describing a phenomenon. To achieve this objective, the author has chosen an approach based upon translating descriptions of a phenomenon between different representations. This thesis provides several important contributions in the area of information system design using multiple representations. Related work in the area is reviewed, and from this review is derived a terminology based on viewpoint-oriented methods that provides a consistent framework for the discussion of multiple representations. Previous research into the use of multiple representations has focused on semantic data models. This is extended in this thesis to include diverse modelling representations such as functional dependencies and data flow modelling. The process of translating between different representations is explored in depth, and several important issues identified. Translations are defined by a collection of rules that specify the mappings between constructs of representations. An abstract notation is developed for expressing these translations, and an extended version of Amor’s (1997) View Mapping Language is defined for the purpose of building detailed rule specifications. Heuristics and enrichment are proposed as two methods of improving the quality of translations. A measure for determining the relative quality of translations is developed to show that heuristics do indeed enhance translation quality. In addition, a method is developed for using translations to highlight potential design inconsistencies by translating descriptions expressed using different representations into the same form and comparing them.UnpublishedAbiteboul, S. and Hull, R. (1987). IFO: A formal semantic database model, ACM Transactions on Database Systems 12(4): 525–565. Altmann, R., Hawke, A. and Marlin, C. (1988). An integrated programming environment based on multiple concurrent views, Australian Journal of Computing 20(2): 65–72. Amor, R. W. (1997). A Generalised Framework for the Design and Construction of Integrated Design Systems, PhD thesis, Department of Computer Science, University of Auckland, Auckland, New Zealand. URL: ftp://helios.bre.co.uk/pub/ra_phd/ Amor, R. W. (1998). Personal communication. Amor, R. W., Augenbroe, G., Hosking, J., Rombouts, W. and Grundy, J. (1995). Directions in modelling environments, Automation in Construction 4: 173–187. URL: http://www.cs.auckland.ac.nz/∼john-g/papers/a_in_c95.ps.gz Armstrong, W. (1974). Dependency structures of data base relationships, in J. L. Rosenfeld (ed.), IFIP Congress ’74 (Information Processing ’74), North-Holland, Stockholm, Sweden, pp. 580–583. Atzeni, P. and Torlone, R. (1993). A metamodel approach for the management of multiple models and the translation of schemes, Information Systems 18(6): 349–362. Atzeni, P. and Torlone, R. (1995). Schema translation between heterogeneous data models in a lattice framework, in R. Meersman and L. Mark (eds), Database Applications Semantics, Sixth IFIP TC-2 Working Conference on Data Semantics (DS-6), IFIP, Chapman & Hall, London, Stone Mountain, Atlanta, Georgia, USA, pp. 345–361. URL: http://www.dia.uniroma3.it/∼atzeni/psfiles/ifip.ps.gz Atzeni, P. and Torlone, R. (1996a). Management of multiple models in an extensible database design tool, in P. Apers, M. Bouzeghoub and G. Gardarin (eds), Fifth International Conference on Extending Database Technology (EDBT’96), Vol. 1057 of Lecture Notes in Computer Science, Springer-Verlag, Avignon, France, pp. 79–95. URL: http://www.dia.uniroma3.it/∼atzeni/psfiles/edbt96.ps.gz Atzeni, P. and Torlone, R. (1996c). MDM: A multiple-data-model tool for the management of heterogeneous database schemes, part I, Handout material for the TMR Seminar on Metamodeling, Paris, France. URL: http://www.dia.uniroma3.it/∼atzeni/psfiles/parigi1.ps.gz Atzeni, P. and Torlone, R. (1996b). MDM: A multiple-data-model tool for the management of heterogeneous database schemes, part II, Handout material for the TMR Seminar on Metamodeling, Paris, France. URL: http://www.dia.uniroma3.it/∼atzeni/psfiles/parigi2.ps.gz Atzeni, P. and Torlone, R. (1997). MDM: A multiple-data-model tool for the management of heterogeneous database schemes, in J. M. Peckman (ed.), SIGMOD 1997 International Conference on the Management of Data, ACM, ACM Press, Tucson, Arizona, pp. 528–531. URL: http://www.dia.uniroma3.it/∼atzeni/psfiles/sigmodPreprint.ps.gz Batini, C., Ceri, S. and Navathe, S. B. (1992). Conceptual Database Design: An Entity-Relationship Approach, Benjamin/Cummings, Redwood City, California. Batini, C., Furlani, L. and Nardelli, E. (1985). What is a good diagram? A pragmatic approach, in P. P. Chen (ed.), Fourth International Conference on the Entity-Relationship Approach, IEEE Computer Society Press/North Holland, Chicago, Illinois, pp. 312–319. Batini, C. and Lenzerini, M. (1984). A methodology for data schema integration in the entity relationship model, IEEE Transactions on Software Engineering SE-10(6): 650–663. Batini, C., Lenzerini, M. and Navathe, S. (1986). A comparative analysis of methodologies for database schema integration, ACM Computing Surveys 18(4): 323–364. Batra, D. and Antony, S. R. (1994). Effects of data model and task characteristics on designer performance: A laboratory study, International Journal of Human-Computer Studies 41: 481–508. Batra, D. and Srinivasan, A. (1992). A review and analysis of the usability of data management environments, International Journal of Man-Machine Studies 36: 395–417. Beeri, C., Fagin, R. and Howard, J. H. (1977). A complete axiomatization for functional and multivalued dependencies in database relations, in D. C. Smith (ed.), 1977 ACM SIGMOD International Conference on Management of Data, ACM, New York, Toronto, Canada, pp. 47–61. Borowski, E. and Borwein, J. (1989). Dictionary of Mathematics, Collins, Glasgow. Brien, S. M. and Nicholls, J. E. (1992). Z base standard, Technical Monograph PRG-107, Oxford University Computing Laboratory, Oxford, UK. URL: ftp://ftp.comlab.ox.ac.uk/pub/Zforum/zstandard1.0.ps.Z; ftp://ftp.comlab.ox.ac.uk/pub/Zforum/zstandard-annex1.0.ps.Z Brooks, F. P. (1975). The Mythical Man-Month: Essays on Software Engineering, Addison-Wesley, Reading, Massachusetts. Brown, M. H. (1992). Zeus: A system for algorithm animation and multi-view editing, Research Report 75, Digital Equipment Corporation, Systems Research Center, Palo Alto, California. URL: ftp://ftp.digital.com/pub/DEC/SRC/research-reports/SRC-075.pdf Campbell, D. (1992). Entity-relationship modeling: One style suits all?, DATABASE 23(3): 12–18. Cattell, R. (1991). Object Data Management, Addison-Wesley, Reading, Massachusetts. Cattell, R., Barry, D. K. and Bartels, D. (1997). The Object Database Standard: ODMG 2.0, Morgan Kaufmann Series in Data Management Systems, Morgan Kaufmann, Los Altos, California. CDIF Technical Committee (1994a). CASE Data Interchange Format — Overview, EIA Interim Standard EIA/IS-106, Electronic Industries Association, Arlington, Virginia. CDIF Technical Committee (1994b). CDIF framework for modeling and extensibility, EIA Interim Standard EIA/IS-107, Electronic Industries Association, Arlington, Virginia. CDIF Technical Committee (1994c). CDIF integrated meta-model: Foundation subject area, EIA Interim Standard EIA/IS-111, Electronic Industries Association, Arlington, Virginia. CDIF Technical Committee (1995a). CDIF integrated meta-model: Common subject area, EIA Interim Standard EIA/IS-112, Electronic Industries Association, Arlington, Virginia. CDIF Technical Committee (1995b). CDIF integrated meta-model: Data flow model subject area, EIA Interim Standard EIA/IS-115, Electronic Industries Association, Arlington, Virginia. CDIF Technical Committee (1996a). CDIF integrated meta-model: Data modeling subject area, EIA Interim Standard EIA/IS-114, Electronic Industries Association, Arlington, Virginia. CDIF Technical Committee (1996b). CDIF integrated meta-model: State/event model subject area, CDIF Draft STEV-V8, Electronic Industries Association, Arlington, Virginia. Checkland, P. (1981). Systems Thinking, Systems Practice, John Wiley & Sons, Chichester, England. Chen, P. P.-S. (1976). The entity-relationship model — Toward a unified view of data, ACM Transactions on Database Systems 1(1). Chen, P. P.-S. (1977). The Entity-Relationship Approach to Logical Database Design, number 6 in The Q.E.D. Monograph Series, Q.E.D. Information Sciences, Inc., Wellesley, Massachusetts. Chomsky, N. (1978). Syntactic Structures, Peter Lang Publishing. Cimikowski, R. and Shope, P. (1996). A neural-network algorithm for a graph layout problem, IEEE Transactions on Neural Networks 7(2): 341–345. Clapham, C. (1990). The Concise Oxford Dictionary of Mathematics, Oxford University Press, Oxford, UK. Clark, S. (1992). Transformr: A prototype STEP exchange file migration tool, National PDES Testbed Report Series NISTIR 4944, U.S. Department of Commerce, National Institute of Standards and Technology, Washington, D.C. Codd, E. (1970). A relational model of data for large shared data banks, Communications of the ACM 13(6). Codd, E. (1972a). Further normalization of the data base relational model, in R. Rustin (ed.), Data Base Systems, Courant Computer Science Symposia Series 6, Prentice-Hall, Englewood Cliffs, New Jersey, pp. 33–64. Codd, E. (1972b). Relational completeness of data base sublanguages, in R. Rustin (ed.), Data Base Systems, Courant Computer Science Symposia Series 6, Prentice-Hall, Englewood Cliffs, New Jersey, pp. 65–98. Codd, E. (1979). Extending the database relational model to capture more meaning, ACM Transactions on Database Systems 4(4). Codd, E. (1988a). Fatal flaws in SQL, part one, Datamation (August 15): 45–48. Codd, E. (1988b). Fatal flaws in SQL, part two, Datamation (September 1): 71–74. Codd, E. (1990). The Relational Model for Database Management Version 2, Addison-Wesley, Reading, Massachusetts. Coleman, M. and Parker, D. (1996). Aesthetics-based graph layout for human consumption, Software — Practice and Experience 26(12): 1415–1438. Cooper, R. (1991). Configurable data modelling systems, in H. Kangassalo (ed.), Ninth International Conference on the Entity-Relationship Approach, Elsevier Science Publishing Company, Lausanne, Switzerland, pp. 57–74. Darke, P. and Shanks, G. (1994). Viewpoint developments for requirements definition: An analysis of concepts, issues and approaches, Working Paper 21/94, Department of Information Systems, Monash University, Melbourne, Australia. Darke, P. and Shanks, G. (1995a). Understanding stakeholder viewpoints in requirements definition: A framework for viewpoint development, Working Paper 37/95, Department of Information Systems, Monash University, Melbourne, Australia. Darke, P. and Shanks, G. (1995b). Viewpoint development for requirements definition: Towards a conceptual framework, Sixth Australasian Conference on Information Systems (ACIS’95), Perth, Australia, pp. 277–288. Darke, P. and Shanks, G. (1996). Stakeholder viewpoints in requirements definition: A framework for understanding viewpoint development approaches, Requirements Engineering 1: 88–105. Darke, P. and Shanks, G. (1997a). Managing user viewpoints in requirements definition, Eighth Australasian Conference on Information Systems (ACIS ’97), Adelaide, Australia, pp. 495–508. Darke, P. and Shanks, G. (1997b). User viewpoint modelling: Understanding and representing user viewpoints during requirements definition, Information Systems Journal 7: 213–239. Date, C. (1990a). EXISTS is not “exists”! (some logical flaws in SQL), in C. Date (ed.), Relational Database Writings, 1985–1989, Addison-Wesley, Reading, Massachusetts, chapter 13, pp. 339–356. Date, C. (1990b). What’s wrong with SQL?, in C. Date (ed.), Relational Database Writings, 1985–1989, Addison-Wesley, Reading, Massachusetts, chapter 12, pp. 325–337. Date, C. (1995). An Introduction to Database Systems, sixth edn, Addison-Wesley, Reading, Massachusetts. Date, C. and Darwen, H. (1993). A Guide to the SQL Standard, third edn, Addison-Wesley, Reading, Massachusetts. DiBattista, G., Garg, A., Liotta, G., Tamassia, R., Tassinari, E. and Vargiu, F. (1997). An experimental comparison of four graph drawing algorithms, Computational Geometry — Theory and Applications 7(5–6): 202–325. Diestel, R. (1997). Graph Theory, Graduate Texts in Mathematics, Springer-Verlag, New York. Duke, R., King, P., Rose, G. and Smith, G. (1991). The Object-Z specification language version 1, Technical report TR 91-1, Software Verification Research Centre, University of Queensland, Brisbane, Australia. Easterbrook, S. M. (1991a). Elicitation of Requirements from Multiple Perspectives, PhD thesis, Imperial College of Science Technology and Medicine, University of London, London. URL: http://www.csee.wvu.edu/∼easterbr/papers/1991/thesis.pdf Easterbrook, S. M. (1991b). Handling conflict between domain descriptions with computer supported negotiation, Knowledge Acquisition: An International Journal 3(4): 255–289. URL: ftp://ftp.cogs.susx.ac.uk/pub/reports/csrp/csrp202.ps.Z Easterbrook, S. M., Finkelstein, A. C. W., Kramer, J. and Nuseibeh, B. A. (1994). Coordinating distributed ViewPoints: The anatomy of a consistency check, Journal of Concurrent Engineering: Research and Applications 2(3). URL: ftp://ftp.cogs.susx.ac.uk/pub/reports/csrp/csrp333.ps.Z; ftp://dse.doc.ic.ac.uk/dse-papers/viewpoints/cera.ps.Z; http://www.csee.wvu.edu/∼easterbr/papers/1994/csrp333.pdf Easterbrook, S. M. and Nuseibeh, B. A. (1995). Managing inconsistencies in an evolving specification, Second IEEE International Symposium on Requirements Engineering (RE’95), York, UK, pp. 48–55. URL: ftp://ftp.cogs.susx.ac.uk/pub/reports/csrp/csrp358.ps.Z; ftp://dse.doc.ic.ac.uk/dse-papers/viewpoints/re95.ps.Z; http://www.csee.wvu.edu/∼easterbr/papers/1995/csrp358.pdf Easterbrook, S. M. and Nuseibeh, B. A. (1996). Using ViewPoints for inconsistency management, Software Engineering Journal 11(1): 31–43. URL: http://www.csee.wvu.edu/∼easterbr/papers/1996/NASA-IVV-95-002.pdf; ftp://dse.doc.ic.ac.uk/dse-papers/viewpoints/sej95.ps.gz Eastman, C., Jeng, T.-S., Assal, H., Cho, M. and Chase, S. (1995). EDM-2 Reference Manual, Center for Design and Communication, UCLA, Los Angeles, USA. Elmasri, R. and Navathe, S. B. (1994). Fundamentals of Database Systems, second edn, Benjamin/Cummings, Redwood City, California. Ernst, J. (1997). Introduction to CDIF, Technical report, Electronic Industries Association, CDIF Technical Group. URL: http://www.eigroup.org/cdif/intro.html Evergreen Software Tools (1995a). EasyCASE® Database Engineer™ User’s Guide, v4.2, Evergreen Software Tools, Inc., Redmond, Washington. Evergreen Software Tools (1995b). EasyCASE® Methodology Guide, v4.2, Evergreen Software Tools, Inc., Redmond, Washington. Evergreen Software Tools (1995c). EasyCASE® User’s Guide, v4.2, Evergreen Software Tools, Inc., Redmond, Washington. Finkelstein, A., Goedicke, M., Kramer, J. and Niskier, C. (1989). ViewPoint oriented software development: Methods and viewpoints in requirements engineering, in J. Bergstra and L. Feijs (eds), Second Meteor Workshop on Methods for Formal Specification, Vol. 490 of Lecture Notes in Computer Science, Springer-Verlag, Mierlo, The Netherlands, pp. 29–54. Finkelstein, A. and Sommerville, I. (1996). The viewpoints FAQ, Software Engineering Journal 11(1): 2–4. URL: ftp://cs.ucl.ac.uk/acwf/papers/viewfaq.ps.gz Flanagan, D. (1997). Java in a Nutshell, The Java Series, second edn, O’Reilly, Sebastopol, California. Fosnight, E. and van Roessel, J. (1985). Vector data interfacing at the EROS Data Center; RIM to ARC/INFO and related interfaces, Technical report, EROS Data Center, Sioux Falls, South Dakota. Gallaire, H. and Minker, J. (1978). Logic and Data Bases, Plenum, New York. Gane, C. and Sarson, T. (1979). Structured Systems Analysis: Tools and Techniques, Prentice-Hall Software Series, Prentice-Hall, Englewood Cliffs, New Jersey. Gawkowski, J. A. and Mamrak, S. (1992). Toward a universal framework for data translation, Technical report OSU-CISRC-11/92-TR31, Computer and Information Science Research Center, The Ohio State University, Columbus, Ohio. URL: ftp://ftp.cis.ohio-state.edu/pub/tech-report/1992/TR31.ps.gz Genesereth, M. and Fikes, R. (1992). Knowledge Interchange Format Version 3.0 Reference Manual, Computer Science Department, Stanford University, Stanford, California. Gosling, J. and McGilton, H. (1996). The Java language environment, White paper, Sun Microsystems, Inc., Palo Alto, California. URL: ftp://ftp.javasoft.com/docs/papers/langenviron-pdf.zip Greenspan, S., Mylopoulos, J. and Borgida, A. (1994). On formal requirements modeling languages: RML revisited, in B. Fadini (ed.), Sixteenth International Conference on Software Engineering, IEEE Computer Society Press, Sorrento, Italy, pp. 135–148. Groff, J. R. and Weinberg, P. N. (1994). LAN Times Guide to SQL, Osborne McGraw-Hill, Berkeley, California. Grundy, J. C. (1993). Multiple Textual and Graphical Views for Interactive Software Development Environments, PhD thesis, Department of Computer Science, University of Auckland, Auckland, New Zealand. URL: http://www.cs.auckland.ac.nz/∼john-g/papers/MViews_thesis.ps.gz Grundy, J. C. (1998). Personal communication. Grundy, J. C. and Hosking, J. G. (1993a). Constructing multi-view editing environments using MViews, 1993 IEEE Symposium on Visual Languages, IEEE CS Press, Bergen, Norway, pp. 220–224. URL: http://www.cs.auckland.ac.nz/∼john-g/papers/vl93.ps.gz Grundy, J. C. and Hosking, J. G. (1993b). The MViews framework for constructing multi-view editing environments, New Zealand Journal of Computing 4(2): 31–40. URL: http://www.cs.auckland.ac.nz/∼john-g/papers/nzjc93.ps.gz Grundy, J. C. and Hosking, J. G. (1994). Constructing integrated software development environments with dependency graphs, Working Paper 94/4, Department of Computer Science, University of Waikato, Hamilton, New Zealand. URL: http://www.cs.auckland.ac.nz/∼john-g/papers/MViews.ps.gz Grundy, J. C. and Hosking, J. G. (1995). Software environment support for integrated formal program specification and development, 1995 Asia-Pacific Software Engineering Conference (APSEC’95), IEEE CS Press, Brisbane, Australia, pp. 264–273. URL: http://www.cs.auckland.ac.nz/∼john-g/papers/apsec95.ps.gz Grundy, J. C. and Hosking, J. G. (1996). Keeping free-edited textual and graphical views of information consistent, Working Paper 96/4, Department of Computer Science, University of Waikato, Hamilton, New Zealand. URL: http://www.cs.auckland.ac.nz/∼john-g/papers/inconsistency.ps.gz Grundy, J. C. and Hosking, J. G. (1997). Constructing integrated software development environments with MViews, International Journal of Applied Software Technology 2(3/4): 133–160. Grundy, J. C., Hosking, J. G. and Mugridge, W. B. (1996). Supporting flexible consistency management via discrete change description propagation, Software — Practice and Experience 26(9): 1053–1083. URL: http://www.cs.auckland.ac.nz/∼john-g/papers/spe96.ps.gz Grundy, J. C., Mugridge, W. B. and Hosking, J. G. (1997a). Utilising past event histories in a process-centred software engineering environment, 1997 Australian Software Engineering Conference, IEEE CS Press, Sydney, Australia, pp. 127–136. URL: http://www.cs.auckland.ac.nz/∼john-g/papers/aswec97.ps.gz Grundy, J. C., Mugridge, W. B. and Hosking, J. G. (1997b). A visual, Java-based componentware environment for constructing multi-view editing systems, Second Component Users’ Conference (CUC’97), SIGS Books, Munich. URL: http://www.cs.auckland.ac.nz/∼john-g/papers/cuc97.ps.gz Grundy, J. C. and Venable, J. R. (1994). Providing integrated support for multiple development notations, Working paper 94/17, Department of Computer Science, University of Waikato, Hamilton, New Zealand. Grundy, J. C. and Venable, J. R. (1995a). Developing CASE tools which support integrated development notations, Sixth Workshop on the Next Generation of CASE Tools (NGCT’95), Finland. URL: http://www.cs.auckland.ac.nz/∼john-g/papers/ngct95.ps.gz Grundy, J. C. and Venable, J. R. (1995b). Providing integrated support for multiple development notations, Seventh Conference on Advanced Information Systems Engineering (CAiSE’95), Vol. 932 of Lecture Notes in Computer Science, Springer-Verlag, Finland, pp. 255–268. URL: http://www.cs.auckland.ac.nz/∼john-g/papers/caise95.ps.gz Grundy, J. C. and Venable, J. R. (1996). Towards an integrated environment for method engineering, Method Engineering ’96: IFIP WG 8.1/8.2 Working Conference on Principles of Method Construction and Tool Support, McGraw-Hill, Atlanta. URL: http://w