Abstract
Businesses are in nature dynamic and change continuously. Because of different economic prospects they grow in size and portfolio or just the other way they have to reduce one of these aspects. There are several ways to accomplish growth or reduction. A smooth way may consist of outsourcing parts of one’s non-core business processes to specialized parties in the market. A variety of outsourcing models have been developed ([6]). Outsourcing can range from having all the business process (such as development, maintenance and operations) performed by an outsourcing partner, up to having a contract with a partner performing only one single business task. In our work we concentrate on conceptual modeling of outsourcing information systems, where outsourcing in the context of information systems will be defined as delegating a part of the functionality of the original system to an existing outside party (the supplier). Such functionality typically involves one or more operations (or services), where each operation satisfies certain input- and output requirements. These requirements will be defined in terms of the ruling service level agreements (SLAs). We provide a formal means to ensure that the outsourcing relationship between outsourcing party and supplier, determined by a SLA, satisfies specific correctness criteria. These correctness criteria are defined in terms of consistency and completeness between the outsourced operation and the associated operation offered by the supplier. Our correctness criterion will concern mappings between an existing outsourcer schema and an existing supplier schema, and will address both semantical and ontological aspects pertaining to outsourcing. Formal specifications as offered in our work can prove their value in the setup and evaluation of outsourcing contracts. We will perform our analysis within the modeling framework based on the UML/OCL formalism ([8,9]). The Object Constraint Language OCL offers a textual means to enhance UML diagrams, offering formal precision in combination with high expressiveness. In [1] it has been demonstrated that OCL has at least the same expressive power as the relational algebra, (the theoretical core of the relational query language SQL), thus making OCL a very powerful language for specification of constraints, queries and views.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Balsters, H.: Modeling Database Views with Derived Classes in the UML/OCL framework. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863, pp. 295–309. Springer, Heidelberg (2003)
Balsters, H., de Brock, E.O.: An object-oriented framework for reconciliation and extraction in heterogeneous data federations. In: Yakhno, T. (ed.) ADVIS 2004. LNCS, vol. 3261, pp. 34–46. Springer, Heidelberg (2004)
Balsters, H., de Brock, E.O.: Integration of integrity constraints in federated schemata based on tight constraining. In: Meersman, R., Tari, Z. (eds.) OTM 2004. LNCS, vol. 3290, pp. 748–767. Springer, Heidelberg (2004)
Bouzeghoub, M., Lenzerini, M.: Introduction to: data extraction, cleaning, and reconciliation, Special issue; Information Systems, vol. 26. Elsevier Science, Amsterdam (2001)
Lenzerini, M.: Data integration: a theoretical perspective. In: ACM PODS 2002. ACM Press, New York (2002)
de Looff, L.A.: Information systems outsourcing decision making: a framework, organizational theories and case studies. Journal of Information Technology 10(4), 281–297 (1995)
Miller, R.J., Haas, L.M., Hernandez, M.A.: Schema mapping as query discovery. In: Proc. 26th VLDB Conf. Morgan Kaufmann, San Francisco (2000)
Response to the UML 2.0 OCL RfP, Revised Submission, Version 1.6 (January 6 2003)
Warmer, J.B., Kleppe, A.G.: The object constraint language. Addison Wesley, Reading (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Balsters, H., Huitema, G.B. (2005). Semantics of Information Systems Outsourcing. In: Meersman, R., Tari, Z., Herrero, P. (eds) On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops. OTM 2005. Lecture Notes in Computer Science, vol 3762. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11575863_14
Download citation
DOI: https://doi.org/10.1007/11575863_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29739-0
Online ISBN: 978-3-540-32132-3
eBook Packages: Computer ScienceComputer Science (R0)