{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:23:09Z","timestamp":1725488589776},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540426677"},{"type":"electronic","value":"9783540454410"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45441-1_29","type":"book-chapter","created":{"date-parts":[[2007,8,6]],"date-time":"2007-08-06T17:29:50Z","timestamp":1186421390000},"page":"391-405","source":"Crossref","is-referenced-by-count":12,"title":["Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML"],"prefix":"10.1007","author":[{"given":"Shane","family":"Sendall","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alfred","family":"Strohmeier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,9,17]]},"reference":[{"key":"29_CR1","doi-asserted-by":"crossref","unstructured":"E. Emerson; Temporal and Modal Logic. In J. van Leeuwen (Ed.), Handbook of Theoretical Computer Science, Amsterdam, 1989, pp. 995\u20131072.","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"29_CR2","doi-asserted-by":"crossref","unstructured":"J. Guttag et al. The Larch Family of Specification Languages. IEEE Trans Soft Eng 2(5), Sept. 1985.","DOI":"10.1109\/MS.1985.231756"},{"issue":"4","key":"29_CR3","doi-asserted-by":"publisher","first-page":"596","DOI":"10.1145\/69575.69577","volume":"5","author":"C. Jones","year":"1983","unstructured":"C. Jones; Tentative steps toward a development method for interfering programs. ACM Transactions on Programming Languages and Systems, 5(4):596\u2013619, 1983.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"29_CR4","unstructured":"C. Jones; Systematic Software Development Using VDM. Prentice Hall, 1986."},{"key":"29_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1007\/3-540-40011-7_38","volume-title":"UML 2000 \u2014 The Unified Modeling Language: Advancing the Standard, Third International Conference, York, UK, October 2-6, 2000","author":"M. Kand\u00e9","year":"2000","unstructured":"M. Kand\u00e9 and A. Strohmeier; Towards a UML Profile for Software Architecture. UML 2000 \u2014 The Unified Modeling Language: Advancing the Standard, Third International Conference, York, UK, October 2-6, 2000, S. Kent and A. Evans (Ed.), LNCS (Lecture Notes in Computer Science), no. 1939, pp. 513\u2013527; Also available as Technical Report (EPFL-DI No 00\/332)."},{"key":"29_CR6","doi-asserted-by":"crossref","unstructured":"J. Kienzle, A. Romanovsky and A. Strohmeier; Open Multithreaded Transactions: Keeping Threads and Exceptions under Control. 6th International Workshop on Object-Oriented Real-Time Dependable Systems, Italy, January 2001.","DOI":"10.1109\/WORDS.2001.945131"},{"key":"29_CR7","unstructured":"J. Kienzle; Open Multithreaded Transactions: A Transaction Model for Concurrent Object-Oriented Programming. Ph.D. Thesis EPFL-DI, no 2393, Swiss Federal Institute of Technology in Lausanne, Software Engineering Lab., 2001."},{"key":"29_CR8","doi-asserted-by":"crossref","unstructured":"K. Lano; Formal Object-Oriented Development. Springer-Verlag, 1995.","DOI":"10.1007\/978-1-4471-3073-4"},{"key":"29_CR9","unstructured":"B. Meyer; Object-Oriented Software Construction. Second Edition, Prentice Hall, 1997."},{"key":"29_CR10","unstructured":"OMG Unified Modeling Language Revision Task Force; OMG Unified Modeling Language Specification. Version 1.4 draft, February 2001. http:\/\/www.celigent.com\/omg\/umlrtf\/"},{"key":"29_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1007\/3-540-46852-8_20","volume-title":"UML\u2019 99-The Unified Modeling Language: Beyond the Standard, Second International Conference, Fort Collins, CO, USA, October 28\u201330, 1999","author":"S. Sendall","year":"1999","unstructured":"S. Sendall and A. Strohmeier; UML-based Fusion Analysis. UML\u2019 99-The Unified Modeling Language: Beyond the Standard, Second International Conference, Fort Collins, CO, USA, October 28\u201330, 1999, R. France and B. Rumpe (Ed.), LNCS (Lecture Notes in Computer Science), no. 1723, 1999, pp. 278\u2013291, extended version also available as Technical Report (EPFL-DI No 99\/319)."},{"key":"29_CR12","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"UML 2000 \u2014 The Unified Modeling Language: Advancing the Standard, Third International Conference","author":"S. Sendall","year":"2000","unstructured":"S. Sendall and A. Strohmeier; From Use Cases to System Operation Specifications. UML 2000 \u2014 The Unified Modeling Language: Advancing the Standard, Third International Conference, S. Kent and A. Evans (Ed.), LNCS (Lecture Notes in Computer Science), no. 1939, pp. 1\u201315; Also available as Technical Report (EPFL-DI No 00\/333)."},{"key":"29_CR13","doi-asserted-by":"crossref","unstructured":"S. Sendall and A. Strohmeier; Using OCL and UML to Specify System Behavior. Technical Report (EPFL-DI No 01\/359), Swiss Federal Institute of Technology in Lausanne, Software Engineering Lab. 2001; to be published in Lecture Notes in Computer Science, Springer-Verlag.","DOI":"10.1007\/3-540-45669-4_13"},{"key":"29_CR14","unstructured":"J. Spivey; The Z Notation: A Reference Manual. Prentice Hall, 1989."},{"key":"29_CR15","unstructured":"A. Strohmeier and S. Sendall; Operation Schemas and OCL. Technical Report (EPFL-DI No 01\/358), Swiss Federal Institute of Technology in Lausanne, Software Engineering Lab., 2001."},{"key":"29_CR16","unstructured":"J. Warmer and A. Kleppe; The Object Constraint Language: Precise Modeling With UML. Addison-Wesley 1998."}],"container-title":["Lecture Notes in Computer Science","\u226aUML\u226b 2001 \u2014 The Unified Modeling Language. Modeling Languages, Concepts, and Tools"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45441-1_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,13]],"date-time":"2023-05-13T18:04:32Z","timestamp":1684001072000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45441-1_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540426677","9783540454410"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-45441-1_29","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}