Skip to main content
SpringerLink
Log in

Intelligent support for systems development: The notion and the issues

  • Published:
Journal of Intelligent Information Systems Aims and scope Submit manuscript

Abstract

Enterprise modelling and information systems modelling have traditionally utilized techniques developed in the earlier disciplines of systems analysis and operational analysis. However, these tools have proved insufficient even for information systems modelling and their inadequacies make them less than ideal for enterprise modelling. Furthermore, it has proved difficult to integrate the techniques into a uniform framework representation. Extensive research since the early 1980s has produced support tools for information systems engineering in the academic sector which have generally failed to reach widespread commercial use. Commercially developed integrated support systems aimed at enterprise modelling and information system modelling use traditional techniques, with a lack of formalism. The purpose of this paper is to introduce a technique which overcomes the major inadequacies and which provides an integrating framework to represent both the information and the processing, at enterprise and systems modelling levels of abstraction. The technique is based on the use of a transition network, but extended to represent enterprise and system models in a meaningful way. The use of an intelligent repository, with associated processing of the formally defined requirements, specification and design statements, is novel, and provides the additional support to make the technique amenable to handling the design process from informal to formal specification. The use of a graphical user interface, linked directly to the deductive system and repository, ensures intuitive ease of use.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Aquilino, D., Asirelli, P., Inverardi, P., and Malara, P. (1991). Supporting re-use and configuration: A port-based SCM model.Proc. 3rd Int. Workshop Configuration Management. Trondheim, Norway. ACM Press.

    Google Scholar 

  • Aquilino, D., Asirelli, P., and Inverardi, P. Prototyping in the GEDBLOG system.Proc. Fourth International Conference on Software Engineering and Knowledge Engineering. Capri, Italy. IEEE Press.

  • Asirelli, P., and Inverardi, P. (1987). A logic database to support configuration management in ADA.Proc. ADA-Europe Int. Conf. Stockholm, Sweden. Cambridge University Press.

    Google Scholar 

  • Asirelli, P., and Inverardi, P. (1988). Using logic databases in software development environments. Work on Programming Language Implementation and Logic Programming: Concepts and Techniques. Lecture Notes in Computer Science, Vol 348.

  • Ashworth, C., and Goodland, M. (1990).SSADM: L A Practical Approach. London: McGraw-Hill.

    Google Scholar 

  • Bergstra, J.A., and Klop, J.W. Process Algebra: Specification and Verification in Bisimulation Semantics. In M. Hazewinkel, J. K. Lenstra, L.G.L.T. Meertens (Eds.),Mathematics and Computer Science II. Amsterdam: North-Holland.

  • Best, E. (1991). Overview of the ESPRIT Basic Research Action DEMON—Design Methods Based on Nets.EATCS Bulletin, 45.

  • Borgida, A., Jarke, M., Mylopoulos, J., Schmidt, J.W., and Vassiliou, Y. (1989). The Software Development Environment as a Knowledge Base Management System. In J. W. Schmidt and C. Thanos (Eds.),Foundations of Knowledge Base Management. New York: Springer-Verlag.

    Google Scholar 

  • Briales, M.J., and de Troyer, O. (1991). Object-oriented integrity enforcement in a relational environment.Proc. BNCOD9. Butterworth-Heinemann.

  • Brodie, M.L., and Silva, E. (1982). Active and Passive Component Modelling. In T.W. Olle, H.G. Sol, A.A. Verrijn Stuart (Eds.),Information System Design Methodologies—A Comparative Review. Amsterdam: North-Holland.

    Google Scholar 

  • Brinkkemper, S., and ter Hofstede, A.H.M. (1990).The Conceptual Task Model: A Specification Technique between Requirements Engineering and Program Development. Proc. CAiSE90 Lecture Notes in Computer Science Number, Vol. 436. New York: Springer-Verlag.

    Google Scholar 

  • Chen, P.P.S (1976). The Entity-Relationship Model Towards a Unified View of Data.ACM TODS, 1.

  • Codd, E.F. (1970). A Relational Model of Data for Large Shared Data Banks.CACM, 13, pp. 377–382.

    Google Scholar 

  • Codd, E.F. (1979). Extending the Relational Model to Capture More Meaning.ACM TODS, 4.

  • Das, S.K., and Williams, M.H. (1989). Integrity checking methods in deductive databases: a comparative evaluation.Proc. BNCOD 7. Cambridge University Press.

  • Hammer, M.M., and McLeod, D.J. (1978). The Semantic Data Model: a Modelling Mechanism for Database Applications.ACM SIGMOD.

  • Hitchcock, P. (1991). Linkages between databases and software engineering.Proc. BNCOD9. Butterworth-Heinemann.

  • Jeffery, K.G., Lay, J.O., and Curtis, T. (1989). Logic programming and database technology used for validation within transactions.Proc. BNCOD7. Cambridge University Press.

  • Kifer, M., and Lausen, G. (1989). F-Logic: A Higher Order Language for reasoning about Objects, Inheritance and Scheme. In J. Clifford, B. Lindsay, and D. Maier (Eds.).Proc. 1989 ACM SIGMOD Int. Conf. Management of Data. (pp. 134–146). Portland, Oregon: ACM Press.

    Google Scholar 

  • Koubarakis, M., Mylopoulos, J., Stanley, M., and Borgida, A. (1989).Telos: Features and Formalisation. Technical Report KRR-TR-89-4, Dept. of Computer Science, Univ. of Toronto.SSADM Version 4: Four-Volume Guide. NCC-Blackwell.

  • Nijssen, G.M., and Halpin, T.J. (1989).Conceptual Schemas and Relational Database Design: A Fact-Oriented Approach. Englewood Cliffs, NJ: Prentice-Hall.

    Google Scholar 

  • Olle, T.W., Sol, H.G., and Verrijn Stuart, A. A. (Eds.) (1982).Information System Design Methodologies—A Comparative Review. Amsterdam: North-Holland.

    Google Scholar 

  • Orlowska, M.E., and Jeffery, K.G. (1991).A Functional Method of Data Processing Based on the Relational Algebra.Proc. CAiSE91 Lecture Notes in Computer Science, Vol. 498. New York: Springer-Verlag.

    Google Scholar 

  • Reisig, W. (1985).Petri Nets. EATCS Monographs on Theoretical Computer Science. New York: Springer-Verlag.

    Google Scholar 

  • Rolland, C., and Richard, C. (1982). The REMORA Methodology for Information System Design and Management. In T.W. Olle, H.G. Sol, A.A. Verrijn Stuart (Eds.),Information System Design Methodologies—A Comparative Review. Amsterdam: North-Holland.

    Google Scholar 

  • Solvberg, A. (1986). Behaviour-specification in an information systems analysis context.Proc. BNCOD5. Cambridge University Press.

  • Spivey, J.M., (1989).The Z Notation—A Reference Manual. London: Prentice-Hall.

    Google Scholar 

  • Tsalgatidou, A., Karakostas, V., and Loucopoulos, P. (1990).Rule-Based Requirements Specification and Validation.Proc. CAiSE90 Conf. Lecture Notes in Computer Science, Vol. 436. New York: Springer-Verlag.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Systems Engineering Division, Informatics Department, Rutherford Appleton Laboratory, OX 11 OQX, Chilton, Didcot, Oxfordshire, UK

    Keith G. Jeffery

Authors
  1. Keith G. Jeffery
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Jeffery, K.G. Intelligent support for systems development: The notion and the issues. J Intell Inf Syst 1, 211–232 (1992). https://doi.org/10.1007/BF00962283

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00962283

Keywords

Search

Navigation