Abstract
In this paper we present an enhanced approach to cope with consistency and validation issues arising in Service-Oriented Integration design using an expressive logic language. This approach goes beyond the traditional ones, which are focused on the simple consistency of a structural specification. Indeed, it is able to keep into account both static and dynamic constraints: while the former type applies to system states, the latter concerns the system state transitions.
The present solution is oriented towards the analysis of dynamic features as e-services of a system described using a rich ontology specification based on Description Logics. The aim of such a solution is to provide the architect, at the design phase, with adequate support tools to check both the consistency of static and dynamic artifacts. It relies on the IOPE (Input, Output, Preconditions, and Effects) paradigm to specify operation semantics, and on a decidable fragment of the First-Order Logic in order to provide a reasoning-based tool able to verify various semantic properties.
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
Abiteboul, S., Hull, R., Vianu, V.: Dynamic Aspects. In: Foundations of Databases, ch. 22. Addison-Wesley, Reading (1995)
Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services: Concepts, Architectures and Applications. Springer, Berlin (2004)
Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)
Baader, F., Lutz, C., Milicic, M., Sattler, U., Wolter, F.: Integrating description logics and action formalisms: First results. In: Proc. of the 2005 National Conference on Artificial Intellingence (AAAI 2005) (2005)
Calì, A., Calvanese, D., De Giacomo, G., Lenzerini, M.: A formal framework for reasoning on UML class diagrams. In: Proc. of the 13th International Symposium on Foundations of Intelligent Systems (ISMIS 2002) (2002)
Calvanese, D., De Giacomo, G.: Expressive Description Logics. In: Baader, et al. (eds.) [3], ch. 5 (2003)
Chaki, S., Rajamani, S.K., Rehof, J.: Types as models: Model checking message-passing programs. In: Proc. of the Symposium on Principles of Programming Languages (POPL 2002) (2002)
Davulcu, H., Kifer, M., Pokorny, L.R., Ramakrishnan, C.R., Ramakrishnan, I.V., Dawson, S.: Modeling and analysis of interactions in virtual enterprises. Research Issues on Data Engineering (1999)
Dragone, L.: Modeling and Resoning about e-services in Cooperative Information Systems. PhD thesis, Sapienza Università di Roma (2008)
Dragone, L., Rosati, R.: Checking e-service consistency using description logics. In: Proc. of the IEEE 2007 Service Computing Conference (2007)
Fillottrani, P.R., Franconi, E., Tessaris, S.: The new ICOM ontology. In: Description Logics. CEUR Workshop Proceedings, vol. 189 (2006)
Grädel, E., Otto, M., Rosen, E.: Two-variable logic with counting is decidable. In: Proc. of 12th IEEE Symposium on Logic in Computer Science (LICS 1997) (1997)
Immerman, N., Lander, E.: Describing graphs: A first-order approach to graph canonization. In: Complexity Theory Retrospective, In Honor of Juris Hartmanis on the Occasion of His Sixtieth Birthday, July 5, 1988, vol. 1 (1990)
Lin, J., Mendelzon, A.O.: Merging databases under constraints. International Journal of Cooperative Information Systems 7(1), 55–76 (1996)
Meredith, L.G., Bjorg, S.: Contract and types. Communications of the ACM 46(10), 41–47 (2003)
Meyer, B.: Object-Oriented Software Construction. Prentice-Hall, Inc., Englewood Cliffs (1988)
Narayanan, S., McIlraith, S.A.: Simulation, verification an automated composition of web services. In: Proc. of the WWW 2002 Conference (2002)
Pirri, F., Reiter, R.: Some contributions to the metatheory of the situation calculus. Journal of the ACM 46(3), 325–361 (1999)
Sattler, U., Calvanese, D., Molitor, R.: Relationships with other Formalisms. In: Baader, et al. (eds.) [3], ch. 4 (2003)
Schmidt, R.A., Tishkovsky, D.: Using tableau to decide expressive description logics with role negation. In: Proc. of the 6th International Semantic Web Conference (ISWC 2007) (2007)
Spielmann, M.: Verification of relational transducers for electronic commerce. In: Proc. of Symposium on Principles of Database Systems (PODS 2000) (2000)
Winslett, M.: Updating logical databases. Cambridge University Press, Cambridge (1990)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dragone, L. (2008). An Ontology-Based Approach to Validation of E-Services under Static and Dynamic Constraints. In: Meersman, R., Tari, Z. (eds) On the Move to Meaningful Internet Systems: OTM 2008. OTM 2008. Lecture Notes in Computer Science, vol 5331. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-88871-0_13
Download citation
DOI: https://doi.org/10.1007/978-3-540-88871-0_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-88870-3
Online ISBN: 978-3-540-88871-0
eBook Packages: Computer ScienceComputer Science (R0)