{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,23]],"date-time":"2025-01-23T05:19:28Z","timestamp":1737609568362,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540670278"},{"type":"electronic","value":"9783540465812"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-46581-2_5","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T21:23:59Z","timestamp":1194989039000},"page":"57-73","source":"Crossref","is-referenced-by-count":4,"title":["Towards an Agent-Oriented Framework for Specification of Information Systems"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Conrad","sequence":"first","affiliation":[]},{"given":"Gunter","family":"Saake","sequence":"additional","affiliation":[]},{"given":"Can","family":"T\u00fcrker","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,6,4]]},"reference":[{"key":"5_CR1","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Advanced Database Systems, Proc. of the 10th British National Conf. on Databases, BNCOD 10, Aberdeen, Scotland, July 1992","author":"M. L. Brodie","year":"1992","unstructured":"M. L. Brodie. The Promise of Distributed Computing and the Challenges of Legacy Systems. In P. M. Gray and R. J. Lucas, editors, Advanced Database Systems, Proc. of the 10th British National Conf. on Databases, BNCOD 10, Aberdeen, Scotland, July 1992, Lecture Notes in Computer Science, Vol. 618, pages 1\u201328. Springer-Verlag, Berlin, 1992."},{"key":"5_CR2","first-page":"279","volume-title":"Implementing Persistent Object Bases, Principles and Practice, Proc. of the 4th Int. Workshop on Persistent Object Systems, Martha\u2019s Vineyard, MA, USA, September 23\u201327, 1990","author":"A. P. Buchmann","year":"1991","unstructured":"A. P. Buchmann. Modeling Heterogeneous Systems as an Active Object Space. In Implementing Persistent Object Bases, Principles and Practice, Proc. of the 4th Int. Workshop on Persistent Object Systems, Martha\u2019s Vineyard, MA, USA, September 23\u201327, 1990, pages 279\u2013290. Morgan Kaufmann Publishers, San Mateo, CA, 1991."},{"issue":"2","key":"5_CR3","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/0169-023X(95)00039-U","volume":"18","author":"S. Conrad","year":"1996","unstructured":"S. Conrad. A Basic Calculus for Verifying Properties of Interacting Objects. Data & Knowledge Engineering, 18(2):119\u2013146, March 1996.","journal-title":"Data & Knowledge Engineering"},{"key":"5_CR4","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1007\/978-1-4615-5643-5_7","volume-title":"Logics for Databases and Information Systems","author":"S. Conrad","year":"1998","unstructured":"S. Conrad, J. Ramos, G. Saake, and C. Sernadas. Evolving Logical Specification in Information Systems. In J. Chomicki and G. Saake, editors, Logics for Databases and Information Systems, chapter 7, pages 199\u2013228, Kluwer Academic Publishers, Boston, 1998."},{"key":"5_CR5","series-title":"Lecture Notes in Artificial Intelligence","first-page":"60","volume-title":"Foundations of Intelligent Systems (Proceedings, 10th International Symposium, ISMIS\u201997, Charlotte, North Carolina, USA, October 1997)","author":"S. Conrad","year":"1997","unstructured":"S. Conrad and G. Saake. Extending Temporal Logic for Capturing Evolving Behaviour. In Z.W. Ra\u015b and A. Skowron, editors, Foundations of Intelligent Systems (Proceedings, 10th International Symposium, ISMIS\u201997, Charlotte, North Carolina, USA, October 1997), Lecture Notes in Artificial Intelligence, Vol. 1325, pages 60\u201371. Springer-Verlag, Berlin, 1997."},{"key":"5_CR6","unstructured":"J. Fiadeiro and T. Maibaum. Towards Object Calculi. In G. Saake and A. Sernadas, editors, Information Systems\u2013Correctness and Reusability, Informatik-Bericht No. 91-3, pages 129\u2013178, Technische Universit\u00e4t Braunschweig, 1991."},{"key":"5_CR7","unstructured":"R. B. Feenstra and R. J. Wieringa. LCM 3.0: A Language for Describing Conceptual Models. Technical Report, Faculty of Mathematics and Computer Science, Vrije Universiteit Amsterdam, 1993."},{"issue":"7","key":"5_CR8","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1145\/176789.176794","volume":"37","author":"M. R. Genesereth","year":"1994","unstructured":"M. R. Genesereth and S. P. Ketchpel. Software Agents. Communications of the ACM, 37(7):48\u201353, July 1994.","journal-title":"Communications of the ACM"},{"key":"5_CR9","unstructured":"M. Huhns, M. P. Papazoglou, and G. Schlageter, editors. Proc. of the Int. Conf. Intelligent and Cooperating Information Systems, Rotterdam, The Netherlands. IEEE Computer Society Press, May 1993."},{"key":"5_CR10","unstructured":"HSJ+94._T. Hartmann, G. Saake, R. Jungclaus, P. Hartel, and J. Kusch. Revised Version of the Modelling Language Troll (Version 2.0). Informatik-Bericht 94-03, Technische Universit\u00e4t Braunschweig, 1994."},{"key":"5_CR11","unstructured":"A. Jones and M. Sergot. On the Characterisation of Law and Computer Systems: The Normative System Perspective. In J.-J. Ch. Meyer and R. J. Wieringa, editors, Deontic Logic in Computer Science: Normative System Specification, chapter 12, John Wiley & Sons, Inc., 1993."},{"issue":"2","key":"5_CR12","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1145\/226163.226166","volume":"14","author":"R. Jungclaus","year":"1996","unstructured":"R. Jungclaus, G. Saake, T. Hartmann, and C. Sernadas. Troll \u2014 A Language for Object-Oriented Specification of Information Systems. ACM Transactions on Information Systems, 14(2):175\u2013211, April 1996.","journal-title":"ACM Transactions on Information Systems"},{"key":"5_CR13","series-title":"Advanced Studies in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-663-14018-4","volume-title":"Modeling of Dynamic Object Systems \u2014 A Logic-Based Approach","author":"R. Jungclaus","year":"1993","unstructured":"R. Jungclaus. Modeling of Dynamic Object Systems \u2014 A Logic-Based Approach. Advanced Studies in Computer Science. Vieweg-Verlag, Wiesbaden, 1993."},{"key":"5_CR14","first-page":"251","volume-title":"Linguistic Instruments in Knowledge Engineering","author":"J.-J. Ch. Meyer","year":"1992","unstructured":"J.-J. Ch. Meyer. Modal Logics for Knowledge Representation. In R. P. van de Riet and R. A. Meersman, editors, Linguistic Instruments in Knowledge Engineering, pages 251\u2013275. North-Holland, Amsterdam, 1992."},{"key":"5_CR15","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/978-1-4612-5196-5_8","volume-title":"On Conceptual Modeling","author":"Reiter. R","year":"1984","unstructured":"R. Reiter. Towards a Logical Reconstruction of Relational Database Theory. In M. L. Brodie, J. Mylopoulos, and J. W. Schmidt, editors, On Conceptual Modeling, pages 191\u2013239, Springer-Verlag, New York, NJ, 1984."},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"M. Ryan. Defaults in Specifications. In A. Finkelstein, editor, Proc. of the IEEE Int. Symposium on Requirements Engineering (RE\u201993), San Diego, CA, pages 142\u2013149, IEEE Computer Society Press, 1993.","DOI":"10.1109\/ISRE.1993.324823"},{"key":"5_CR17","unstructured":"M. Ryan. Belief Revision and Ordered Theory Presentation. In A. Fuhrmann and H. Rott, editors, Logic, Action and Information, De Gruyter Publishers, 1994."},{"key":"5_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1007\/BFb0020544","volume-title":"OOER\u201995: Object-Oriented and Entity-Relationship Modeling, Proc. of the 14th Int. Conf., Gold Coast, Australia, December 1995","author":"G. Saake","year":"1995","unstructured":"G. Saake, S. Conrad, and C. T\u00fcrker. From Object Specification towards Agent Design. In M. Papazoglou, editor, OOER\u201995: Object-Oriented and Entity-Relationship Modeling, Proc. of the 14th Int. Conf., Gold Coast, Australia, December 1995, Lecture Notes in Computer Science, Vol. 1021, pages 329\u2013340. Springer-Verlag, Berlin, 1995."},{"issue":"1","key":"5_CR19","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0004-3702(93)90034-9","volume":"60","author":"Y. Shoham","year":"1993","unstructured":"Y. Shoham. Agent-Oriented Programming. Artificial Intelligence, 60(1):51\u201392, March 1993.","journal-title":"Artificial Intelligence"},{"issue":"4","key":"5_CR20","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1142\/S0218215793000198","volume":"2","author":"G. Saake","year":"1993","unstructured":"G. Saake, R. Jungclaus, and T. Hartmann. Application Modelling in Heterogeneous Environments Using an Object Specification Language. Int. Journal of Intelligent and Cooperative Information Systems, 2(4):425\u2013449, 1993.","journal-title":"Int. Journal of Intelligent and Cooperative Information Systems"},{"issue":"5","key":"5_CR21","doi-asserted-by":"publisher","first-page":"603","DOI":"10.1093\/logcom\/5.5.603","volume":"5","author":"A. Sernadas","year":"1995","unstructured":"A. Sernadas, C. Sernadas, and J. Costa. Object Specification Logic. Journal of Logic and Computation, 5(5):603\u2013630, 1995.","journal-title":"Journal of Logic and Computation"},{"key":"5_CR22","first-page":"107","volume-title":"Proc. of the 13th Int. Conf. on Very Large Data Bases (VLDB\u201987), Brighton, England","author":"A. Sernadas","year":"1987","unstructured":"A. Sernadas, C. Sernadas, and H.-D. Ehrich. Object-Oriented Specification of Databases: An Algebraic Approach. In P. M. Stocker and W. Kent, editors, Proc. of the 13th Int. Conf. on Very Large Data Bases (VLDB\u201987), Brighton, England, pages 107\u2013116. Morgan Kaufmann Publishers, Los Altos, CA, September 1987."},{"key":"5_CR23","volume-title":"OBLOG \u2014 Object-Oriented Logic: An Informal Introduction","author":"S.S.G.+.9.1._.A. Sernadas","year":"1991","unstructured":"SSG+91._A. Sernadas, C. Sernadas, P. Gouveia, P. Resende, and J. Gouveia. OBLOG \u2014 Object-Oriented Logic: An Informal Introduction. Technical Report, INESC, Lisbon, 1991."},{"key":"5_CR24","first-page":"84","volume-title":"Information Systems \u2014 Correctness and Reusability. Selected Papers from the IS-CORE Workshop","author":"G. Saake","year":"1995","unstructured":"G. Saake, A. Sernadas, and C. Sernadas. Evolving Object Specifications. In R. Wieringa and R. Feenstra, editors, Information Systems \u2014 Correctness and Reusability. Selected Papers from the IS-CORE Workshop, pages 84\u201399, World Scientific Publishing, Singapore, 1995."},{"key":"5_CR25","series-title":"Lecture Notes in Artificial Intelligence","first-page":"572","volume-title":"Foundations of Intelligent Systems, Proc. of the 9th Int. Symposium on Methodologies for Intelligent Systems, ISMIS\u201996, Zakopane, Poland","author":"C. T\u00fcrker","year":"1996","unstructured":"C. T\u00fcrker, S. Conrad, and G. Saake. Dynamically Changing Behavior: An Agent-Oriented View to Modeling Intelligent Information Systems. In Z. W. Ra\u015b and M. Michalewicz, editors, Foundations of Intelligent Systems, Proc. of the 9th Int. Symposium on Methodologies for Intelligent Systems, ISMIS\u201996, Zakopane, Poland, Lecture Notes in Artificial Intelligence, Vol. 1079, pages 572\u2013581. Springer-Verlag, Berlin, June 1996."},{"key":"5_CR26","unstructured":"C. T\u00fcrker, G. Saake, and S. Conrad. Modeling Database Federations in Terms of Evolving Agents. In F. Pin, Z. W. Ras, and A. Skowron, editors, ISMIS 1997 \u2014 Poster Proceedings of the 10th Int. Symposium on Methodologies for Intelligent Systems, Charlotte, North Carolina, October 15\u201318, 1997, pages 197\u2013208, Oak Ridge National Laboratory, 1997."},{"key":"5_CR27","unstructured":"C. T\u00fcrker, G. Saake, and S. Conrad. Requirements for Agent-based Modeling of Federated Database Systems (Extended Abstract). In A. Cesta and P.-Y. Schobbens, editors, ModelAge 97, Proc. of the 4th ModelAge Workshop on Formal Models of Agents, Certosa di Pontignano, Italy, January 15\u201317, 1997, pages 335\u2013343, National Research Council of Italy, Institute of Psychology, 1997."},{"key":"5_CR28","series-title":"Lecture Notes in Artificial Intelligence","first-page":"1","volume-title":"Intelligent Agents, Proc. of the ECAI\u201994 Workshop on Agent Theories, Architectures, and Languages, Amsterdam, The Netherlands, August 1994","author":"M. J. Wooldridge","year":"1995","unstructured":"M. J. Wooldridge and N. R. Jennings. Agents Theories, Architectures, and Languages: A Survey. In M. J.Wooldridge and N. R. Jennings, editors, Intelligent Agents, Proc. of the ECAI\u201994 Workshop on Agent Theories, Architectures, and Languages, Amsterdam, The Netherlands, August 1994, Lecture Notes in Artificial Intelligence, Vol. 890, pages 1\u201339. Springer-Verlag, Berlin, 1995."}],"container-title":["Lecture Notes in Computer Science","Formal Models of Agents"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46581-2_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T08:25:43Z","timestamp":1737534343000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46581-2_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540670278","9783540465812"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-46581-2_5","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}