Abstract
This paper presents \(\mathcal{T}\mathcal{R}\mathcal{D}\mathcal{L}\), a new logic-based language for conceptual modelling in Information Systems Engineering. \(\mathcal{T}\mathcal{R}\mathcal{D}\mathcal{L}\) is a formal analyst-oriented Terminological Requirements Description Language allowing an integrated representation of both structural and behavioural requirements concepts. Its semantics is based on a new enhanced terminological language called
, which is an extension of terminological languages introduced in order to capture process concepts. The expressive power of TRDL-based schemes is shown expressing them in terms of the
language. The correspondence with
characterises the overall reasoning properties of the \(\mathcal{T}\mathcal{R}\mathcal{D}\mathcal{L}\) model: completeness, soundness and EXPTIME complexity. \(\mathcal{T}\mathcal{R}\mathcal{D}\mathcal{L}\) is explicitly tailored for Requirements Modelling & Analysis performed during the early stage of Information Systems development. It is regarded as a formal kernel for the development of a new generation of CASE tools endowed with deductive capabilities.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
P. Blackburn, E. Spaan. A modal perspective on computational complexity of attribute value grammar. Journal of Logic, Language and Computation. nℴ 2, 1993, pp. 129–169
S. Bergamaschi, et. al. The E/S Knowledge Representation System. Data & Knowledge Engineering, vol. 14, 1994, pp. 81–115
A. Borgida, et al. Knowledge Representation as the basis for Requirements Specification. IEEE Computer, Apr. 1985, pp. 82–91
A. Borgida, M.Jarke, eds. Special Issue on KR&R in Software Engineering. IEEE Transactions on Software Engineering, vol. 18, nℴ 6, 1992
R.J. Brachman, J.G. Schmolze. An overview of the KL-ONE Knowledge Representation System. Cognitive Science, vol. 9, nℴ 2, 1985, pp. 171–216
P.P. Chen. The Entity-Relationship Model: towards a unified view of data. ACM Trans. on Database Systems, vol. 1, nℴ 1, Mar 1976, pp. 9–36
P. Coad, E. Yourdon. Object-Oriented Analysis, 2 nd ed. Prentice-Hall, 1991
E. Compatangelo, G. Rumolo. Terminological Requirements Modelling & Analysis in Information Systems Engineering. To be published in AICA'95, Proceedings of the annual conference of the AICA, Cagliari, 1995
G. De Giacomo, M. Lenzerini. Boosting the correspondence between description logic and prepositional dynamic logics. In Proceeding of the 12th National Conference on Artificial Intelligence, 1994, pp. 205–212
G. De Giacomo, M. Lenzerini. Description Logic with inverse roles, functional restriction, and n-ary relations. In Proc. of the 4th Europ. W.shop on Logics in A.I., Lecture Notes in AI, vol. 838. Springer, 1994, pp. 332–346
F.M. Donini, et al. The complexity of Concept Languages. In Proc. of the 2nd Int. Conf. on the Princ. of KR&R. Morgan Kaufmann, 1991, pp. 151–162
S. Greenspan, et al. On Formal Requirements Modeling Languages: RML Revisited. In Proc. of the 16th Int. Conf. on Sw. Eng. (ICSE-16), 1994
Y. Halpern, J.Y. Moses. A guide to completeness and complexity for modal logics of knowledge and belief. Art. Int., vol. 54, 1992, pp. 319–379
D. Harel, Dynamic Logic. In Handbook of Phil. Logic, 1984, pp. 497–603
ICRE'94. Int. Conf. on Req. Eng., Colorado-Springs (USA), Apr., 1994
M.A. Jackson, P. Zave. Domain Descriptions. In [28], pp. 56–64
H. Kangassalo. COMIC: A system and methodology for conceptual modelling and information construction. Data & Knowledge Engineering, vol. 9, 1992/93, pp. 287–319
R.J. Brachman, H. Levesque, eds. Readings in Knowledge Representation. Morgan Kaufmann, 1985
F. Lehmann, Semantic Networks, Computer & Mathematics with Applications, vol. 23, nℴ 2–5, 1992, pp. 1–50
J. Mylopoulos, et al. Telos: Representing Knowledge About Information Systems. ACM Trans. on Inf. Systems, vol. 8, nℴ 4, Oct. 1990, pp. 325–362
B. Nebel. Reasoning and revisions in hybrid representation systems. In Lecture Notes in Artificial Intelligence, Springer Verlag, 1990
A. Olivé. On the design and Implementation of Information Systems from Deductive Conceptual Model. In 15th Int. Conf. on very large DB, 1989
K. Pohl. The three dimensions of Requirements Engineering: a framework and its applications. Inform. Systems vol. 19, nℴ 3, Apr. 1994, pp. 243–258
C. Potts. Software Engineering Research Revised. IEEE Software, Sept. 93, pp. 19–28
G. Rumolo, M. Lenzerini. Information Systems Analysis: a formal model for the specification of behavioural and structural class properties. In Proc. of the 4th Int. Conf. on Inform. Sys. Development (ISD94), 1994, pp. 63–72
K. Schild. A correspondence theory for terminological logics: preliminary report. In Proc. of the 12th Int. Conf. on A.I. (IJCAI91), 1991, pp.486–471
A. Sernadas, R. Li. Reasoning about Objects using a tableaux method. Journal of Logic and Computation, vol. 1, nℴ 5, 1991, pp. 575–611
RE93. Proc. of the 1 st IEEE Int. Symp. on Req. Eng. IEEE, 1993
W.A. Woods, J. G. Schmolze. The KL-ONE Family. Computers & Mathematics with Applications, vol. 23, ns. 2–9, 1992, pp. 1–50
E. Yourdon. Modern Structured Analysis. Prentice Hall, 1989
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Rumolo, G., Compatangelo, E. (1995). \(\mathcal{T}\mathcal{R}\mathcal{D}\mathcal{L}\): A language for conceptual modelling in Information Systems Engineering. In: Gori, M., Soda, G. (eds) Topics in Artificial Intelligence. AI*IA 1995. Lecture Notes in Computer Science, vol 992. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60437-5_19
Download citation
DOI: https://doi.org/10.1007/3-540-60437-5_19
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60437-2
Online ISBN: 978-3-540-47468-5
eBook Packages: Springer Book Archive