Abstract
Service-oriented computing is an emerging paradigm where services are understood as autonomous, platform-independent computational entities that can be described, published, categorised, discovered, and dynamically assembled for developing massively distributed, interoperable, evolvable systems and applications. The IST-FET Integrated Project Sensoria aims at developing a novel comprehensive approach to the engineering of service-oriented software systems where foundational theories, techniques and methods are fully integrated in a pragmatic software engineering approach. In this paper we present first ideas for the Sensoria semantic-based development of service-oriented systems. This includes service-oriented extensions to the UML, a mathematical basis formed by a family of process calculi, a language for expressing context-dependent soft constraints and preferences, qualitative and quantitative analysis methods, and model transformations from UML to process calculi. The results are illustrated by a case study in the area of automotive systems.
This work has been partially sponsored by the project Sensoria, IST-2005-016004.
Chapter PDF
Similar content being viewed by others
Keywords
- Model Transformation
- Service Level Agreement
- Soft Constraint
- Business Process Execution Language
- Graph Transformation Rule
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
The Attributed Graph Grammar System (AGG) (Last visited, June 2006), http://tfs.cs.tu-berlin.de/agg
Balogh, A., Varró, D.: Advanced Model Transformation Language Constructs in the VIATRA2 Framework. In: Proc. ACM Symp. Applied Computing (SAC 2006) — Model Transformation Track (to appear, 2006)
Baresi, L., Heckel, R., Thöne, S., Varró, D.: Style-based Modelling and Refinement of Service-oriented Architectures. Softw. Sys. Model. (to appear, 2006)
Bartoletti, M., Degano, P., Ferrari, G.L.: Security Issues in Service Composition. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol. 4037, pp. 1–16. Springer, Heidelberg (2006)
Bistarelli, S.: Semirings for Soft Constraint Solving and Programming. LNCS, vol. 2962. Springer, Heidelberg (2004)
Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based constraint satisfaction and optimization. J. ACM 44(2), 201–236 (1997)
Microsoft BizTalk Server (Last visited, June 2006), http://www.microsoft.com/biztalk
Boreale, M., Bruni, R., DeNicola, R., Lanese, I., Loreti, M., Montanari, U., Sangiorgi, D., Zavattaro, G.: SCC: A Service Centered Calculus. Deliverable 2.2, Sensoria (2006)
Business Process Execution Language (BPEL) (Last visited, June 2006), http://www.oasis-open.org
BPEL for Web Services (Last visited, June 2006), http://www6.software.ibm.com/software/developer/library/ws-bpel.pdf
Bradley, J.T., Knottenbelt, W.J.: The ipc/HYDRA tool chain for the analysis of PEPA models. In: Proc. 1st Int. Conf. on the Quantitative Evaluation of Systems (QEST 2004), Enschede, Netherlands, pp. 334–335 (September 2004)
Bravetti, M., Zavattaro, G.: Service Oriented Computing from a Process Algebraic Perspective. Journal of Logic and Algebraice Programming (to appear, 2005)
Bruni, R., Melgratti, H., Montanari, U.: Theoretical Foundations for Compensations in Flow Composition Languages. In: Proc. 32\(^{\text{nd}}\) ACM SIGPLAN-SIGACT Symp. Principles of Programming Languages (POPL 2005), pp. 209–220. ACM, New York (2004)
Buchholtz, M., Gilmore, S., Haenel, V., Montangero, C.: End-to-end integrated security and performance analysis on the DEGAS choreographer platform. In: Fitzgerald, J.S., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol. 3582, pp. 286–301. Springer, Heidelberg (2005)
Degano, P., Prandi, D., Priami, C., Quaglia, P.: Beta-binders for biological quantitative experiments. In: Proc. 4th Workshop on Quantitative Aspects of Programming Languages, QAPL 2006, Electronic Notes in Theoretical Computer Science (to appear, 2006)
Fiadeiro, J.L., Lopes, A., Bocchi, L.: A Formal Approach to Service Component Architecture. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 193–213. Springer, Heidelberg (2006)
Leymann, F.: Web Services Flow Language, version 1.0. Specification, IBM (2001), http://www-306.ibm.com/software/solutions/webservices/pdf/WSFL.pdf
Garcia-Molina, H., Salem, K.: Sagas. In: SIGMOD 1987: Proc. of ACM SIGMOD Int. Conf. on Management of Data, pp. 249–259. ACM Press, New York (1987)
Gardner, T., Griffin, C., Koehler, J., Hauser, R.: A Review of OMG MOF 2.0 Query/Views/Transformations Submissions and Recommendations towards the Final Standard. In: Proc. Wsh. Meta Modelling for MDA Workshop, York (2003), www.omg.org/docs/ad/03-08-02.pdf
Giorgini, P., Massacci, F., Zannone, N.: Security and Trust Requirements Engineering. In: Aldini, A., Gorrieri, R., Martinelli, F. (eds.) FOSAD 2005. LNCS, vol. 3655, pp. 237–272. Springer, Heidelberg (2005)
Hansen, R.R., Probst, C.W., Nielson, F.: Sandboxing in myKlaim. In: The First International Conference on Availability, Reliability and Security, ARES 2006 (2006)
Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)
UML Model Translator for Model Checking (Hugo/RT) (Last visited, June 2006), http://www.pst.ifi.lmu.de/projekte/hugo
IST-FET Global Computing I Initiative Project DEGAS (Last visited, June 2006), http://www.omnys.it/degas/
Jouault, F., Kurtev, I.: Transforming Models with ATL. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 128–138. Springer, Heidelberg (2006)
Koshutanski, H., Martinelli, F., Mori, P., Vaccarelli, A.: Fine-grained and history-based access control with trust management for autonomic grid services. In: Proc. of Internat. Conf. on Autonomic and Autonomous Systems (ICAS 2006). IEEE Computer Society, Los Alamitos (2006)
Kwiatkowska, M., Norman, G., Parker, D.: PRISM: Probabilistic symbolic model checker. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol. 2324, pp. 200–204. Springer, Heidelberg (2002)
Model Driven Architecture (OMG) (Last visited, June 2006), http://www.omg.org/mda/
Model Transformation Framework (Last visited, June 2006), http://www.alphaworks.ibm.com/tech/mtf
Object Management Group (OMG). Unified Modeling Language: Superstructure, version 2.0. Specification, OMG (2005), http://www.omg.org/cgi-bin/doc?formal/05-07-04
Query/View/Transformation Specification Final Adopted Specification (Last visited, June 2006), http://www.omg.org/cgi-bin/doc?ptc/2005-11-01
De Nicola, R., Katoen, J.P., Latella, D., Massink, M.: STOKLAIM: A Stochastic Extension of KLAIM. TR 2006-TR-01, ISTI (2006)
SCA Consortium. Service Component Architecture, version 0.9. Specification (2005) (Last visited, June 2006), http://download.boulder.ibm.com/ibmdl/pub/software/dw/specs/ws-sca/SCA_White_Paper1_09.pdf
SPIN Model Checker (Last visited, June 2006), http://www.spinroot.com
Model Checker for UML Statechart Diagrams (Last visited, June 2006), http://fmt.isti.cnr.it/umc/
UPPAAL Tool Environment (Last visited, June 2006), http://www.uppaal.com
Varró, D., Pataricza, A.: Generic and Meta-transformations for Model Transformation Engineering. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds.) UML 2004. LNCS, vol. 3273, pp. 290–304. Springer, Heidelberg (2004)
Wirsing, M., Denker, G., Talcott, C., Poggio, A., Briesemeister, L.: A rewriting logic framework for soft constraints. In: WRLA 2006, 6th International Workshop on Rewriting Logic and its Applications (April 2006) (to appear in ENTCS, 2006)
Web Services Choreography Interface (WSCI) (Last visited, June 2006), http://www.w3.org/TR/wsci
Web Service Description Language (WSDL) (Last visited, June 2006), http://www.w3.org/TR/wsdl
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 IFIP International Federation for Information Processing
About this paper
Cite this paper
Wirsing, M. et al. (2006). Semantic-Based Development of Service-Oriented Systems. In: Najm, E., Pradat-Peyre, JF., Donzeau-Gouge, V.V. (eds) Formal Techniques for Networked and Distributed Systems - FORTE 2006. FORTE 2006. Lecture Notes in Computer Science, vol 4229. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11888116_3
Download citation
DOI: https://doi.org/10.1007/11888116_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-46219-4
Online ISBN: 978-3-540-46220-0
eBook Packages: Computer ScienceComputer Science (R0)