{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:54:32Z","timestamp":1725515672942},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540705680"},{"type":"electronic","value":"9783540705697"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-70569-7_28","type":"book-chapter","created":{"date-parts":[[2008,7,15]],"date-time":"2008-07-15T05:28:15Z","timestamp":1216099695000},"page":"300-305","source":"Crossref","is-referenced-by-count":3,"title":["Task Model Refinement with Meta Operators"],"prefix":"10.1007","author":[{"given":"Maik","family":"Wurdel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Sinnig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Forbrig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"28_CR1","volume-title":"DSV-IS 1998","author":"M. Welie van","year":"1998","unstructured":"van Welie, M., van der Veer, G., Eli\u00ebns, A.: An Ontology for Task World Models. In: DSV-IS 1998. Springer, Abingdon (1998)"},{"key":"28_CR2","volume-title":"Model-Based Design and Evaluation of Interactive Applications","author":"F. Paterno","year":"1999","unstructured":"Paterno, F.: Model-Based Design and Evaluation of Interactive Applications. Springer, London (1999)"},{"key":"28_CR3","volume-title":"Proceedings of the IFIP TC6\/WG6.1","author":"F. Khendek","year":"2001","unstructured":"Khendek, F., Bourduas, S., Vincent, D.: Stepwise Design with Message Sequence Charts. In: Proceedings of the IFIP TC6\/WG6.1. Kluwer, B.V. (2001)"},{"key":"28_CR4","first-page":"468","volume-title":"Conformance testing methodologies and architectures for OSI protocols","author":"E. Brinksma","year":"1995","unstructured":"Brinksma, E., Scollo, G., Steenbergen, C.: Lotos specifications, their implementations and their tests. In: Conformance testing methodologies and architectures for OSI protocols, pp. 468\u2013479. IEEE Computer Society Press, Los Alamitos (1995)"},{"key":"28_CR5","volume-title":"Proceedings of Design, Specification and Verification of Interactive Systems 2007","author":"D. Sinnig","year":"2007","unstructured":"Sinnig, D., Chalin, P., Khendek, F.: Consistency between Task Models and Use Cases. In: Proceedings of Design, Specification and Verification of Interactive Systems 2007. Salamanca, Spain (2007)"},{"key":"28_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/978-3-540-77222-4_5","volume-title":"Task Models and Diagrams for User Interface Design","author":"D. Sinnig","year":"2007","unstructured":"Sinnig, D., Wurdel, M., Forbrig, P., Chalin, P., Khendek, F.: Practical Extensions for Task Models. In: Winckler, M., Johnson, H., Palanque, P. (eds.) TAMODIA 2007. LNCS, vol.\u00a04849, pp. 42\u201355. Springer, Heidelberg (2007)"},{"key":"28_CR7","volume-title":"Handbook of Process Algebra","author":"J.A. Bergstra","year":"2001","unstructured":"Bergstra, J.A.: Handbook of Process Algebra. Elsevier Science Inc., Amsterdam (2001)"}],"container-title":["Lecture Notes in Computer Science","Interactive Systems. Design, Specification, and Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70569-7_28.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:23:04Z","timestamp":1620015784000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70569-7_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540705680","9783540705697"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70569-7_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}