We seek to take some initial steps towards a theory of information that is adequate for understanding and designing systems that process information, i.e., information systems in a broad sense. Formal representations of information are needed in designing, using and maintaining such systems, especially when they are computer based. However, it is also necessary to take account of social context, including how information is produced and used, not merely how it is represented; that is, we need a social theory of information. Ideas from ethnomethodology and semiotics, as well as logic and the sociology of science, are used to explore the nature of information.

This paper describes the Tatami project at UCSD, which is developing a system to support distributed cooperative software development over the web, and in particular, the validation of concurrent distributed software. The main components of our current prototype are a proof assistant, a generator for documentation websites, a database, an equational proof engine, and a communication protocol to support distributed cooperative work. We believe behavioral specification and verification are important for software development, and for this purpose we use first order hidden logic with equational atoms. The paper also briefly describes some novel user interface design methods that have been developed and applied in the project

is provided in screen-viewable form for personal use only by members

recent advances in web technology, interface design, and specification. Our effort to improve the usability of such systems has led us into algebraic semiotics, while our effort to develop better formal methods for distributed concurrent systems has led us into hidden algebra and fuzzy logic. This paper discusses the Tatami system design, especially its software architecture, and its user interface principles. New work in the latter area includes an extension of algebraic semiotics to dynamic multimedia interfaces, and integrating Gibsonian affordances with algebraic semiotics. 1

Abstract: This paper proposes a new approach to style, arising from our work on computational media using structural blending, which enriches the conceptual blending of cognitive linguistics with structure building operations in order to encompass syntax and narrative as well as metaphor. We have implemented both conceptual and structural blending, and conducted initial experiments with poetry, including interactive multimedia poetry, although the approach generalizes to other media. The central idea is to analyze style in terms of blending principles, based on our finding that different principles from those of common sense blending are often needed for some contemporary poetic metaphors. 1

Abstract: This paper discusses the role of narrative in the expression and transmission of social knowledge as a specific type of tacit knowledge. Narrative is a central mechanism by which social knowledge is conveyed. Narrative provides a bridge between the tacit and the explicit, allowing tacit social knowledge to be demonstrated and learned, without the need to propositionalize it. Institutions can best maintain their stock of stories by providing occasions on which they can be told. Archival systems such as data bases, lessons learned systems, and video records are less effective, particularly when they attempt to store records or transcripts of oral stories. However, they can be improved by attention to key design dimensions, including appropriate allocation of the effort required from system administrators and users, and attention to translation between genres.

The Tatami project is building a system to support software engineering over the internet, exploiting recent advances in web technology, interface design, and specification. Our effort to improve the usability of such systems led us into algebraic semiotics, while our effort to develop better formal methods for distributed concurrent systems led us into hidden algebra. We discuss the Tatami system design, especially user interface issues, and sketch an extension of algebraic semiotics for interface dynamics. 1 Introduction The Tatami project has pursued three main goals: 1. explore novel multimedia interface design principles, for easing the use of complex interactive systems; 2. build and use a generic distributed environment for cooperative work; and 3. verify distributed concurrent software. We discuss these goals in turn. The first is motivated by the difficulties many practicing engineers have with formal methods tools. We have taken theorem provers as a typically difficult c...

Abstract. According to traditional animators, the art of building believable characters resides in the ability to successfully portray a character’s behaviour as the result of its internal emotions, intentions and thoughts. Following this direction, we want our agents to be able to explicitly talk about their internal thoughts and report their personal past experiences. In order to achieve it, we look at a specific type of episodic long term memory. This paper describes the integration of Autobiographic Memory into FAtiMA, an emotional agent architecture that generates emotions from a subjective appraisal of events. 1

This paper describes a developmental systems approach to applied developmental sciences (ADS) which provides a framework to design and evaluate technology-rich programs that promote positive development by emphasizing the strengths and assets of people, instead of focusing on diminishing or preventing risk-taking behaviors. Up to now, most of the psycho educational programs conceived within the ADS model have not focused on the role of new technologies in young people's lives. This absence is particularly striking given that, in today’s world, new technologies play an important role in different areas of the lives of young people, such as education, entertainment, socialization and communication. This article presents the concept of Identity Construction Environments (ICE), an interdisciplinary model that proposes guidelines to design and study new technologies purposefully created to promote positive youth development (PYD). Two types of ICE have been developed: one focusing on stand-alone technologies for learning, such as the Zora virtual city; and the other focusing on an approach for developing technologically-rich learning contexts, such as the Project Inter-Actions robotics workshops. This paper presents both examples of ICE and describes how their design fosters the

Abstract. This paper presents preliminary results from a narrativeethnographic field study of a small mobile software development company. Initial ethnographic findings are presented, and further narrative analysis is proposed in the areas of stories relating to programmer stereotyping, war stories, and humour. It is expected that the study will form the first case-study for a broader comparative investigation into how stories are used and told across software development methodologies.