{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T09:43:50Z","timestamp":1725615830541},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642169007"},{"type":"electronic","value":"9783642169014"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16901-4_40","type":"book-chapter","created":{"date-parts":[[2010,11,8]],"date-time":"2010-11-08T12:40:06Z","timestamp":1289220006000},"page":"613-629","source":"Crossref","is-referenced-by-count":4,"title":["Model-Driven Protocol Design Based on Component Oriented Modeling"],"prefix":"10.1007","author":[{"given":"Prabhu Shankar","family":"Kaliappan","sequence":"first","affiliation":[]},{"given":"Hartmut","family":"K\u00f6nig","sequence":"additional","affiliation":[]},{"given":"Sebastian","family":"Schmerl","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"40_CR1","unstructured":"ITU-T Recommendation Z.100.: Specification and Description Language SDL (2002)"},{"key":"40_CR2","unstructured":"ISO: Information Processing Systems - Open Systems Interconnection - LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, IS 8807 (2006)"},{"key":"40_CR3","doi-asserted-by":"crossref","unstructured":"Jaragh, M., Saleh, K.A.: Protocols Modeling Using the Unified Modeling Language. In: Proceedings of IEEE Region 10 International Conference, Singapore (2001)","DOI":"10.1109\/TENCON.2001.949553"},{"key":"40_CR4","unstructured":"P\u00e4rssinen, J.: Turunen.M.: Patterns for Protocol System Architecture. In: Proceedings of the 7th Conference on Pattern Languages of Programs, Illinois, USA (2000)"},{"key":"40_CR5","volume-title":"Information and Software Technology","author":"R. Gotzhein","year":"2003","unstructured":"Gotzhein, R.: Consolidating and Applying the SDL-pattern approach: A Detailed Case Study. In: Information and Software Technology, vol.\u00a045 -11. Elsevier Sciences, Amsterdam (2003)"},{"issue":"6","key":"40_CR6","doi-asserted-by":"publisher","first-page":"627","DOI":"10.1016\/S1389-1286(00)00202-4","volume":"35","author":"B. Geppert","year":"2001","unstructured":"Geppert, B., R\u00f6\u00dfler, F.: The SDL pattern approach \u2013 A Reuse-Driven SDL Design Methodology. Computer Networks\u00a035(6), 627\u2013645 (2001)","journal-title":"Computer Networks"},{"key":"40_CR7","doi-asserted-by":"crossref","unstructured":"Byun, Y., Sanders, B.A.: A Pattern Based Development Methodology for Communication Protocols. In: Proc. of the ACM Symposium on Applied Computing, New York (2005)","DOI":"10.1145\/1066677.1067020"},{"key":"40_CR8","doi-asserted-by":"crossref","unstructured":"Herrmann, P., Krumm, H.: A Framework for Modeling Transfer Protocols. Computer Networks 34 (2000)","DOI":"10.1016\/S1389-1286(00)00089-X"},{"key":"40_CR9","volume-title":"Specifying Systems: The TLA+ Language and Tools for Hardware and Software","author":"L. Lamport","year":"2002","unstructured":"Lamport, L.: Specifying Systems: The TLA+ Language and Tools for Hardware and Software. Pearson Education, Inc., London (2002)"},{"key":"40_CR10","unstructured":"Object Management Group.: UML Superstructure - Specification Standard Document. OMG Unified Modeling Language (OMG UML) (February 2009)"},{"key":"40_CR11","unstructured":"Thramboulidis, K., Mikroyannidis, A.: Using UML for the Design of Communication Protocols: The TCP case study. In: IEEE International Conference on Software, Telecommunications and Computer Networks, Dubrovnic, Croatia (2003)"},{"key":"40_CR12","unstructured":"Patel, D.: Object-Oriented Design of an Embedded Communication Protocol in UML. A Technical Report, Design of Embedded Systems, University of California, Berkeley (1999)"},{"key":"40_CR13","unstructured":"eXample Data Transfer Protocol, http:\/\/www.protocol-engineering.tu-cottbus.de\/"},{"key":"40_CR14","volume-title":"The Spin Model Checker","author":"G.J. Holzmann","year":"2006","unstructured":"Holzmann, G.J.: The Spin Model Checker. Addison-Wesley, Reading (2006)"},{"key":"40_CR15","unstructured":"Visual Paradigm UML Suite, http:\/\/www.visual-paradigm.com\/product\/vpuml\/"},{"key":"40_CR16","doi-asserted-by":"crossref","unstructured":"Kraemer, F.A., Herrmann, P.: Service Specification by Composition of Collaborations - An Example. In: Proceedings of the WI-IAT Workshops, Hong Kong, P.R. China (2006)","DOI":"10.1109\/WI-IATW.2006.121"},{"key":"40_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-04554-7_1","volume-title":"SDL 2009: Design for Motes and Mobiles","author":"F.A. Kraemer","year":"2009","unstructured":"Kraemer, F.A., Sl\u00e5tten, V., Herrmann, P.: Model-Driven Construction of Embedded Applications based on Reusable Building blocks. In: Reed, R., Bilgic, A., Gotzhein, R. (eds.) SDL 2009: Design for Motes and Mobiles. LNCS, vol.\u00a05719, pp. 1\u201318. Springer, Heidelberg (2009)"},{"key":"40_CR18","volume-title":"Proceedings of the Third IEEE international Symposium on Object-Oriented Real-Time Distributed Computing","author":"G. Graw","year":"2000","unstructured":"Graw, G., Herrmann, P., Krumm, H.: Verification of UML-Based Real-Time System Designs by Means of cTLA. In: Proceedings of the Third IEEE international Symposium on Object-Oriented Real-Time Distributed Computing. IEEE Computer Society, Los Alamitos (2000)"},{"key":"40_CR19","unstructured":"Kaliappan, P.S., K\u00f6nig, H., Schmerl, S.: Formal Methods Integration to UML-based Design Specification. Submitted to SLE 2010, Eindhoven, The Netherlands (2010)"},{"key":"40_CR20","doi-asserted-by":"crossref","unstructured":"Plotkin, G.D.: A Structural Approach to Operational Semantic. Journal of Logic and Programming in Structural Operational Semantics 60-61 (December 2004)","DOI":"10.1016\/j.jlap.2004.03.009"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16901-4_40","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,6]],"date-time":"2019-06-06T00:12:29Z","timestamp":1559779949000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16901-4_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642169007","9783642169014"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16901-4_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}