{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T16:07:19Z","timestamp":1742918839308,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642204005"},{"type":"electronic","value":"9783642204012"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-20401-2_35","type":"book-chapter","created":{"date-parts":[[2011,9,7]],"date-time":"2011-09-07T14:53:38Z","timestamp":1315407218000},"page":"719-736","source":"Crossref","is-referenced-by-count":0,"title":["Sensoria Patterns"],"prefix":"10.1007","author":[{"given":"Matthias","family":"H\u00f6lzl","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nora","family":"Koch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philip","family":"Mayer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Wirsing","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"35_CR1","volume-title":"The Design Patterns Smalltalk Companion","author":"S. Alpert","year":"1998","unstructured":"Alpert, S., Brown, K., Woolf, B.: The Design Patterns Smalltalk Companion. Addison-Wesley Professional, Reading (1998)"},{"key":"35_CR2","unstructured":"ATX Technologies. Modernizing Software and Increasing Business Values, http:\/\/www.atxtechnologies.co.uk\/"},{"key":"35_CR3","unstructured":"Bodei, C., Degano, P., Gao, H., Nielson, H.: Detecting Replay Attacks by Freshness Annotations. In: Proceedings of WITS 2007, Informatics and Mathematical Modelling, Technical University, Dipartimento di Informatica (April 2007)"},{"key":"35_CR4","unstructured":"Buchholtz, M., Nielson, H.\u00a0R.: LySaTool, http:\/\/www.imm.dtu.dk\/English\/Research\/LanguageBased_Technology\/Software\/LySaTool\/"},{"key":"35_CR5","volume-title":"Pattern Oriented Software Architecture On Patterns and Pattern Languages","author":"F. Buschmann","year":"2007","unstructured":"Buschmann, F., Henney, K., Schmidt, D.C.: Pattern Oriented Software Architecture On Patterns and Pattern Languages, vol.\u00a05. Wiley, Chichester (2007)"},{"key":"35_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-540-72522-0_4","volume-title":"Formal Methods for Performance Evaluation","author":"A. Clark","year":"2007","unstructured":"Clark, A., Gilmore, S., Hillston, J., Tribastone, M.: Stochastic Process Algebras. In: Bernardo, M., Hillston, J. (eds.) SFM 2007. LNCS, vol.\u00a04486, pp. 132\u2013179. Springer, Heidelberg (2007)"},{"key":"35_CR7","unstructured":"Erl, T.: Introducing soa design patterns. SOA World Magazine\u00a08(6) (June 2008)"},{"key":"35_CR8","volume-title":"SOA Design Patterns","author":"T. Erl","year":"2008","unstructured":"Erl, T.: SOA Design Patterns. Prentice Hall\/Pearson PTR, London (2008)"},{"key":"35_CR9","unstructured":"Foster, H., Uchitel, S., Kramer, J., Magee, J.: WS-Engineer: A Tool for Model-Based Verification of Web Service Compositions and Choreography. In: IEEE International Conference on Software Engineering (ICSE 2006), Shanghai, China (May 2006)"},{"key":"35_CR10","volume-title":"Design patterns: elements of reusable object-oriented software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design patterns: elements of reusable object-oriented software. Addison-Wesley Co., Inc., Boston (1995)"},{"key":"35_CR11","volume-title":"Proc. 2nd Int. Conf. Quantitative Evaluation of Systems (QEST 2005)","author":"J. Hillston","year":"2005","unstructured":"Hillston, J.: Fluid Flow Approximation of PEPA models. In: Proc. 2nd Int. Conf. Quantitative Evaluation of Systems (QEST 2005). IEEE, Los Alamitos (2005)"},{"key":"35_CR12","unstructured":"Knapp, A.: A formal approach to object-oriented software engineering. Softwaretechnik- Trends\u00a021(3) (2001)"},{"key":"35_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-540-71316-6_4","volume-title":"Programming Languages and Systems","author":"A. Lapadula","year":"2007","unstructured":"Lapadula, A., Pugliese, R., Tiezzi, F.: A Calculus for Orchestration of Web Services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 33\u201347. Springer, Heidelberg (2007)"},{"key":"35_CR14","volume-title":"Proceedings of the IEEE International Conference on Services Computing (SCC 2008)","author":"P. Mayer","year":"2008","unstructured":"Mayer, P., Schroeder, A., Koch, N.: A Model-Driven Approach to Service Orchestration. In: Proceedings of the IEEE International Conference on Services Computing (SCC 2008). IEEE, Los Alamitos (2008)"},{"key":"35_CR15","unstructured":"Meszaros, G., Doble, J.: Metapatterns: A pattern language for pattern writing (1996)"},{"key":"35_CR16","volume-title":"Proceedings of the 5th European Conference on Web Services (ECOWS 2007)","author":"A. Mukhija","year":"2007","unstructured":"Mukhija, A., Dingwall-Smith, A., Rosenblum, D.: QoS-Aware Service Composition in Dino. In: Proceedings of the 5th European Conference on Web Services (ECOWS 2007), Halle, Germany. IEEE Computer Society Press, Los Alamitos (2007)"},{"key":"35_CR17","unstructured":"Nielsen, C., Nielson, F., Nielson, H.: CryptoKlaim. Work in progress (2006)"},{"key":"35_CR18","unstructured":"OMG. Service Oriented Architecture Modelling Language Beta 1, http:\/\/www.soaml.org"},{"key":"35_CR19","unstructured":"Rotem-Gal-Oz, A.: SOA Patterns. Manning (2009) (to appear)"},{"key":"35_CR20","unstructured":"Schivo, S.: sCOWS Model Checker, http:\/\/sites.google.com\/site\/sschivo\/scows-model-checker"},{"key":"35_CR21","doi-asserted-by":"crossref","first-page":"2111","DOI":"10.1145\/1529282.1529751","volume-title":"SAC","author":"M.H. Beek ter","year":"2009","unstructured":"ter Beek, M.H., Mazzanti, F., Gnesi, S.: Cmc-umc: a framework for the verification of abstract service-oriented properties. In: Shin, S.Y., Ossowski, S. (eds.) SAC, pp. 2111\u20132117. ACM, New York (2009)"},{"key":"35_CR22","unstructured":"Tiezzi, F.: Venus: A Verification ENvironment for UML models of Services, http:\/\/rap.dsi.unifi.it\/cows\/"},{"key":"35_CR23","first-page":"53","volume-title":"Fourth International Conference on the Quantitative Evaluation of Systems","author":"M. Tribastone","year":"2007","unstructured":"Tribastone, M.: The PEPA Plug-in Project. In: Fourth International Conference on the Quantitative Evaluation of Systems, UK, pp. 53\u201354. IEEE Computer Society Press, Los Alamitos (2007)"},{"key":"35_CR24","unstructured":"VIATRA2 Project. VIATRA2 (VIsual Automated model TRAnsformations), http:\/\/dev.eclipse.org\/viewcvs\/indextech.cgi\/gmthome\/subprojects\/VIATRA2\/index.html"},{"key":"35_CR25","series-title":"Communications in Computer and Information Science","doi-asserted-by":"crossref","first-page":"170","DOI":"10.1007\/978-3-540-88479-8_13","volume-title":"ISoLA 2008","author":"M. Wirsing","year":"2008","unstructured":"Wirsing, M., H\u00f6lzl, M.M., Acciai, L., Banti, F., Clark, A., Fantechi, A., Gilmore, S., Gnesi, S., G\u00f6nczy, L., Koch, N., Lapadula, A., Mayer, P., Mazzanti, F., Pugliese, R., Schroeder, A., Tiezzi, F., Tribastone, M., Varr\u00f3, D.: Sensoria Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. In: Margaria, T., Steffen, B. (eds.) ISoLA 2008. Communications in Computer and Information Science, vol.\u00a017, pp. 170\u2013190. Springer, Heidelberg (2008)"},{"key":"35_CR26","unstructured":"Y\u00fcksel, E., Nielson, H., Nielsen, C., \u00d6rencik, M.: A Secure Simplification of the PKMv2 Protocol in IEEE 802.16e-2005. In: FCS-ARSPA 2007 Informal Proceedings (2007)"}],"container-title":["Lecture Notes in Computer Science","Rigorous Software Engineering for Service-Oriented Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20401-2_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,9]],"date-time":"2023-06-09T07:43:28Z","timestamp":1686296608000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20401-2_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642204005","9783642204012"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20401-2_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}