Templar: a knowledge-based language for software specifications using temporal logic

ABSTRACT

A software specification language Templar is defined in this article. The development of the language was guided by the following objectives: requirements specifications written in Templar should have a clear syntax and formal semantics, should be easy for a systems analyst to develop and for an end-user to understand, and it should be easy to map them into a broad range of design specifications. Templar is based on temporal logic and on the Activity-Event-Condition-Activity model of a rule which is an extension of the Event-Condition-Activity model in active databases. The language supports a rich set of modeling primitives, including rules, procedures, temporal logic operators, events, activities, hierarchical decomposition of activities, parallelism, and decisions combined together into a cohesive system.

REFERENCES

• 1: James F. Allen, Towards a general theory of action and time, Artificial Intelligence, v.23 n.2, p.123-154, July 1984 [doi>10.1016/0004-3702(84)90008-0]
• 2: BORGIDA, A., GREENSPAN, S., AND MYLOPOULOS, J. 1985. Knowledge representation as the basis for requirements specifications. IEEE Comput. I8, 4 (Apr.), 82-91.
• 3: BORGIDA, A., MYLOPOULOS, J., AND SCHMIDT, J. W. 1993. The TaxisDL software description language. In Database Application Engineering with DAIDA. Springer-Verlag, Berlin.
• 4: CASANOVA, M. A. AND FURTADO, A. L. 1984. On the description of database transition constraints using temporal languages. In Advances in Database Theory. Vol. 2. Plenum Press, New York, 211-236.
• 5: M. C. Costa , R. J. Cunningham , J. Booth, Logical animation, Proceedings of the 12th international conference on Software engineering, p.144-149, March 26-30, 1990, Nice, France
• 6: Alan M. Davis, Software requirements: analysis and specification, Prentice Hall Press, Upper Saddle River, NJ, 1990
• 7: Christophe de Maindreville , Eric Simon, Modelling Non Deterministic Queries and Updates in Deductive Databases, Proceedings of the 14th International Conference on Very Large Data Bases, p.395-406, August 29-September 01, 1988
• 8: Eric Dubois , Jacques Hagelstein , André Rifaut, A formal language for the requirements engineering of computer systems, From natural language processing to logic for expert systems: a logic based approach to artificial intelligence, John Wiley and Sons Ltd., Chichester, UK, 1991
• 9: José Fiadeiro , Amilcar Sernadas, The INFOLOG linear tense propositional logic of events and transactions, Information Systems, v.11 n.1, p.61-85, 1986 [doi>10.1016/0306-4379(86)90023-2]
• 10: Dov Gabbay , Ian Hodkinson , Anthony Hunter, Using the temporal logic RDL for design specifications, Proceedings of the UK/Japan workshop on Concurrency : theory, language, and architecture: theory, language, and architecture, p.64-78, April 1991, Oxford, United Kingdom
• 11: GEORGErF, M. P. AND LANSKY, A. L. 1986. Procedural knowledge. Proc. IEEE 74, 10, 1383-1398.
• 12: C. Ghezzi , D. Mandrioli , A. Morzenti, TRIO: A logic language for executable specifications of real-time systems, Journal of Systems and Software, v.12 n.2, p.107-123, May 1990 [doi>10.1016/0164-1212(90)90074-V]
• 13: S. J. Goldsack , A. C. W. Finkelstein, Requirements engineering for real-time systems, Software Engineering Journal, v.6 n.3, p.101-115, May 1991
• 14: Sol Jaffe Greenspan, Requirements modeling: a knowledge representation approach to software requirements definition, 1984
• 15: H~EL, D. 1985. Recurring dominoes: Making the highly undecidable highly understandable. Ann. Discr. Math. 24, 51-71.
• 16: David Harel, On visual formalisms, Communications of the ACM, v.31 n.5, p.514-530, May 1988 [doi>10.1145/42411.42414]
• 17: David Harel, Biting the Silver Bullet: Toward a Brighter Future for System Development, Computer, v.25 n.1, p.8-20, January 1992 [doi>10.1109/2.161283]
• 18: K. Hülsmann , G. Saake, Theoretical foundations of handling large substitution sets in temporal integrity monitoring, Acta Informatica, v.28 n.4, p.365-407, April 1991 [doi>10.1007/BF01893887]
• 19: JEREMAES, P., KHOSLA, S., AND MAIBAUM, T. S.E. 1986. A modal (action) logic for requirements specifications. In Software Engineering '86, P. J. Brown and D. J. Barnes, Eds. Peter Peregrinus, 278-294.
• 20: Ron Koymans, Specifying real-time properties with metric temporal logic, Real-Time Systems, v.2 n.4, p.255-299, Nov. 1990 [doi>10.1007/BF01995674]
• 21: Fred Krögr, Temporal logic of programs, Springer-Verlag New York, Inc., New York, NY, 1986
• 22: U. W. Lipeck , G. Saake, Monitoring dynamic integrity constraints based on temporal logic, Information Systems, v.12 n.3, p.255-269, 1987 [doi>10.1016/0306-4379(87)90004-4]
• 23: LOUCOPOULOS, P., McBRIEN, P., PERSSON, U., SCHUMACKER, F., AND VASEY, P. 1990. TEMPORA --Integrating database technology, rule based systems and temporal reasoning for effective software. In Esprit '90 Conference Proceedings. Kluwer Academic, Dordrecht, Holland.
• 24: Zohar Manna , Amir Pnueli, The temporal logic of reactive and concurrent systems, Springer-Verlag New York, Inc., New York, NY, 1992
• 25: Peter McBrien , Marc Niézette , Dionysios Pantazis , Anne Helga Seltveit , Ulf Sundin , Babis Theodoulidis , Gregoris Tziallas , Rolf Wohed, A rule language to capture and model business policy specifications, Proceedings of the third international conference on Advanced information systems engineering, p.307-318, May 1991, Trondheim, Norway
• 26: Dennis McCarthy , Umeshwar Dayal, The architecture of an active database management system, Proceedings of the 1989 ACM SIGMOD international conference on Management of data, p.215-224, June 1989, Portland, Oregon, United States
• 27: MEYER, B. 1985. On formalism in specification. IEEE Softw. (Jan.), 6-26.
• 28: John Mylopoulos , Alex Borgida , Matthias Jarke , Manolis Koubarakis, Telos: representing knowledge about information systems, ACM Transactions on Information Systems (TOIS), v.8 n.4, p.325-362, Oct. 1990 [doi>10.1145/102675.102676]
• 29: NICOLAS, J.-M. 1982. Logic for improving integrity checking in relational data bases. Acta Informatica 18, 227-253.
• 30: T. W. Olle, IFIP comparative review of information systems design methodologies: problem definition, Trends in information systems, North-Holland Publishing Co., Amsterdam, The Netherlands, 1986
• 31: Olle, H. G. Sol, and A. A. Verrijn-Stuart, Eds. North-Holland, Amsterdam, 1-14.
• 32: PRIOR, A. 1967. Past, Present, and Future. Clarendon Press, Oxford.
• 33: Douglas R. Smith , Gordon B. Kotik , Stephen J. Westfold, Research on knowledge-based software environments at Kestrel Institute, IEEE Transactions on Software Engineering, v.11 n.11, p.1278-1295, Nov. 1985 [doi>10.1109/TSE.1985.231879]
• 34: SPWEY, J.M. 1988. Understanding Z. Cambridge Tracts in Theoretical Computer Science, vol. 3. Cambridge University Press, Cambridge, U.K.
• 35: William Stallings , Paul Mockapetris , Sue McLeod, Handbook of computer-communications standards. Vol. 3: Department of Defense (DoD) protocol standards, Macmillan Publishing Co., Inc., Indianapolis, IN, 1988
• 36: Michael Stonebraker , Anant Jhingran , Jeffrey Goh , Spyros Potamianos, On rules, procedure, caching and views in data base systems, Proceedings of the 1990 ACM SIGMOD international conference on Management of data, p.281-290, May 23-26, 1990, Atlantic City, New Jersey, United States
• 37: Dionysios C. Tsichritzis , Frederick H. Lochovsky, Data Models, Prentice Hall Professional Technical Reference, 1982
• 38: TUZHILIN, A. 1991. Temporally active databases .= Active databases + Time. Working Paper IS-91-43, Stern School of Business, New York, Univ., New York.
• 39: Alexander Tuzhilin, SimTL: a simulation language based on temporal logic, Transactions of the Society for Computer Simulation International, v.9 n.2, p.86-100, June 1992
• 40: TUZmLIN, A. 1993. Templar: A knowledge-based language for software specifications using temporal logic. Working Paper IS-93-33, Stern School of Business, New York Univ., New York.
• 41: Jeffrey D. Ullman, Principles of database and knowledge-base systems, Vol. I, Computer Science Press, Inc., New York, NY, 1988
• 42: Jennifer Widom , S. J. Finkelstein, Set-oriented production rules in relational database systems, Proceedings of the 1990 ACM SIGMOD international conference on Management of data, p.259-270, May 23-26, 1990, Atlantic City, New Jersey, United States

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.1 Requirements/Specifications
          Subjects: Languages

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.1 Requirements/Specifications
          Subjects: Methodologies (e.g., object-oriented, structured)
        D.2.10 Design**
            Subjects: Representation**; Methodologies**

  F. Theory of Computation
  F.3 LOGICS AND MEANINGS OF PROGRAMS
      F.3.1 Specifying and Verifying and Reasoning about Programs
          Subjects: Logics of programs

  H. Information Systems
  H.1 MODELS AND PRINCIPLES
      H.1.1 Systems and Information Theory
          Subjects: General systems theory

General Terms:
Design, Languages

Keywords:
activities, events, rule-based systems, specification languages, temporal logic, time