{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:15:04Z","timestamp":1725664504335},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540587866"},{"type":"electronic","value":"9783540491002"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58786-1_70","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:43:56Z","timestamp":1330274636000},"page":"10-27","source":"Crossref","is-referenced-by-count":1,"title":["Specifying business processes over objects"],"prefix":"10.1007","author":[{"given":"Peter","family":"Hartel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ralf","family":"Jungclaus","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"2_CR1","unstructured":"D. Coleman, P. Arnold, S. Bodoff, S. Dollin, H. Gilchrist, F. Hayes, and P. Jeremes. Object-oriented Development \u2014 The Fusion Method. Prentice-Hall, 1994."},{"issue":"1","key":"2_CR2","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/320434.320440","volume":"1","author":"P. Chen","year":"1976","unstructured":"P. Chen. The Entity-Relationship Model-Toward a Unified View of Data. ACM Transactions on Database Systems, 1(1):9\u201336, 1976.","journal-title":"ACM Transactions on Database Systems"},{"issue":"9","key":"2_CR3","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1145\/130994.130998","volume":"35","author":"B. Curtis","year":"1992","unstructured":"B. Curtis, M. Kellner, and J. Over. Process Modeling. Communications of the ACM, 35(9):75\u201390, 1992.","journal-title":"Communications of the ACM"},{"key":"2_CR4","first-page":"144","volume-title":"Active Object Environments","author":"L. Dami","year":"1988","unstructured":"L. Dami, E. Fiume, O. Nierstrazs, and D. Tsichritzis. Temporal Scripts for Objects. In D. Tsichritzis, editor, Active Object Environments, pages 144\u2013161. Centre Universitaire D'Informatique, Geneva, 1988."},{"issue":"6","key":"2_CR5","first-page":"589","volume":"35","author":"O. K. Frestl","year":"1993","unstructured":"O. K. Frestl and E. J. Sinz. Business Process Modeling. Wirtschaftsinformatik, 35(6):589\u2013592, 1993. (in German).","journal-title":"Wirtschaftsinformatik"},{"key":"2_CR6","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"D. Harel. Statecharts: a visual formalism for complex systems. Science of Computer Programming, 8:231\u2013274, 1987.","journal-title":"Science of Computer Programming"},{"key":"2_CR7","unstructured":"P. Hartel, T. Hartmann, J. Kusch, and G. Saake. Specifying Information System Dynamics in TROLL. In E. Dubois, P. Hartel, and G. Saake, editors, Proc. Workshop Formal Methods for Information System Dynamics, Utrecht (NL), pages 53\u201364. Univ. of Twente, Technical Report, 1994."},{"key":"2_CR8","volume-title":"Communicating Sequential Processes","author":"C. A. R. Hoare","year":"1985","unstructured":"C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs, NJ, 1985."},{"key":"2_CR9","unstructured":"T. Hartmann and G. Saake. Abstract Specification of Object Interaction. Informatik-Bericht 93-08, Technische Universit\u00e4t Braunschweig, 1993."},{"key":"2_CR10","unstructured":"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":"2_CR11","volume-title":"Object-Oriented Software Engineering","author":"I. Jacobson","year":"1992","unstructured":"I. Jacobson. Object-Oriented Software Engineering. Addison-Wesley, Reading, MA, 1992."},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"R. Jungclaus, G. Saake, T. Hartmann, and C. Sernadas. Object-Oriented Specification of Information Systems: The TROLL Language. Informatik-Bericht 91-04, TU Braunschweig, 1991.","DOI":"10.1007\/3540539816_61"},{"key":"2_CR13","volume-title":"Advanced Studies in Computer Science","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, Braunschweig\/Wiesbaden, 1993."},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"R. Jungclaus, R. Wieringa, P. Hartel, G. Saake, and T. Hartmann. Combining Troll with the Object Modeling Technique. In Proc. IFIP'94 Workshop F1, GI-Fachgespr\u00e4ch, Hamburg. Springer, Informatik aktuell, 1994. To appear.","DOI":"10.1007\/978-3-642-51136-3_5"},{"key":"2_CR15","first-page":"145","volume-title":"Information Sysyem Design Methodologies: Improving the Practice (Proc. IFIP WG 8.1 Working Conference, Noordwijkerhout (NL))","author":"C. Kung","year":"1986","unstructured":"C. Kung and A. Solberg. Activity Modeling and Behavior Modeling. In T. Olle, H. Sol, and A. Werrijn-Stuart, editors, Information Sysyem Design Methodologies: Improving the Practice (Proc. IFIP WG 8.1 Working Conference, Noordwijkerhout (NL)), pages 145\u2013171, Amsterdam, 1986. North-Holland."},{"key":"2_CR16","volume-title":"The Temporal Logic of Reactive and Concurrent Systems","author":"Z. Manna","year":"1991","unstructured":"Z. Manna and Pnueli A. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag, New York, 1991."},{"issue":"2","key":"2_CR17","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1145\/320141.320150","volume":"5","author":"J. Mylopoulos","year":"1980","unstructured":"J. Mylopoulos, P. A. Bernstein, and H. K. T. Wong. A Language Facility for Designing Interactive Database-Intensive Applications. ACM Transactions on Database Systems, 5(2):185\u2013207, 1980.","journal-title":"ACM Transactions on Database Systems"},{"key":"2_CR18","first-page":"463","volume-title":"Machine Intelligence","author":"J. McCarthy","year":"1969","unstructured":"J. McCarthy and P. Hayes. Some Philosophical Problems from the Standpoint of Artificial Intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence, pages 463\u2013502. Edinburgh University Press, Edingburgh, 1969."},{"key":"2_CR19","first-page":"11","volume-title":"Object Composition","author":"O. Nierstrazs","year":"1991","unstructured":"O. Nierstrazs, D. Tsichritzis, V. Mey, and M. Stadelmann. Objects + Scripts = Applications. In D. Tsichritzis, editor, Object Composition, pages 11\u201330. Centre Universitaire D' Informatique, Geneva, 1991."},{"key":"2_CR20","volume-title":"Object-Oriented Modeling and Design","author":"J. Rumbaugh","year":"1991","unstructured":"J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice-Hall, Englewood Cliffs, NJ, 1991."},{"key":"2_CR21","volume-title":"Workflow Management in verteilten Systemen","author":"B. Reinwald","year":"1993","unstructured":"B. Reinwald. Workflow Management in verteilten Systemen. Teubner, Stuttgart, Leipzig, 1993."},{"key":"2_CR22","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-322-95370-4","volume-title":"Objektorientierte Spezifikation von Informationssystemen","author":"G. Saake","year":"1993","unstructured":"G. Saake. Objektorientierte Spezifikation von Informationssystemen. Teubner, Stuttgart\/Leipzig, 1993. Habilitationsschrift."},{"key":"2_CR23","first-page":"39","volume-title":"Object-Oriented Databases: Analysis, Design and Construction (Proc. 4th IFIP WG 2.6 Working Conference DS-4, Windermere (UK))","author":"A. Sernadas","year":"1991","unstructured":"A. Sernadas and H.-D. Ehrich. What Is an Object, After All? In R. Meersman, W. Kent, and S. Khosla, editors, Object-Oriented Databases: Analysis, Design and Construction (Proc. 4th IFIP WG 2.6 Working Conference DS-4, Windermere (UK)), pages 39\u201370, Amsterdam, 1991. North-Holland."},{"key":"2_CR24","first-page":"225","volume-title":"Information System Concepts: An In-Depth Analysis","author":"A. Sernadas","year":"1989","unstructured":"A. Sernadas, J. Fiadeiro, C. Sernadas, and H.-D. Ehrich. The Basic Building Blocks of Information Systems. In E. Falkenberg and P. Lindgreen, editors, Information System Concepts: An In-Depth Analysis, pages 225\u2013246, Namur (B), 1989. North-Holland, Amsterdam, 1989."},{"issue":"4","key":"2_CR25","doi-asserted-by":"crossref","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"},{"key":"2_CR26","unstructured":"A. Sernadas, C. Sernadas, and J. F. Costa. Object Specification Logic. Research report, INESC\/DMIST, Lisbon (P), 1992. To appear in Journal of Logic and Computation."},{"key":"2_CR27","first-page":"107","volume-title":"Proc. 13th Int. Conf. on Very Large Databases VLDB'87","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. Stoecker and W. Kent, editors, Proc. 13th Int. Conf. on Very Large Databases VLDB'87, pages 107\u2013116. VLDB Endowment Press, Saratoga (CA), 1987."},{"key":"2_CR28","unstructured":"R. Wieringa, R. Jungclaus, P. Hartel, T. Hartmann, and G. Saake. omTRoll \u2014 Object Modeling in TROLL. In U.W. Lipeck and G. Koschorreck, editors, Proc. Intern. Workshop on Information Systems \u2014 Correctness and Reusability IS-CORE '93, Technical Report, University of Hannover No. 01\/93, pages 267\u2013283, 1993."},{"key":"2_CR29","first-page":"219","volume-title":"Database Transaction Models for Advanced Applications","author":"H. W\u00e4chter","year":"1992","unstructured":"H. W\u00e4chter and A. Reuter. The ConTract Model. In A. K. Elmagarmid, editor, Database Transaction Models for Advanced Applications, pages 219\u2013263. Morgan-Kaufmann, Palo Alto, 1992."}],"container-title":["Lecture Notes in Computer Science","Entity-Relationship Approach \u2014 ER '94 Business Modelling and Re-Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58786-1_70.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:20:08Z","timestamp":1619572808000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58786-1_70"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540587866","9783540491002"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-58786-1_70","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}