Abstract
The proliferation of smart spaces and emergence of new standards, such as Web Services, have paved the way for a new breed of software systems. Often the complete functional and QoS requirements of such software systems are not known a priori at design-time, and even if they are, they may change at run-time. Unfortunately, the majority of existing software engineering techniques rely heavily on human reasoning and manual intervention, making them inapplicable for automatic composition of such software systems at run-time. Moreover, these approaches are primarily intended to be used by technically knowledgeable software engineers, as opposed to domain users. In this paper, we present Service Activity Schemas (SAS), an activity-oriented language for modeling software system’s functional and QoS requirements. SAS targets service-oriented software systems, and relies on an ontology to provide domain experts with modeling constructs that are intuitively understood. SAS forms the centerpiece of a framework intended for user-driven composition and adaptation of service-oriented software systems in a pervasive setting. We provide a detailed description of SAS in the context of a case study and formally specify its structural and dynamic properties.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
W3C Web Services, http://www.w3.org/2002/ws/
Malek, S., Esfahani, N., Menascé, D.A., Sousa, J.P., Gomaa, H.: Self-Architecting Software Systems (SASSY) from QoS-Annotated Activity Models. In: ICSE 2009 workshop on Principles of Engineering Service Oriented Systems (PESOS 2009), Vancouver (2009)
OASIS WS-BPEL ver 2.0, http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html
Nitzsche, J., Wutke, D., Van Lessen, T.: An ontology for executable business processes. In: Proceedings of the Workshop on Semantic Business Process and Product Lifecycle Management (SBPM), Innsbruck (2007)
Pautasso, C., Heinis, T., Alonso, G.: JOpera: Autonomic Service Orchestration. IEEE Data Eng. Bull. 29, 32–39 (2006)
OMG UML ver 2.0, http://www.omg.org/spec/UML/2.0/
Medvidovic, N., Taylor, R.N.: A Classification and Comparison Framework for Software Architecture Description Languages. IEEE Trans. Softw. Eng. 26, 70–93 (2000)
OMG BPMN Spec. ver 1.1, http://www.omg.org/spec/BPMN/1.1/
Generic Modeling Environment, http://www.isis.vanderbilt.edu/Projects/gme/
Spivey, J.M.: The Z notation: a reference manual. Prentice-Hall, Inc., NJ (1989)
US Government Web Services and XML Data Sources, http://www.usgovxml.com/
Leont’ev, A.N., Hall, M.J.: Activity, consciousness, and personality. Prentice-Hall, Englewood Cliffs (1978)
Bdker, S.: Through the interface: A human activity approach to user interface design. L. Erlbaum Associates Inc., Hillsdale (1991)
Ouyang, C., et al.: Formal Semantics and Analysis of Control Flow in WS-BPEL. Science of Computer Programming 67, 162–198 (2007)
Fowler, M., Scott, K.: UML distilled: a brief guide to the standard object modeling language. Addison-Wesley Longman Publishing Co., Inc., Boston (2000)
Medvidovic, N., et al.: Modeling software architectures in the Unified Modeling Language. ACM Transactions on Software Engineering and Methodology 11, 2–57 (2002)
Greenfield, J.: UML Profile for EJB. Public Review Draft, JSR-000026 (2001)
Weerawarana, S., Curbera, F., Leymann, F., Storey, T., Ferguson, D.F.: Web Services Platform Architecture: SOAP, WSDL, WS-Policy, WS-Addressing, WS-BPEL, WS-Reliable Messaging and More. Prentice Hall PTR, Englewood Cliffs (2005)
Papazoglou, M.: Web Services: Principles and Technology. Pearson-Prentice Hall, London (2007)
Petri, C.A.: Kommunikation mit automaten, Auch im Handel als: Schriften d. Rheinisch-Westfalischen Instituts f. instrumentelle Mathematik an Universitat Bonn, Germany (1962)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Esfahani, N., Malek, S., Sousa, J.P., Gomaa, H., Menascé, D.A. (2009). A Modeling Language for Activity-Oriented Composition of Service-Oriented Software Systems. In: Schürr, A., Selic, B. (eds) Model Driven Engineering Languages and Systems. MODELS 2009. Lecture Notes in Computer Science, vol 5795. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04425-0_46
Download citation
DOI: https://doi.org/10.1007/978-3-642-04425-0_46
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04424-3
Online ISBN: 978-3-642-04425-0
eBook Packages: Computer ScienceComputer Science (R0)