Semiotic Enterprise Design for IT Applications (SEDITA)
Reading Site
Home   AIS Network Site   Department  School   University   

 

Home
About
Outline
Events
Publications
Literature Base
Links
Contact

Semiotic Enterprise Design for IT Applications (SEDITA)*

Motivation – improve organisational design for IT applications

However technically excellent computer systems may be, they often add too little value to a business. Businesses tend to be coy about admitting these deficiencies but the evidence cannot be ignored. Individual cases, especially in the public sector, are reported every week: for example, Cabinet Office (2000) and the Parliamentary Select Committee on Public Accounts (2000). Macro-economic studies of productivity changes related to the use IT also reveal that the failure is general. Strassman (1985, 1990 and 1997) continues to demonstrate this in large samples of manufacturing firms and the US Department of Commerce report, The Digital Economy, (2000) shows that the massive benefits from selling IT products do not bring equally significant benefits for either the manufacturing or service sectors. A huge economic advantage is awaiting us if we can apply IT with improved organisational effectiveness.

To address this problem, we propose to ensure a better match between the business and its IT systems. We shall do this by treating the business as an information system in a new methodology for the upstream phases of software engineering. This will tackle one root cause of the mismatch between business and IT: the lack of adequate tools for the job. Our thesis is that, in order to place the organisation first, it must be specified as an information system, regardless of any technology, but in a precise and formal way. Information requirements expressed in this formal business specification will make it easier to pull the technology into a seamless relationship with the organisation.

This goal would be over-ambitious if we were starting from scratch but that is not so. Theoretical work began in the early 1970s with UK Research Council support, to understand how to describe organisations with formal precision, as information systems. This and other work has evolved into a new, internationally recognised discipline of Organisational Semiotics - hence the title of this proposal. (Semiotics is the study of signs. The notion of a sign is more fundamental than that of information, which is revealed as a vague concept with numerous precise meanings, which can be defined as properties of signs.) From the underlying theory, the MEASUR methodology has been evolving over the last 10 to 15 years (Stamper et al. 1988; Stamper 1994; Liu, 2000). The research on MEASUR, for a variety of reasons, had to be carried out in a fragmentary manner. At present we have all the essential techniques, which have been individually tested on real problems, but the work is not yet complete. (The MEASUR techniques have been partially tested in a diversity of ad hoc industrial situations, spread over firms in many countries. They include many SMEs, but also public sector bodies ranging from the Dutch Ministry of Internal Affairs to the Burkina Faso rural savings bank, and large organisations such as Mars Foods, Indiana National Bank, Eli Lilly, Philips, Heineken, Bajaj Auto, Electrolux, CREST UK Stock Settlements. )

The motivation then, combining industrial needs with current research results, is to complete the work. To succeed, we must bring the MEASUR method into mainstream use where IT is being applied to business problems. This means that we must a) integrate the techniques we have, adjusting them where necessary, b) validate the methodology as a whole on real industrial problems of sufficient size and complexity, c) provide supporting tools so that d) it will be acceptable to business users with e) a natural interface to the downstream software engineering phases.

The proposed approach – building on prior results

MEASUR captures the kernel of a business’s information requirements (the relevant organisational knowledge, concepts, terminology, meanings, responsibilities and priorities) with formality and precision so that the IT requirements (programs, reports, interfaces, performance, etc.) may be deduced logically. Eventually (but not a part of this project) we see that, at least, a default implementation could be generated automatically.

Current methodologies treat business information systems as networks of data processes and information flows, without ever specifying why the information flows or what it means. MEASUR answers those questions. It does so within a new paradigm: instead of looking at information flows, it deals with information fields.

An information field comprises the shared social norms (such as rules, regulations, and social and business conventions and the background culture) that act as a 'field of force' binding the norm-subjects into a pattern of organised behaviour. The business requirements are that these norms be followed but to apply them correctly, people need information, in the shape of any messages that provide the correct meanings. The meanings are actually dictated by the norms, the perceptual norms being the most basic. Current requirements analysis methods only treat meanings informally and move directly to studying information in the form of messages, records, their structures, movements and the manipulation of their components. MEASUR starts with the analysis of meanings, then it examines the communication acts necessary to cause the norms to be executed, and only then begins to consider the more elaborate forms of information, where conventional analysis begins. MEASUR goes behind the normal starting point for requirements engineering to the norms that define the exact, minimal conditions that must be met by every satisfactory IT system, whatever messages, records and data-processing are adopted. That the designer should be free to propose any solution that does not violate the absolutely essential requirements, is a well-established principle. This approach takes a step further back than has been possible before, giving the designer greater scope for business re-engineering before moving towards software engineering. Moreover, the specification of minimal requirements in terms of norms and meanings are succinct and, being expressed entirely in business terms, are easy for users to understand. In addition, the formal representation of these norms explains why business requirements expressed this way should be an appropriate basis for expressing software requirements, too.

Organisational semiotics (Andersen 1997, Holmqvist 1996, Liu 1993 and 2000, Liu et al. 2000, Stamper 1973), the theory of signs for organised activities, has important theoretical advantages. As computer programs employ shared data-structures so people need to share perceptual norms relating their knowledge to a certain business activity. Perceptual norms can be understood in terms of invariant patterns of human behaviour. By defining the meanings of words, numbers and other expressions in terms of the behaviours they stand for, we arrive a powerful, new logical concept – that of Ontological Dependency (Stamper, 1985) - leading to a semantic schema with valuable practical properties. Foremost of these is that it imposes on perceptual norms a canonical structure, or Semantic Normal Form (SNF) (Ades 1999, Stamper 1988 & 2000). The SNF consists of atomic, semantic building blocks that contain a minimal set of properties in a standard structure. This standard structure can be used as a default basis for designing prototypes of computer-based information systems. Each semantic atom has the same uniform structure including, among others, two time attributes (start and finish events) linked to responsible human agents. Validating the SNF plays a key role in this research, as does a semantic dictionary for making the semantic atoms and their canonical structures available to the analysts. With this and other tools we expect to be able greatly to reduce the time and specialist skills needed for business analysis.

MEASUR comprises three main sets of techniques for:

  1. Problem Articulation: for ill-defined problems, to bring them into readiness for detailed analysis. (This is the least problematic set of techniques. It is easy for users to adopt. It will be used and incorporated in the final methodology but it will not be a focus of attention in this project);
  2. Semantic Analysis: for understanding the precise, operational meanings of the concepts used in the business domain under investigation. This kind of analysis is difficult to perform ab initio. However, because it produces patterns of information required and actions performed, it will aid analysis of a similar problem domain. The research will aim to make semantic analysis relatively easy with the support of a ‘dictionary’ of these patterns. The product of semantic analysis is a Semantic Normal Form that is the key to the unified representation of the business system.
  3. Norm Analysis: for understanding and specifying the business functions being investigated. The formally specified norms, though entirely expressed in terms of human activities, are the natural predecessor of program specifications. Discovering the gross architecture of a business conceived as a norm system is the principal application of the Problem Articulation techniques in this research.

The hypothesis

In the broadest terms: the organisation = the information system

Hence the method precisely and formally specifies an organisation’s requirements in terms of meanings, intentions, authorities, responsibilities, and time parameters, as the basis for IT-independent specification. Users can easily verify the specifications as they only contain business concepts; the designs based on the SNF are stable, so easy to maintain. Their formality and rigour make them easy to implement, in part by automatic translation from the business specification.

It is important to emphasise that this broad hypothesis is far removed from the intuitive ‘soft systems’ tradition. It invites rigorous testing by the principle of attempted, empirical refutation of a series of particular, more tightly formulated hypotheses. The earlier work outlined above has been carried out in the spirit of Popper’s Refutationist Methodology.

Although the theory and methods do have an unusual philosophical foundation, they will be subject to examination by strict scientific and engineering criteria: Do they work correctly, robustly and economically in practice?

Aims and Objectives

The overall aim of this project is to complete the research programme to develop a new methodology for requirements analysis and specification (MEASUR), based on the concepts of Organisational Semiotics. Many separate techniques have been developed over the last 20 years and validated individually. This research will:

  1. unite these techniques using a common, underlying representation based on the concept of the social norms that govern organisational functions;
  2. prepare in prototype form the instruments that will enable the integrated methodology to be readily adopted by the mainstream of system development practice;
  3. with industrial collaboration, test the new methodology on real problems of sufficient size and complexity to validate it.

The concrete objectives that define the work packages in the project are:

  1. Integrate Techniques within a Unified Representation: To define and investigate possible architectures for unifying the three sets of techniques: Problem Articulation, Semantic Analysis and Norm Analysis using the Semantic Normal Form; establish and test the SNF as an underlying representation for the fully integrated methodology. To test the ability of the SNF to enforce uniform, stable solutions in practical circumstances.
  2. Prepare Instruments to Support Users: To define and develop (not necessarily in software unless prototyping tools are available) such instruments as will be needed to make MEASUR a practical methodology for business analysts and software engineers. As the methodology facilitates re-use, this will be emphasised. Here the Semantic Dictionary plays a key role. A Diagnostic instrument for checking that semantic schemas are in the normal form will be necessary for reaching the first objective as well as for supporting users. To support mainstream adoption of the integrated methodology, instruments will be tested for user acceptability and further necessary instruments will be defined.
  3. Validate the Integrated Methodology in Practice: To validate both the depth and scope of MEASUR against problems presented by industrial partners. In depth, it should offer users a seamless process from analysis of “generic business requirements” to “an architecture that can satisfy specific requirements” (Britvic letter attached). These major tests will extend as near to implementation as possible, to ensure the smooth transition to established down-stream methodologies for software engineering. The integrated approach will be validated in real-life industrial settings. In additional to the major problems from BT, Winning Moves, Britvic and Royal College of GPs, our principal collaborators, the scope of the methodology will be tested against as wide a variety of problems as time permits from other organisations reached via the dissemination programme.

It is important to add that we are conscious of the needs a) to relate these new methods to established methodologies in which firms have invested so much and b) other, on-going, related research in this problem domain.

References

Ades, Y. M., 1989, NAMAT System User Manual. SIS project, University of Quatar.
Ades, Y. M., 1999, “Semantic Normal Form: Compliance”, Proc. 2nd Workshop on Organisational Semiotics, Enschede 12-14 October.
Andersen, PB, 1997, A Theory of Computer Semiotics, Cambridge, Cambridge University Press
Cabinet Office, June 2000, Successful IT: Modernising Government in Action, CSSA June 2000 Getting IT Right for Government, London
Eid, A., M. Higazi, H. Shashea, Y.M. Ades, 1989, Namat User Manual, NAMAT Project, Computer Centre, Doha, Qatar University
Eid, A., R. Al-Kobesi, 1991, Namat 5 Maintenance Manual Prototype 3.0, NAMAT Project, Computer Centre, Doha, Qatar University
Holmqvist, B., P.B. Andersen, H. Klein, R. Posner, 1996, Signs of Work, Berlin, De Gruyter
Liu, Kecheng, 1993, Semiotics Applied to Information Systems Development, PhD thesis, University of Twente, Enschede (ISBN: 90-9006076-6).
Liu, Kecheng, Albert Alderson & Zubair Qureshi (1999). Requirements Recovery of Legacy Systems by Analysing and Modelling Behaviour, Proc. International Conf. on Software Maintenance, IEEE, Computer Society, Los Alamitos, pp3-12.
Liu, K., Lily Sun, 2000, Capturing Temporality and Intentionalilty in Information Systems, Proc. of Workshop of Language Action Perspectives, Mareike Schoop (ed), Tech. U. of Aachen
Liu, Kecheng, Lily Sun, Joseph Barjis & Jan Dietz (2000), Capturing Organisational Behaviour with Dynamic Modelling, Proc. IFIP Conf. on IT for Business Management, 21-25 August, Beijing.
Liu, Kecheng, 2000, Semiotics in Information Systems Engineering. Cambridge University Press, Cambridge.
Liu, Kecheng, Ronald Stamper, Peter Anderson, Rodney Clarke, (eds), Proceedings of 2nd International Workshop of Organisational Semiotics, September 1999, Almolo, (also by Kluwer Academic Publishers in 2000).
Liu, Kecheng, Rodney Clarke, Ronald Stamper, Peter Anderson (eds), Proceedings of 3rd International Workshop of Organisational Semiotics, 4 July 2000, Stafford, (also by Kluwer Academic Publishers in 2001).
Parliamentary Select Committee on Public Accounts, 2000, Improving the Delivery of Government IT Projects (House of Commons, HC 65, 5 January)
Stamper, R.K., 1973, Information in Business and Administrative Systems, Wiley, New York and Batsford, London.
Stamper, R.K., 1979, "Towards a Semantic Normal Form", in Database Architecture, G. Bracchi, G.M. Nijssen, North Holland, Amsterdam
Stamper, R. K., 1985, Knowledge as Action: A Logic of Social Norms and Individual Affordances. In Gilbert, G. N. and Heath, C., (eds.), Social Action and Artificial Intelligence. Grower Press, Aldershot.
Stamper, R.K., J. Backhouse, S. Marche, K. Althaus, 1988, "Semantic Normal Form?" in Meaning: the Frontier of Informatics, K.P. Jones (ed), ASLIB London
Stamper, R.K., K. Liu, M. Kolkman, Y.M. Ades, C. van Slooten, 1991, "From Database to Normbase", in International Journal of Information Management 11, 3, p. 67-84
Stamper, R. K., 1994, Social Norms in Requirements Analysis - an outline of MEASUR. In Jirotka, and M., Goguen, J. (eds.), Requirements Engineering, Technical and social aspects. Academic Press, N.Y.
Stamper, R.K., K. Liu, Kaiyin Huang, 1994, Organisational Morphology in Re-engineering, Proceedings of Second European Conference of Information Systems, Nijenrode University, pp. 729-737. ISBN 90-73314-24-0
Stamper, RK, 1996, Ontological Dependency, Proc.12th European Conf. on AI, Budapest, 11-16 August.
Stamper, R.K. 1996, "Signs, Information, Norms and Systems", in Holmqvist et al, 1996, pp.349-397.
Stamper, RK, 2000, Relating Semantics and Communication Acts, Proc. 5th Int’l Workshop on the Language-Action Perspective on Communication Modelling, Aachen, 14-16 Sep.
Strassmanm, Paul A., 1985, Information Payoff, Free Press, New York, 1985.
Strassmann, Paul A. 1990, The Business Value of Information Technology, Strassmann Inc, New Canaan, Conn.
Strassmann, Paul A. 1997, The Squandered Computer, Information Economics press, New Canaan, Connecticut
Timminga, E & L. Sun, 1991, CONTEST: A Computerised Test Construction System. In J. Hoogstraten and W.J. van der Linden (eds), Onderwijsresearchdagen'91, Stichting Centrum voor Onderwijsonderzoek, Amsterdam University, Amsterdam, pp. 69-76.
US Department of Commerce, 2000, Digital Economy 2000, Washington DC, http://www.itl.nist.gov/iad/highlights/DigitalEcomny/index.htm

(Excerpt from the project proposal. The authors are: K Liu, R K Stamper, A Alderson, L Sun, H Shah)