Abstract
TOCAI.IT is an on-going Italian 3-year project, funded by the Ministry of Universities and Scientific Research under the FIRB program for the basic research, aimed at developing an integrated group of methodologies, techniques and software systems based on the most advanced knowledge technologies for the on-the-field analysis, specification, implementation and evaluation of new enterprise organization models in the “internetworked enterprise” perspective. This paper describes the goals and activities of the project and its progress after 1 year from the start.
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
Massacci, F., Mylopoulos, J., & Zannone N. (2007). An Ontology for Secure Socio-Technical Systems. In Handbook of Ontologies for Business Interaction. The IDEA Group, Hershey
Giorgini, P., Massacci, F., & Zannone N. (2005). Security and Trust Requirements Engineer-ing. In FOSAD 2004/2005, volume 3655 of LNCS, pages 237-272. Springer, Berlin
Bottazzi, E. & Ferrario, R. (2006). Preliminaries to a DOLCE Ontology of Organizations. International Journal of Business Process Integration and Management
Bruni R., Melgratti H., & Montanari, U. (2007). Composing transactional services, 2007, Sub-mitted to http://www.di.unipi.it/bruni/publications/ejoinrevista.ps.gz
Buscemi, M. G., & Montanari, U. (2007). Cc-pi: A constraint-based language for specify-ing service level agreements. In Proceedings of ESOP 2007, 16th European Symposium on Programming, volume 4421 of Lecture Notes in Computer Science Springer, Berlin
Bonchi, F., Brogi, A., Corfini, S., & Gadducci, F. (2007). A behavioural congruence for web services. In Fundamentals of Software Engineering, Lecture Notes in Computer Science. Springer, Berlin
De Nicola, R., Katoen, J.-P., Latella, D., Loreti, M., & Massink, M. (2007). Model Checking Mobile Stochastic Logic. Theoretical Computer Science. Elsevier, 382(1): 42-70.
Abeti, L., Ciancarini, P., & Moretti, R. (2007). Model driven development of ontology-based grid services, 16th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, WETICE 2007, Paris, France, June 18-20
Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., & Rosati, R. (2007). Tractable reasoning and efficient query answering in description logics: The DL-Lite family. J. of Auto-mated Reasoning, 39(3): 385-429.
Greco, G., Guzzo, A., Pontieri, L., & Saccà , D. (2006). Discovering expressive process models by clustering log traces. IEEE Transactions on Knowledge and Data Engineering, 18(8):1010-1027
Atzori, M., Bonchi, F., Giannotti, F., & Pedreschi, D. (2006): Towards low-perturbation anonymity preserving pattern discovery, 21th ACM Symposium on Applied Computing (SAC-06) Dijon, France, April 23-27: 588-592
Talia, D. (2002). The Open Grid Services Architecture: Where the Grid Meets the Web, IEEE Internet Computing, 6(6):67-71
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2008 Physica-Verlag Heidelberg
About this paper
Cite this paper
Lenzerini, M. et al. (2008). Knowledge-Oriented Technologies for the Integration of Networked Enterprises. In: Interdisciplinary Aspects of Information Systems Studies. Physica-Verlag HD. https://doi.org/10.1007/978-3-7908-2010-2_41
Download citation
DOI: https://doi.org/10.1007/978-3-7908-2010-2_41
Publisher Name: Physica-Verlag HD
Print ISBN: 978-3-7908-2009-6
Online ISBN: 978-3-7908-2010-2
eBook Packages: Business and EconomicsBusiness and Management (R0)