Automatic Verification of Transactions on an Object-Oriented Database

In the context of the object-oriented data model, a compiletime approach is given that provides for a significant reduction of the amount of run-time transaction overhead due to integrity constraint checking. The higher-order logic Isabelle theorem prover is used to automatically prove which constraints might, or might not be violated by a given transaction in a manner analogous to the one used by Sheard and Stemple (1989) for the relational data model. A prototype transaction verification tool has been implemented, which automates the semantic mappings and generates proof goals for Isabelle. Test results are discussed to illustrate the effectiveness of our approach

Tracking decision-making during architectural design

There is a powerful cocktail of circumstances governing the way decisions are made during the architectural design process of a building project. There is considerable potential for misunderstandings, inappropriate changes, change which give rise to unforeseen difficulties, decisions which are not notified to all interested parties, and many other similar problems. The paper presents research conducted within the frame of the EPSRC funded ADS project aiming at addressing the problems linked with the evolution and changing environment of project information to support better decision-making. The paper presents the conceptual framework as well as the software environment that has been developed to support decision-making during building projects, and reports on work carried out on the application of the approach to the architectural design stage. This decision-tracking environment has been evaluated and validated by professionals and practitioners from industry using several instruments as described in the paper

Plug & Test at System Level via Testable TLM Primitives

With the evolution of Electronic System Level (ESL) design methodologies, we are experiencing an extensive use of Transaction-Level Modeling (TLM). TLM is a high-level approach to modeling digital systems where details of the communication among modules are separated from the those of the implementation of functional units. This paper represents a first step toward the automatic insertion of testing capabilities at the transaction level by definition of testable TLM primitives. The use of testable TLM primitives should help designers to easily get testable transaction level descriptions implementing what we call a "Plug & Test" design methodology. The proposed approach is intended to work both with hardware and software implementations. In particular, in this paper we will focus on the design of a testable FIFO communication channel to show how designers are given the freedom of trading-off complexity, testability levels, and cos

Landscape for children to play and learn: A conceptual framework

Play and movement are at the very center of young children’s lives. Allowing the children to experience the natural and man-made elements in their living environments would generate cognitive, physical and social skills and developments. Children do not discriminate between playing and learning; to them both activities are attained in same time and space. To them natural forces such as rain and wind, natural features such as vegetation, animals and landform, and man-made elements such as building and road are ubiquitous elements in their living environments. Through play with the elements they learn to perceive their benefits or adversities. They learn through three modes of learning which are cognitive, affective and evaluative from the landscapes, either natural or nurtured. Such involvement would generate physiological and psychological well-being to them. This paper explains a conceptual framework on landscape for children to play and learn in direct mean rather than vicarious way. The landscape is described as an ecological dynamic entity that develops the cognitive, physical and social functioning of the children. In conclusion, it is important to design and develop landscapes for children that stimulate their senses, provide feedbacks and afford functional meanings to their cognitive, social and physical skills

Death masks and professional masks: community, values and ethics in legal education

This article is a case-study of simulation as a way of learning values and ethics, an approach implemented curriculum-wide within a postgraduate, professional legal educational programme, the Diploma in Professional Legal Practice, in Scotland. It involves learning face-to-face using conventional print resources, and also involves online digital resources. While the use of the web to simulate a professional environment is nothing new in itself, the implementation of it (first in the Glasgow Graduate School of Law and then Strathclyde Law School) and on this scale is fairly unique. The article explores the genesis of this approach, its interdisciplinary bases, and its use in various law schools, its effects in building learning communities and facilitating ethical self-revelation

Proceedings of the ECSCW'95 Workshop on the Role of Version Control in CSCW Applications

The workshop entitled "The Role of Version Control in Computer Supported Cooperative Work Applications" was held on September 10, 1995 in Stockholm, Sweden in conjunction with the ECSCW'95 conference. Version control, the ability to manage relationships between successive instances of artifacts, organize those instances into meaningful structures, and support navigation and other operations on those structures, is an important problem in CSCW applications. It has long been recognized as a critical issue for inherently cooperative tasks such as software engineering, technical documentation, and authoring. The primary challenge for versioning in these areas is to support opportunistic, open-ended design processes requiring the preservation of historical perspectives in the design process, the reuse of previous designs, and the exploitation of alternative designs. The primary goal of this workshop was to bring together a diverse group of individuals interested in examining the role of versioning in Computer Supported Cooperative Work. Participation was encouraged from members of the research community currently investigating the versioning process in CSCW as well as application designers and developers who are familiar with the real-world requirements for versioning in CSCW. Both groups were represented at the workshop resulting in an exchange of ideas and information that helped to familiarize developers with the most recent research results in the area, and to provide researchers with an updated view of the needs and challenges faced by application developers. In preparing for this workshop, the organizers were able to build upon the results of their previous one entitled "The Workshop on Versioning in Hypertext" held in conjunction with the ECHT'94 conference. The following section of this report contains a summary in which the workshop organizers report the major results of the workshop. The summary is followed by a section that contains the position papers that were accepted to the workshop. The position papers provide more detailed information describing recent research efforts of the workshop participants as well as current challenges that are being encountered in the development of CSCW applications. A list of workshop participants is provided at the end of the report. The organizers would like to thank all of the participants for their contributions which were, of course, vital to the success of the workshop. We would also like to thank the ECSCW'95 conference organizers for providing a forum in which this workshop was possible

Design and semantics of form and movement (DeSForM 2006)

Design and Semantics of Form and Movement (DeSForM) grew from applied research exploring emerging design methods and practices to support new generation product and interface design. The products and interfaces are concerned with: the context of ubiquitous computing and ambient technologies and the need for greater empathy in the pre-programmed behaviour of the ‘machines’ that populate our lives. Such explorative research in the CfDR has been led by Young, supported by Kyffin, Visiting Professor from Philips Design and sponsored by Philips Design over a period of four years (research funding £87k). DeSForM1 was the first of a series of three conferences that enable the presentation and debate of international work within this field: • 1st European conference on Design and Semantics of Form and Movement (DeSForM1), Baltic, Gateshead, 2005, Feijs L., Kyffin S. & Young R.A. eds. • 2nd European conference on Design and Semantics of Form and Movement (DeSForM2), Evoluon, Eindhoven, 2006, Feijs L., Kyffin S. & Young R.A. eds. • 3rd European conference on Design and Semantics of Form and Movement (DeSForM3), New Design School Building, Newcastle, 2007, Feijs L., Kyffin S. & Young R.A. eds. Philips sponsorship of practice-based enquiry led to research by three teams of research students over three years and on-going sponsorship of research through the Northumbria University Design and Innovation Laboratory (nuDIL). Young has been invited on the steering panel of the UK Thinking Digital Conference concerning the latest developments in digital and media technologies. Informed by this research is the work of PhD student Yukie Nakano who examines new technologies in relation to eco-design textiles

The Instrumental Genesis of Collective Activity. The Case of an ERP Implementation in a Large Electricity Producer

Collective activity should be a focal subject to study organizational dynamics, particularly in relation with the implementation of management systems such as ERPs. Collective activity is analyzed here as an ongoing dialogical construction by actors. It is always mediated by signs and particularly by instruments. To design and adapt collective activity, a reflexive dialogical exchange between actors, a “collective activity about collective activity”, mediated by instruments, is necessary: we call it “the instrumental genesis of collective activity”. We analyze the case of an ERP implementation at EDF, a large electricity company, in the purchase and procurement area of the production division. The design and implementation of the new system was not clearly viewed as the instrumental genesis of collective activity. Difficulties appeared particularly for cross-functional cooperation and for the construction of new professional profiles of competence. In the light of this case, we suggest that key conditions for the intelligibility and the actionability of collective activity are the establishment of communities and the hybridization of professional competences.Collective Activity; Collective Sensemaking; Community; Dialogical; ERP; Instruments; Instrumental Genesis of Activity; Interpretation; Sign

A Proximity Indicator for e-Government: The Smallest Number of Clicks

In order to develop an indicator measuring the proximity of e-Government and its different generic functions, we analysed a set of studies that were conducted in the United States and in Europe. We defined 21 elements of measure grouped in six dimensions of proximity and we surveyed the official Websites of the French-speaking Swiss Cantons in 2002 and 2003. We observed that more technical aspects such as navigability were well developed, whereas more “socio-political” aspects (data protection, access for handicapped) and organisational issues were still in early stages. To conclude this work we give some hints for the application of a methodology based on proximity measurement.e-Government; portals; evaluation; proximity; 3-clicks rule; usability

Thesaurus-assisted search term selection and query expansion: a review of user-centred studies

This paper provides a review of the literature related to the application of domain-specific thesauri in the search and retrieval process. Focusing on studies which adopt a user-centred approach, the review presents a survey of the methodologies and results from empirical studies undertaken on the use of thesauri as sources of term selection for query formulation and expansion during the search process. It summaries the ways in which domain-specific thesauri from different disciplines have been used by various types of users and how these tools aid users in the selection of search terms. The review consists of two main sections covering, firstly studies on thesaurus-aided search term selection and secondly those dealing with query expansion using thesauri. Both sections are illustrated with case studies that have adopted a user-centred approach