Curricula Docenti. Ingegneria Informatica. Corso di Laurea Magistrale (DM 270/04) in. Sede di Ancona

Transcript

1 Curricula Docenti Corso di Laurea Magistrale (DM 270/04) in Ingegneria Informatica Sede di Ancona

2 Prof. Cucchiarelli Alessandro SSD: ING-INF/05 Alessandro Cucchiarelli ha conseguito la Laurea in Ingegneria Elettronica nel 1985 presso l'universita' di Ancona. Nel 1991 è diventato Ricercatore nel raggruppamento scientifico disciplinare ING-INF/05 presso l'istituto di Informatica della stessa Università. Dal 2005 è professore associato nello stesso raggruppamento, ed afferisce al DIIGA, Dipartimento di Ingegneria Informatica, Gestionale e dell'automazione dell'università Politecnica delle Marche (già Università di Ancona). I suoi attuali domini di ricerca sono l'applicazione di Tecniche di NLP all'estrazione Automatica di Informazioni dal Web ed alla Definizione di Ontologie di Dominio e la definizione di metriche e strumenti per l'analisi di reti sociali. Ha partecipato a numerosi progetti di ricerca sia cofinanziati dal MURST/MIUR che dall'unione Europea. E' stato coordinatore locale del gruppo di ricerca del DIIGA che ha partecipato al NoE europeo INTEROP. E' stato membro del comitato di programma/revisore di convegni internazionali (International Conference on Cognition and Exploratory Learning in Digital Age, IEEE International Conference on Advanced Learning Technologies) e revisore per riviste internazionali (International Journal of Natural Language Engineering, IEEE Transactions on Knowledge and Data Engineering, Journal of Information Technology Education, ACM Transactions on Knowledge Discovery from Data). E' autore o coautore di circa 80 pubblicazioni su riviste, capitoli di libri e atti di congressi con referee - VELARDI P, CUCCHIARELLI A., DANTONIO F (2008). Monitoring the Status of a Research Community through a Knowledge Map. WEB INTELLIGENCE AND AGENT SYSTEMS, vol. 6; p , ISSN: , doi: /WIA CUCCHIARELLI A., VELARDI P, D'ANTONIO F, CURZI M (2008). Modeling Collaborations Content in Social Network Analysis. In: IEEE/WIC/ACM International Conference on Web Intelligence. Sydney - Australia, December VELARDI P, CUCCHIARELLI A., NAVIGLI R, CURZI M (2008). Content-Based Social Network Analysis. In: European Conference on Artificial Intelligence - ECAI2008. Patras - Greece, July VELARDI P, NAVIGLI R, CUCCHIARELLI A., D'ANTONIO F (2008). A New Content-Based Model for Social Network Analysis. In: Second IEEE International Conference on Semantic Computing - ICSC2008. Santa Clara, USA, August 4-7, VELARDI P, CUCCHIARELLI A., PETIT M (2007). A Taxonomy Learning Method and its Application to Characterize a Scientific web Community. IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, vol. 19; p , ISSN: VELARDI P, CUCCHIARELLI A., PETIT M (2007). A Semantically Enriched Competency Management System to Support the Analysis of a Web-based Research Network. In: IEEE/WIC/ACM International Conference on Web Intelligence. Fremont, USA, November VELARDI P, CUCCHIARELLI A., PETIT M (2006). Supporting Scientific Collaboration in a Network of Excellence Through a Semantically Indexed Knowledge Map. In: Interoperability for Enterprise Software and Applications (I-ESA) Conference. Bordeaux, France, February CUCCHIARELLI A., IACOBUCCI D, NERI F (2005). A Machine Learning Approach to Data Mining: Delving into the Italian Business Groups Database. In: ZAINI S.; CERIOLI A.. Classification and Data Analysis p , PARMA: Monte Università, ISBN/ISSN: X - VELARDI P., NAVIGLI R., CUCCHIARELLI A., NERI F. (2005). Evaluation of OntoLearn, a methodology for Automatic Learning of Ontologies. In: P.BUITELAAR; P. CIMMIANO AND B. MAGNINI. Ontology Learning from Text: Methods, Evaluation and Applications. IOS Press, ISBN/ISSN: CUCCHIARELLI A., R. NAVIGLI, F. NERI, P. VELARDI (2004). Automatic Generation of Glosses in the OntoLearn System. In: Fourth International Conference on Language Resources and Evaluation (LREC 2004), Maggio CUCCHIARELLI A., R. NAVIGLI, F. NERI, P. VELARDI (2004). Automatic Ontology Learning: Supporting a Per-Concept Evaluation by Domain Experts. In: ECAI 2004 Worshop on Ontology Learning and Population, p CUCCHIARELLI A., S. VALENTI (2004). Content Management Systems for E-Learning: an Application. In: International Conference on New Learning Paradigms and New Learning Tools (New Learning 2004) - CUCCHIARELLI A., S.VALENTI (2004). Automated Essay Grading via Text Classification. In: Conference on Innovations Through Information Technology, Maggio 2004

3 Prof. Demeio Lucio SSD: MAT/07 Istruzione Universitaria: Dottorato di Ricerca in Fisica Matematica; Virginia Polytechnic Institute and State University, Blacksburg, VA, USA, 1989; Laurea in Fisica del Plasma, Universita' degli Studi di Trieste, Trieste, Campi di ricerca: Teoria del trasporto con applicazioni ai plasmi, ai gas rarefatti ed ai mezzi porosi; Teoria del trasporto quantistico con applicazioni ai semiconduttori; Metodi perturbativi con applicazioni a problemi di dinamica nonlineare. Cronologia dell'impiego: 1/4/ oggi: Professore Associato presso la Facolta' di Ingegneria dell' Universita' Politecnica delle Marche; 30/9/ /11/1995: Postdoctoral Fellow presso ``The Applied Physics Laboratory'', Johns Hopkins University, Laurel, Maryland, USA; 1/1/ /7/1990: Research Fellow, presso il ``Center for Transport Theory and Mathematical Physics'', Virginia Polytechnic Institute and State University (VPI & SU), Blacksburg, VA, USA; 1/8/ /12/1989: Visiting Assistant Professor of Physics, Dipartimento di Fisica, VPI & SU; 1/1/ /5/1989: Studente di dottorato, presso il ``Center for Transport Theory and Mathematical Physics'', VPI & SU; 1/10/ /10/1985: EURATOM Research Fellow, presso il ``FOM-Instituut voor Plasmafysica - Rijnhuizen", Nieuwegein, Olanda. L. Demeio and S. Lenci, Second-order solutions for the dynamics of a semi-infinite cable on a unilateral substrate, Journal of Sound and Vibration, 315 (2008) ; O. Morandi and L. Demeio, A Wigner-function approach to interband transitions based on the multibandenvelope-function model, Transport Theory and Statistical Physics, 37 (2008) ; O. Morandi and L. Demeio, Simulation of the Rashba Effect in a Multiband Quantum Structure, Journal of Computational Electronics, 6(1-3) (2007) ; L. Demeio and S. Lenci, Forced nonlinear oscillations of semi-infinite cables and beams resting on a unilateral elastic substrate, Nonlinear Dynamics, (49) (2007) ; L. Barletti, L. Demeio and G. Frosali, Multiband quantum transport models for semiconductor devices, in: Transport Phenomena and Kinetic Theory, Applications to Gases, Semiconductors, Photons and Biological Systems, Eds. C. Cercignani, E. Gabetta, 55-89, Birkhauser,Boston (2007); L. Demeio and S. Lenci, Asymptotic analysis of chattering oscillations for an impacting inverted pendulum, Quarterly Journal of Mechanics and Applied Mathematics, (59) (2006) ; L. Demeio, Quantum Corrections to Classical BGK Modes in Phase Space}, Transport Theory and Statistical Physics, Transport Theory and Statistical Physics, 36 (2007) ;

4 Prof. Iacobucci Donato SSD: SECS-P/06 E professore associato di Economia Applicata presso la Facoltà di Ingegneria dell Università Politecnica delle Marche. Dal 1 ottobre 2001 al 31 marzo 2005 è stato ricercatore nel settore scientifico disciplinare SECS-P/06 Economia applicata presso la Facoltà di Ingegneria dell Università Politecnica delle Marche, presso la quale ha ricoperto, per supplenza, corsi di Economia e organizzazione aziendale. Dal 1 novembre 1994 al 30 settembre 2001 è stato ricercatore nel settore scientifico disciplinare P01I - Economia dei settori produttivi presso la Facoltà di Scienze Politiche dell Università degli Studi di Urbino, presso la quale ha ricoperto, per supplenza, il corso di Economia dell impresa. Gli attuali interessi di ricerca riguardano prevalentemente le seguenti aree: forme di organizzazione e di governance delle imprese con specifico riferimento alla evoluzione e alle caratteristiche dei gruppi d impresa; evoluzione dell organizzazione produttiva nei sistemi di piccola impresa, con specifico riferimento alla dinamica imprenditoriale, all innovazione e ai processi di crescita delle imprese; innovazione e imprenditorialità, con specifico riferimento alla formazione di cluster in settori ad alta tecnologia e all imprenditorialità in ambito accademico. E membro della direzione della rivista L Industria. Rivista di economia e politica industriale, pubblicata da Il Mulino, Bologna. Principali pubblicazioni negli ultimi 5 anni - "Groups of small and medium sized firms in industrial districts in Italy: some issues" in Zoboli R., Cainelli G. (Ed.s) - The Evolution of Industrial Districts - Phisica-Verlag, Heidelberg, Assetti proprietari e vincoli finanziari all investimento: un analisi sui dati di bilancio delle imprese manifatturiere italiane (con Giorgio Calcagnini), in Bagella M. (a cura di) Finanza e crescita. Quali vincoli, quali rischi? Il Mulino, Bologna, 2004, pp Diffusione e specificità organizzativa dei gruppi d impresa nei distretti industriali italiani (con Giulio Cainelli e Enrica Morganti), Istituzioni e sviluppo economico, Vol. 2, n. 2, 2004, pp "Undergraduate Students as a Source of Potential Entrepreneurs: A Comparative Study between Italy and Argentina" (with Sergio Postigo and Fernanda Tamborini), in: McIntyre J.R. and Alon I. (ed.) - Business and Management Education in Transitioning and Developing Countries. A handbook - ME Sharpe, Armonk (NY), 2005, pp Le medie imprese fra controllo familiare e network globali (con Gianluigi Alzona), L industria. Rivista di economia e politica industriale, Vol. 26, n. 2, 2005, pp I gruppi d impresa e le nuove forme organizzative del capitalismo locale italiano (con Giulio Cainelli) L industria. Rivista di economia e politica industriale, Vol. 26, n. 2, 2005, pp "Growth, diversification and business cluster formation in entrepreneurial firms" (with Peter Rosa), Small Business Economics, vol. 25, n. 2, pp Spatial agglomeration and business groups: new evidence from Italian industrial districts (with Giulio Cainlelli and Enrica Morganti), Regional Studies, vol. 40, n. 5, pp , Agglomeration, Technology and Business groups (con Giulio Cainelli), Edward Elgar, Cheltenam UK, Dimensione economico-organizzativa e strategie di crescita nei gruppi manifatturieri italiani (con Giulio Cainelli), L industria. Rivista di economia e politica industriale, Vol. 28, Numero Speciale, Dynamic capabilities, entrepreneurial team development and business group formation, in Leoncini R., Montresor A. (ed.s) Dynamic Capabilities between Firm Organization and Local Systems of Production, Routledge, London, I processi di internazionalizzazione delle medie imprese italiane (con Francesca Spigarelli), L industria. Rivista di economia e politica industriale, Vol. 28, n. 4, 2007, pp Dynamic capabilities, entrepreneurial team development and business group formation, in Leoncini R., Montresor A. (ed.s) Dynamic Capabilities between Firm Organization and Local Systems of Production, Routledge, London, Processi di crescita e strutture di governance dei gruppi di medie imprese in Arrighetti A., Ninni A., Dimensioni e crescita nell industria manifatturiera italiana. Il ruolo delle medie imprese. Franco Angeli, Milano, 2008

5 Dott. Innocenzi Luigi Docente non Universitario Il curriculum (in corso di definizione) verrà pubblicato appena possibile.

6 Dott. Morbidoni Christian Docente non Universitario Christian Morbidoni ha conseguito il dottorato di ricerca presso l'università Politecnica delle Marche nel 2006, da allora svolge attività di ricerca cone assegnista presso il DIBET, lavorando principalmente nell'ambito della computer science e web science. Il suo interesse principale è quello di applicare le tecnologie Semantic Web, creando applicazioni innovative in diversi contesti d'uso. Ha ricoperto il ruolo di project manager per il progetto europeo Discovery ( ), dove è stato responsabile dell'unità di Ancona ed in particolare dello sviluppo di ontologie computazionali e metodologie e software per l'annotazione semantica di contenuti web. Ha collaborato a diversi progetti software tra cui: DBin ( Mpeg7 Audio DB ( RDFTEF ( Semantic Wen Pipes ( SwickyNotes ( Muruca ( Ha seguito numerosi lavori di tesi e tirocini inerenti applicazioni Semantic Web e Web 2.0. Dal 2008 è docente a contratto e titolare del corso di Tecnologie per l'informatica Distribuita (ora Tecniche per l?informatica Distribuita). Attualmente collabora come consulente con varie relatà industriali nell'area ICT. Danh Le Phuoc, Axel Polleres, Christian Morbidoni, and Manfred Hauswirth, Giovanni Tummarello. Rapid semantic web mashup development through semantic web pipes. In Proceedings of the 18th World Wide Web Conference (WWW2009), Madrid, Spain, April G.Tummarello, C.Morbidoni "The DBin platform: a complete environment for Semantic Web Communities", Web Semantics: Science, Services and Agents on the World Wide Web, Volume 6, Issue 4, November 2008, Pages G.Tummarello, C.Morbidoni, P.Puliti, F. Piazza, "A proposal for Textual Encoding based on Semantic Web tools", Online Information Review, ICSD special issue, Volume no. 32 Issue no. 4 Marcheggiani Ernesto, Nucci Michele, Tummarello Giovanni, Morbidoni Christian, "Geo Semantic Web Communities for Rational Use of Landscape Resources" in "Conceptual Models for Urban Practitioners", J. Teller; C. Tweed; G. Rabino (Eds.). Società Editrice Esculapio, Bologna, Italy, December, 2008, ISBN , (pp ). Christian Morbidoni, Danh Le Phuoc, Axel Polleres, Matthias Samwald and Giovanni Tummarello, "Previewing Semantic Web Pipes", European Semantic Web Conference 2008, Tenerife, Spain, June G. Tummarello, C. Morbidoni, M. Nucci, E. Marcheggiani, "Interacting Geo Semantic Web Communities with the DBin platform: use cases and perspectives" in Scharl, A. and Tochtermann, K., Eds. (2007). The Geospatial Web - How Geo-Browsers?, Social Software and the Web 2.0 are Shaping the Network Society. London: Springer. (cache). Christian Morbidoni and Axel Polleres and Giovanni Tummarello, "Who the FOAF knows Alice? A needed step towards Semantic Web Pipes", ISWC 2007 Workshop on New forms of Reasoning for the Semantic Web: Scaleable, Tolerant and Dynamic, Busan, Korea Giovanni Tummarello, Christian Morbidoni, Michele Nucci, Enabling Semantic Web communities with DBin: an overview, Proceedings of the Fifth International Semantic Web Conference (ISWC 2006), November 2006, Athens, GA, USA G. Tummarello, C. Morbidoni, J. Petersson, F. Piazza, P. Puliti, "RDFGrowth, a P2P annotation exchange algorithm for scalable Semantic Web applications", 1st Annual International Conference on Mobile and Ubiquitous Systems (MobiQuitous 2004), August 2004, Boston, MA G. Tummarello, C. Morbidoni, F. Piazza, P. Puliti, F. Saletti, J. Petersson, "P2P Multimedia Annotation and browsing based on Semantic Web and MPEG-7: An overview of the DBin Project", MUSICNETWORK Fourth Open Workshop, September 2004, Barcelona, Spain

7 Prof. Pezzella Ferdinando SSD: MAT/09 - Ferdinando PEZZELLA nato a Napoli il 19/01/ : Laurea in Ingegneria Elettrotecnica presso la Facoltà di Ingegneria dell Università di Napoli : Consegue la Specializzazione in "Ingegneria dei Sistemi di Controllo e Calcolo Automatici" presso la Facoltà di Ingegneria dell Università degli Studi di Roma : professore incaricato interno e successivamente dal al professore incaricato stabilizzato dell insegnamento di "Ricerca Operativa" pressso la Facoltà di Scienze MM.FF.NN. dell'università della Calabria. - Dal 12/2/1985 a tutt oggi riveste la qualifica di professore associato confermato presso la Facoltà di Ingegneria dell Università Politecnica delle Marche per la disciplina di Ricerca Operativa. Dalla data di nomina a tutt oggi è titolare della disciplina di Ricerca Operativa (A04B/MAT09), dall A.A. 2005/06 è titolare oltre della disciplina sopra citata nel corso di laurea triennale, anche della disciplina di Ricerca Operativa II, presso il corso di laurea specialistica della Facoltà di Ingegneria. -L attività di ricerca si è sviluppata prima presso l Istituto di Automatica della Facoltà di Ingegneria dell Università degli Studi di Roma (dal 1972 al 1974) e successivamente presso il Dipartimento di Sistemi dell Università della Calabria (dal 1975 al 1984). Dal 1985 svolge attività di ricerca presso l Università degli Studi di Ancona, attualmente Università Politecnica delle Marche. - L attività di ricerca in una prima fase ha riguardato prevalentemente lo sviluppo di modelli dinamici di simulazione e di ottimizzazione per la pianificazione economica. Successivamente ha riguardato principalmente lo sviluppo e la sperimentazione di algoritmi esatti ed euristici per la risoluzione di diversi problemi di programmazione lineare intera e di ottimizzazione combinatoria. Dal punto di vista metodologico la ricerca ha affrontato sia lo sviluppo di tecniche esatte basate su approcci di branch-and-bound, sia di tecniche euristiche tradizionali basate sul rilassamento lagrangiano. Grande attenzione hanno ricevuto negli ultimi anni le tecniche metaeuristiche basate su ricerca locale, quali ad esempio il tabu search, e su algoritmi genetici. Da un punto di vista applicativo si sono studiati principalmente problemi di ottimizzazione che sorgono nella gestione dei sistemi di trasporto e nella pianificazione della produzione manifatturiera. In particolare si sono studiati problemi di scheduling dei veicoli e del personale viaggiante di aziende di trasporto pubblico, di routing dei veicoli nella logistica distributiva, di taglio ottimo bidimensionale, di sequenziamento degli schemi di taglio e di scheduling della produzione manifatturiera. Ha curato gli atti di due convegni scientifici pubblicati con finanziamento del CNR, ha pubblicato tre volumi scientifici e circa trenta lavori su riviste internazionali e atti di convegni internazionali - F. Pezzella, E. Faggioli, "Solving large set covering problems for crew scheduling ", TOP - An Official Journal of the Spanish Society of Statistics and Operations, vol. 5, pp , Rivista pubblicata da Springer, Berlino, Germania. (ISSN: ) - F. Pezzella, E. Merelli, "A tabu search method guided by shifting bottleneck for the job shop scheduling problem ", European Journal of Operational Research, vol. 120, issue 2, pp , Rivista pubblicata da Elsevier, Amsterdam, Olanda (ISSN: ) - F. Pezzella, G. Ciaschetti, G. Morganti, A genetic algorithm for the flexible job-shop problem, Computers and Operations Research,vol. 35, pp , Issue: Bio-inspired Methods in Combinatorial Optimization. Disponibile online dal 1 marzo 2007 sul seguente link: Rivista pubblicata da Elsevier, Amsterdam, Olanda (ISSN: ) - G. Perboli, F. Pezzella, R. Tadei, EVE-OPT: an hybrid algorithm for the capacitated vehicle routing problem, Mathematical Methods of Operations Research. Disponilie ondine sul seguente link: Rivista pubblicata da Springer-Verlag, Berlino, Germania (ISSN: print version; electronic version) - L. De Giovanni, F. Pezzella An improved genetic algorithm for the distributed and flexible job shop scheduling problem accettato per la pubblicazione su European Journal of Operational Research. Rivista pubblicata da Elsevier, Amsterdam, Olanda (ISSN: ) - F. Pezzella, L. De Giovanni, L. Gambella, R. Macero, E. Silva, C. Alves, F.P. Alvelos, J.M. Valerio de Carvalho, F. Marinelli e C. Arbib 2D Cutting stock optimization software: survey accettato per la pubblicazione su OR/MS Today. Rivista pubblicata da INFORMS.

8 Prof. Spalazzi Luca SSD: ING-INF/05 M.S. in Electronic Engineering (1989) from the University of Ancona, Italy. Ph.D. in Artificial Intelligent Systems (1994) from the University of Ancona, Italy. Collaborator at the Istituto per la Ricerca Scientifica e Tecnologica (IRST), Trento, Italy ( ). Visiting Student at the Australian Artificial Intelligence Institute, Melbourne, Victoria, Australia (July August 1992). Consultant of Istituto di Informatica, Unversity of Ancona, Italy (1994); DIST, University of Genoa, Italy (1995); DISA, University of Trento, Italy (1996); CRMPA, Fisciano, Salerno, Italy (2001). Lecturer at the University of Ancona, Italy (1994/95 and 1997/98). Postdoctoral Fellow at the University of Ancona, Italy (June June 1997). Visiting Scholar at the Stanford University, California, USA (March August 1996). Resear fellow at the University of Ancona, Italy ( ). Associate Professor at the Polytechnic University of Marche, Italy ( Present). Riviste Internazionali [1]. A. BISCOTTI, G. CAPUZZI, E. CARDINALE, L. SPALAZZI, F. PAGLIARECCI, An IPS for Web Applications, Journal of Computer, Vol. 4, No. 5, Academic Publisher, Oulu, Finland, May [2]. F. PAGLIARECCI, L. PENSERINI, L. SPALAZZI, A Goal-Oriented Framework to cope with Requirements Changes: Tropos & Alan, International Transactions on Systems Science and Applications, Vol. 4, No. 4, December, pp , London, UK, [3]. L. PENSERINI, M. KOLP, L. SPALAZZI, Social-Oriented Engineering of Intelligent Software, Web Intelligence and Agent Systems, Vol. 5, No. 1, pp IOS Press, Amsterdam, The Netherlands, [4]. G. CAPUZZI, E. CARDINALE, I. DI PIETRO, L. SPALAZZI, An Incident Response Support System,International Journal of Computer Science and Network Security, Vol. 6, No. 10, Sang H. Lee Publisher, Seoul, Korea, [5]. L. SPALAZZI, C. Baral, Knowledge Representation, Reasoning and Declarative Problem Solving, Minds and Machines, 15: , Kluwer Academic Publisher, Dordrecht, The Netherlands, Conferenze, Raccolte e Altre Internazionali [6]. S. CAMPANA, L. SPALAZZI, F. SPEGNI, XAL: A Web Oriented Programming Language Based On Timed -Automata, in Proc. of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence (WI 08), Sydney, NSW, Australia, December 9 12, IEEE Computer Society Press, Los Alamitos CA, USA, [7]. I. DI PIETRO, F. PAGLIARECCI, L. SPALAZZI, A. MARCONI, M. PISTORE, SemanticWeb Service Selection at the Process-level: the ebay/amazon/paypalcase Study, in Proc. of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence (WI 08), Sydney, NSW, Australia, December 9 12, IEEE Computer Society Press, Los Alamitos CA, USA, [8]. I. DI PIETRO, F. PAGLIARECCI, L. SPALAZZI, Semantic Annotation for Web Service Processes in a Pervasive Computing, chapter in the book Pervasive Computing: Innovations in Intelligent Multimedia and Applications, A.E. Hassanien, A. Abraham, H. Hagras, J. H. Abawajy (Editors), Springer Verlag, Berlin, Germany, [9]. L. SPALAZZI, S. TACCONI, Classification of Attacks on Cryptographic Protocols, chapter in the book Handbook of Electronic Security and Digital Forensics, H. Jahankhani, D. L. Watson, G. Me (Editors), World Scientific Publishing, Singapore, Novembre [10]. S. KIDIAMBOKO, A. MANCINI, S. LONGHI, L. SPALAZZI, A Scalable Telemedicine Architecture for under Developed Countries. A Case study: Democratic Republic of Congo, in 16th Mediterranean Conference on Control and Automation (MED 08), Ajaccio, France, June 25-27, [11]. A. BISCOTTI, G. CAPUZZI, E. CARDINALE, L. SPALAZZI, An IDS for Web Applications, in High Performance Computing System (HPCS 08), Nicosia, June 3 6, Cyprus, [12]. F. PAGLIARECCI, L. SPALAZZI, M.-O. STEHR, C. L. TALCOTT, Formal Specification of Agent- Object Oriented Programs, in Proc. of the 2008 International Symposium on Collaborative Technologies and Systems (CTS 2008), Irvine, California, USA, May 19 23, IEEE Computer Society Press, Los Alamitos CA, USA, [13]. F. PAGLIARECCI, L. PENSERINI, L. SPALAZZI, From a Goal-Oriented Methodology to a BDI Agent Language: The Case of Tropos and Alan, in On the Move to Meaningful Internet Systems 2007, pag , 2007