{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:09:36Z","timestamp":1725455376918},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540606727"},{"type":"electronic","value":"9783540485278"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0020544","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T07:00:09Z","timestamp":1131865209000},"page":"329-340","source":"Crossref","is-referenced-by-count":4,"title":["From object specification towards agent design"],"prefix":"10.1007","author":[{"given":"Gunter","family":"Saake","sequence":"first","affiliation":[]},{"given":"Stefan","family":"Conrad","sequence":"additional","affiliation":[]},{"given":"Can","family":"T\u00fcrker","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,10]]},"reference":[{"key":"29_CR1","unstructured":"A. H. Bond, L. Gasser, eds. Readings in Distributed Artificial Intelligence. Morgan Kaufmann, 1988."},{"key":"29_CR2","unstructured":"S. Brass, U. W. Lipeck, P. Resende. Specification of Object Behaviour with Defaults. In U. W. Lipeck, G. Koschorreck, eds., Proc. Int. Workshop on Information Systems \u2014 Correctness and Reusability (IS-CORE'93), Tech. Rep. 01\/93, University of Hanover, pp. 155\u2013177, 1993."},{"key":"29_CR3","doi-asserted-by":"crossref","unstructured":"M. L. Brodie. The Promise of Distributed Computing and the Challenges of Legacy Systems. In P. M. Gray, R. J. Lucas, eds., Advanced Database Systems (Proc. BNCOD-10), pp. 1\u201328. Springer LNCS 618, 1992.","DOI":"10.1007\/3-540-55693-1_29"},{"key":"29_CR4","unstructured":"A. P. Buchmann. Modeling Heterogeneous Systems as an Active Object Space. In A. Dearle, G. M. Shaw, S. B. Zdonik, eds., Proc. 4th Int. Workshop on Persistent Object Systems, pp. 279\u2013290. Morgan Kaufmann, 1991."},{"key":"29_CR5","doi-asserted-by":"crossref","unstructured":"E. Dubois, P. Du Bois, M. Petit. O-O Requirements Analysis: An Agent Perspective. In O. Nierstrasz, ed., ECOOP'93 \u2014 Object-Oriented Programming, pp. 458\u2013481. Springer LNCS 707, 1993.","DOI":"10.1007\/3-540-47910-4_23"},{"key":"29_CR6","unstructured":"R. Dieng, P. A. Tourtier. A Composite System for Knowledge Acquisition and User Assistance. In Proc. AAAI Spring Symp. Design of Composite Systems, 1991."},{"issue":"3","key":"29_CR7","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1093\/logcom\/1.3.357","volume":"1","author":"J. Fiadeiro","year":"1991","unstructured":"J. Fiadeiro, T. Maibaum. Temporal Reasoning over Deontic Specifications. Journal of Logic and Computation, 1(3):357\u2013395, 1991.","journal-title":"Journal of Logic and Computation"},{"issue":"7","key":"29_CR8","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1145\/176789.176794","volume":"37","author":"M. R. Genesereth","year":"1994","unstructured":"M. R. Genesereth, S. P. Ketchpel. Software Agents. Communications of the ACM, 37(7):48\u201353, 1994.","journal-title":"Communications of the ACM"},{"key":"29_CR9","first-page":"57","volume-title":"LNCS 615","author":"T. Hartmann","year":"1992","unstructured":"T. Hartmann, R. Jungclaus, and G. Saake. Aggregation in a Behavior Oriented Object Model. In O. Lehrmann Madsen, editor, Proc. of the European Conf. on Object-Oriented Programming (ECOOP'92), pages 57\u201377. Springer-Verlag, LNCS 615, Berlin, 1992."},{"key":"29_CR10","unstructured":"T. Hartmann, G. Saake, R. Jungclaus, P. Hartel, J. Kusch. Revised Version of the Modelling Language Troll (Version 2.0). Report 94-03, TU Braunschweig, 1994."},{"key":"29_CR11","unstructured":"A. Jones, M. Sergot. On the Characterisation of Law and Computer Systems: The Normative System Perspective. In J.-J. Ch. Meyer, R. J. Wieringa, eds., Deontic Logic in Computer Science: Normative System Specification, chapter 12. Wiley, 1993."},{"key":"29_CR12","doi-asserted-by":"crossref","unstructured":"R. Jungclaus, G. Saake, T. Hartmann, C. Sernadas. Troll \u2014 A Language for Object-Oriented Specification of Information Systems. ACM Transactions on Information Systems, 1995. To appear.","DOI":"10.1145\/226163.226166"},{"key":"29_CR13","unstructured":"J.-J. Ch. Meyer. Modal Logics for Knowledge Representation. In R. P. van de Riet, R. A. Meersman, eds., Linguistic Instruments in Knowledge Engineering, pp. 251\u2013275. North-Holland, 1992."},{"key":"29_CR14","doi-asserted-by":"crossref","unstructured":"Z. Manna, A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Vol. 1: Specification. Springer, 1992.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"29_CR15","doi-asserted-by":"crossref","unstructured":"R. Reiter. Towards a Logical Reconstruction of Relational Database Theory. In M. L. Brodie, J. Mylopoulos, J. W. Schmidt, eds., On Conceptual Modeling, pp. 191\u2013239. Springer, 1984.","DOI":"10.1007\/978-1-4612-5196-5_8"},{"key":"29_CR16","unstructured":"E. Rich, K. Knight. Artificial Intelligence. McGraw-Hill, 1991."},{"key":"29_CR17","unstructured":"M. Ryan. Defaults in Specifications. In A. Finkelstein, ed., Proc. of the IEEE Conf. on Requirements Engineering (San Diego), 1993."},{"issue":"4","key":"29_CR18","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1142\/S0218215793000198","volume":"2","author":"G. Saake","year":"1993","unstructured":"G. Saake, R. Jungclaus, 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"},{"key":"29_CR19","unstructured":"A. Sernadas, C. Sernadas, J. F. Costa. Object Specification Logic. Internal Report, INESC, University of Lisbon, 1992."},{"key":"29_CR20","unstructured":"A. Sernadas, C. Sernadas, H.-D. Ehrich. Object-Oriented Specification of Databases: An Algebraic Approach. In P. M. Stocker, W. Kent, eds., Proc. VLDB'87, pp. 107\u2013116. Morgan Kaufmann, 1987."},{"key":"29_CR21","unstructured":"G. Saake, A. Sernadas, C. Sernadas. Evolving Object Specifications. In R. Wieringa, R. Feenstra, eds., Information Systems \u2014 Correctness and Reusability. Selected Papers. World Scientific Publishing, 1995."},{"key":"29_CR22","unstructured":"R. Wieringa, W. De Jonge. The Identification of Objects and Roles \u2014 Object Identifiers Revisited. Report IR-267 (Vers. 2), VU Amsterdam, 1992."}],"container-title":["Lecture Notes in Computer Science","OOER '95: Object-Oriented and Entity-Relationship Modeling"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0020544","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T20:51:39Z","timestamp":1586551899000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0020544"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540606727","9783540485278"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/bfb0020544","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}