Abstract
We describe the Sensoria development approach using a pattern language for augmenting service engineering with formal analysis, transformation and dynamicity. The pattern language is designed to help software developers choose appropriate tools and techniques to develop service-oriented systems with support from formal methods; the full pattern catalog spans the whole development process from the modeling stage to deployment activities. Some of the patterns are specific to Sensoria; other patterns are extensions or adaptations of patterns presented by other authors.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Alpert, S., Brown, K., Woolf, B.: The Design Patterns Smalltalk Companion. Addison-Wesley Professional, Reading (1998)
ATX Technologies. Modernizing Software and Increasing Business Values, http://www.atxtechnologies.co.uk/
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)
Buchholtz, M., Nielson, H. R.: LySaTool, http://www.imm.dtu.dk/English/Research/LanguageBased_Technology/Software/LySaTool/
Buschmann, F., Henney, K., Schmidt, D.C.: Pattern Oriented Software Architecture On Patterns and Pattern Languages, vol. 5. Wiley, Chichester (2007)
Clark, A., Gilmore, S., Hillston, J., Tribastone, M.: Stochastic Process Algebras. In: Bernardo, M., Hillston, J. (eds.) SFM 2007. LNCS, vol. 4486, pp. 132–179. Springer, Heidelberg (2007)
Erl, T.: Introducing soa design patterns. SOA World Magazine 8(6) (June 2008)
Erl, T.: SOA Design Patterns. Prentice Hall/Pearson PTR, London (2008)
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)
Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design patterns: elements of reusable object-oriented software. Addison-Wesley Co., Inc., Boston (1995)
Hillston, J.: Fluid Flow Approximation of PEPA models. In: Proc. 2nd Int. Conf. Quantitative Evaluation of Systems (QEST 2005). IEEE, Los Alamitos (2005)
Knapp, A.: A formal approach to object-oriented software engineering. Softwaretechnik- Trends 21(3) (2001)
Lapadula, A., Pugliese, R., Tiezzi, F.: A Calculus for Orchestration of Web Services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 33–47. Springer, Heidelberg (2007)
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)
Meszaros, G., Doble, J.: Metapatterns: A pattern language for pattern writing (1996)
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)
Nielsen, C., Nielson, F., Nielson, H.: CryptoKlaim. Work in progress (2006)
OMG. Service Oriented Architecture Modelling Language Beta 1, http://www.soaml.org
Rotem-Gal-Oz, A.: SOA Patterns. Manning (2009) (to appear)
Schivo, S.: sCOWS Model Checker, http://sites.google.com/site/sschivo/scows-model-checker
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–2117. ACM, New York (2009)
Tiezzi, F.: Venus: A Verification ENvironment for UML models of Services, http://rap.dsi.unifi.it/cows/
Tribastone, M.: The PEPA Plug-in Project. In: Fourth International Conference on the Quantitative Evaluation of Systems, UK, pp. 53–54. IEEE Computer Society Press, Los Alamitos (2007)
VIATRA2 Project. VIATRA2 (VIsual Automated model TRAnsformations), http://dev.eclipse.org/viewcvs/indextech.cgi/gmthome/subprojects/VIATRA2/index.html
Wirsing, M., Hölzl, M.M., Acciai, L., Banti, F., Clark, A., Fantechi, A., Gilmore, S., Gnesi, S., Gönczy, L., Koch, N., Lapadula, A., Mayer, P., Mazzanti, F., Pugliese, R., Schroeder, A., Tiezzi, F., Tribastone, M., Varró, 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. 17, pp. 170–190. Springer, Heidelberg (2008)
Yüksel, E., Nielson, H., Nielsen, C., Örencik, M.: A Secure Simplification of the PKMv2 Protocol in IEEE 802.16e-2005. In: FCS-ARSPA 2007 Informal Proceedings (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Hölzl, M., Koch, N., Mayer, P., Wirsing, M. (2011). Sensoria Patterns. In: Wirsing, M., Hölzl, M. (eds) Rigorous Software Engineering for Service-Oriented Systems. Lecture Notes in Computer Science, vol 6582. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-20401-2_35
Download citation
DOI: https://doi.org/10.1007/978-3-642-20401-2_35
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-20400-5
Online ISBN: 978-3-642-20401-2
eBook Packages: Computer ScienceComputer Science (R0)