{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T23:53:05Z","timestamp":1743033185599,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540540595"},{"type":"electronic","value":"9783540473787"}],"license":[{"start":{"date-parts":[[1991,1,1]],"date-time":"1991-01-01T00:00:00Z","timestamp":662688000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54059-8_91","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:26:56Z","timestamp":1330190816000},"page":"307-318","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["A rule language to capture and model business policy specifications"],"prefix":"10.1007","author":[{"given":"Peter Mc.","family":"Brien","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Ni\u00e9zette","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dionysios","family":"Pantazis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anne Helga","family":"Seltveit","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ulf","family":"Sundin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Babis","family":"Theodoulidis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gregoris","family":"Tziallas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolf","family":"Wohed","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,29]]},"reference":[{"key":"15_CR1","unstructured":"Berztiss, A. The Set-Function Approach to Conceptual Modelling, in \u2018Information system design methodologies: improving the practice\u2019 Olle, T.W., Sol, H.G, Verrijn Stuart, A.A., (eds), North Holland (1986)."},{"issue":"4","key":"15_CR2","doi-asserted-by":"publisher","first-page":"565","DOI":"10.1145\/4879.4995","volume":"10","author":"A. Borgida","year":"1985","unstructured":"A. Borgida, Language Features for Flexible Handling of Exceptions in Information Systems, ACM Transactions on Database Systems, Vol. 10, No. 4, December 1985, pp. 565\u2013603.","journal-title":"ACM Transactions on Database Systems"},{"key":"15_CR3","unstructured":"Brodie, M.L. & Silva, E. Active and Passive component modelling (ACM\/PCM), in \u2018Information system design methodologies: a comparitive review', eds Olle T.W., Sol H.G. and Verrijn Stuart A.A., North-Holland (1982)."},{"key":"15_CR4","volume-title":"The Logic of a Data Manipulation Language","author":"M.A. Casanova","year":"1979","unstructured":"Casanova M.A., Bernstein P.A The Logic of a Data Manipulation Language, In Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages (San Antonio, Texas), ACM, New York, 1979."},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Clifford J., Warren D.S. Formal Semantics for Time in Databases ACM TODS Vol.8, No.2, June 1983.","DOI":"10.1145\/319983.319986"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Clifford J. Towards an Algebra of Historical Relational Databases ACM SiGMOD Intern. Conf. on Management of Data, Austin, Texas, May 1985.","DOI":"10.1145\/318898.318922"},{"key":"15_CR7","unstructured":"Dubois E., et al The ERAE Model: A Case Study in [Oll86]."},{"key":"15_CR8","volume-title":"Software development: a rigorous approach","author":"C.B. Jones","year":"1981","unstructured":"Jones C.B., Software development: a rigorous approach, Prentice Hall, London, 1981."},{"key":"15_CR9","unstructured":"Krogstie J., McBrien P.J., Owens R.P., Seltveit A.H., Coupling between Process and Rule Based Approaches, CAiSE '91."},{"key":"15_CR10","unstructured":"Loucopoulos, P. The RUBRIC Project \u2014 Integrating E-R, Object and Rule-based Paradigms, Workshop session on Design Paradigms, European Conference on Object Oriented Programming (ECOOP), 10\u201313 July 1989, Nottingham, U.K."},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Loucopoulos P., et al TEMPORA \u2014 Intergrating Database Technology, Rule Based Systems and Temporal Reawoning for Effective Software, Esprit '90 Conference Proceedings, Kluwer Academic Publishers (1990).","DOI":"10.1007\/978-94-009-0705-8_27"},{"key":"15_CR12","series-title":"SISU rapport","volume-title":"HYBRIS \u2014 A First Step Towards Efficient Information Management","author":"J. Lundh","year":"1989","unstructured":"Lundh J. & Rosengren P., HYBRIS \u2014 A First Step Towards Efficient Information Management, SISU rapport nr 5 (1989), Swedish Institute for Systems Development, Sweden"},{"key":"15_CR13","volume-title":"Logic and Data Bases","author":"J.M. Nicolas","year":"1978","unstructured":"Nicolas, J.M., Gallaire, H. Data Base: Theory vs Interpretation, In Logic and Data Bases, Gallaire, H., Minker, J. (eds), Plenum Press, New York, 1978."},{"key":"15_CR14","volume-title":"Logic and Data Bases","author":"J.M. Nicolas","year":"1978","unstructured":"Nicolas, J.M., Yazdanian, K. Integrity Checking in Deductive Databases, In Logic and Data Bases, Gallaire, H., Minker, J. (eds), Plenum Press, New York, 1978."},{"key":"15_CR15","unstructured":"Olle, T.W., Sol, H.G., Verrijn Stuart, A.A. Information systems design methodologies: a comparitive review, IFIP WG 8.1 CRIS I, North Holland (1982)."},{"key":"15_CR16","unstructured":"Olle, T.W., Sol, H.G., Tully, C.J. Information systems design methodologies: a feature analysis, IFIP WG 8.1 CRIS II, North Holland, 1983."},{"key":"15_CR17","unstructured":"Olle, T.W., Sol, H.G., Verrijn-Stuart, A.A. Information Systems Design Methodologies: Improving the Practice, Proc IFIP WG 8.1 Working Conference on Comparative Review of Information Systems Design Methodologies: Improving the Practice, Noordwijkerhout, The Netherlands, 5\u20137 May, 1986."},{"issue":"1","key":"15_CR18","first-page":"1","volume":"3","author":"D.T. Ross","year":"1977","unstructured":"Ross, D.T. and Schoman, K.E. Structured Analysis for requirements definition, IEEE Trans SE 3(1), 1977, p.p. 1\u201365.","journal-title":"IEEE Trans SE"},{"key":"15_CR19","unstructured":"Case Study Report: Irish Electricity Supply Board, UMIST, Rubric Esprit Project 928"},{"key":"15_CR20","doi-asserted-by":"crossref","unstructured":"Smith J.M., Smith D.C.P. Database Abstractions: Aggregation and Generalization, ACM TODS 2(2), June 1977.","DOI":"10.1145\/320544.320546"},{"key":"15_CR21","volume-title":"Information Systems Engineering","author":"A. S\u00f8lvberg","year":"1990","unstructured":"S\u00f8lvberg A., Kung C. Information Systems Engineering, Draft version, University of Trondheim, Norway, January 1990."},{"key":"15_CR22","doi-asserted-by":"crossref","unstructured":"Theodoulidis, C., Wangler, B. and Loucopoulos, P. Requirements Specification in TEMPORA, 2nd Nordic Conference on Advanced Information Systems Engineering (CAiSE90), Kista, Sweden, May 1990.","DOI":"10.1007\/BFb0000597"},{"key":"15_CR23","unstructured":"van Assche, F., Loucopoulos, P., Speltincx, G., Venken, R. Development of Information Systems: A Rule Based Approach, Proceedings IFIP TC2\/TC8 Working Conference on \u2018The Role of AI in Databases and Information Systems', Canton, China, July, 1988, North Holland."},{"key":"15_CR24","unstructured":"Verheijen G. and Van Bekkum, J. NIAM: an information analysis method, in ISDM, a comparative review, North Holland (1982), IFIP."}],"container-title":["Lecture Notes in Computer Science","Advanced Information Systems Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54059-8_91","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,29]],"date-time":"2020-01-29T10:54:15Z","timestamp":1580295255000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54059-8_91"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540540595","9783540473787"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-54059-8_91","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]},"assertion":[{"value":"29 July 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}