Knowledge-Oriented Technologies for the Integration of Networked Enterprises

  • M. Lenzerini
  • U. Carletti
  • P. Ciancarini
  • N. Guarino
  • E. Mollona
  • U. Montanari
  • P. Naggar
  • D. Saccà
  • M. Sebastianis
  • D. Talia


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.


Composite Service Grid Service Industrial District Integrate Group Network Enterprise 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    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 Google Scholar
  2. 2.
    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 Google Scholar
  3. 3.
    Bottazzi, E. & Ferrario, R. (2006). Preliminaries to a DOLCE Ontology of Organizations.  International Journal of Business Process Integration and ManagementGoogle Scholar
  4. 4.
    Bruni R., Melgratti H., & Montanari, U. (2007). Composing transactional services, 2007, Sub-mitted to
  5. 5.
    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, BerlinGoogle Scholar
  6. 6.
    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 Google Scholar
  7. 7.
    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. CrossRefGoogle Scholar
  8. 8.
    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-20Google Scholar
  9. 9.
    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. CrossRefGoogle Scholar
  10. 10.
    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 CrossRefGoogle Scholar
  11. 11.
    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-592Google Scholar
  12. 12.
    Talia, D. (2002). The Open Grid Services Architecture: Where the Grid Meets the Web, IEEE Internet Computing, 6(6):67-71 CrossRefGoogle Scholar

Copyright information

© Physica-Verlag Heidelberg 2008

Authors and Affiliations

  • M. Lenzerini
    • 1
  • U. Carletti
    • 2
  • P. Ciancarini
    • 3
  • N. Guarino
    • 4
  • E. Mollona
    • 3
  • U. Montanari
    • 5
  • P. Naggar
    • 6
  • D. Saccà
    • 7
    • 8
  • M. Sebastianis
    • 9
  • D. Talia
    • 10
  1. 1.Dipartimento di Informatica e Sistemistica “Antonio Ruberti”Università di Roma “La Sapienza”RomaItaly
  2. 2.Stabilimento FusaroSELEX Sistemi Integrati SpABacoli (NA)Italy
  3. 3.Dipartimento di Scienze dell’InformazioneUniversità di BolognaBolognaItaly
  4. 4.CNR - ISTCTrentoItaly
  5. 5.Dipartimento di InformaticaUniversità di PisaPisaItaly
  6. 6.CM Sistemi SpARomaItaly
  7. 7.Università della CalabriaCosenzaItaly
  8. 8.CNR - ICARRendeItaly
  9. 9.THINK3 Inc.Casalecchio di Reno (BO)Italy
  10. 10.DEISUniversità della CalabriaRendeItaly

Personalised recommendations