Antonio Brogi's publications

Antonio Brogi's Publications (since 2000)

To (hopefully) ease browsing, I have tried to group my recent papers by themes. Please click on the title of an article to download its PDF version (copyright note).
Page last updated on Februrary 2007.

Discovery, composition, coordination, and adaptation of software

Web Services

A. Brogi, S. Corfini, S. Iardella. From OWL-S descriptions to Petri nets. In Service-Oriented Computing ICSOC 2007 Workshops - Third international workshop on engineering service-oriented applications: analysis, design and composition (WESOA’07), Wien, Austria, September 17, 2007. LNCS 4907, pages 427-438. © Springer-Verlag.
F. Bonchi, A. Brogi, S. Corfini, F. Gadducci. A Behavioural Congruence for Web services. In Proceedings of the IPM International Symposium on Fundamentals of Software Engineering (FSEN 07), Lecture Notes in Computer Science, 2007. © Springer-Verlag.
A. Brogi, S. Corfini, J.F. Aldana, I. Navas. A Prototype for Discovering Compositions of Semantic Web Services. In G. Tummarello, P. Bouquet, O. Signore (editors) , “Proceedings of the Third Italian Workshop on Semantic Web Applications and Perspectives”, 2006.
A. Brogi, R. Popescu. Automated Generation of BPEL Adapters. In A. Dan and W. Lamersdorf, editors, Proceedings of the 4th International Conference on Service Oriented Computing (ICSOC 06), LNCS vol. 4294, pages 27-39, 2006. © Springer-Verlag.
A. Brogi, S. Corfini, J. F. Aldana, I. Navas. Automated Discovery of Compositions of Services Described with Separate Ontologies. In A. Dan and W. Lamersdorf, editors, Proceedings of the 4th International Conference on Service Oriented Computing (ICSOC 06), LNCS vol. 4294, pages 509-514, 2006. © Springer-Verlag.
A. Brogi, R. Popescu. From BPEL Processes to YAWL Workflows. In M. Bravetti, M. Nunez, G. Zavattaro, editors, Proceedings of the 3rd International Workshop on Web Services and Formal Methods (WS-FM 06), LNCS vol. 4184, pages 107-122, 2006. . © Springer-Verlag.
A. Brogi, S. Corfini. Behaviour-aware discovery of Web service compositions. International Journal of Web Services Research, 4(3): 1-25, 2007.
A. Brogi, R. Popescu. Towards semi-automated workflow-based aggregation of Web services. In F. Casati, P. Traverso, B. Benatallah (editors), Proceedings of Third International Conference on Service Oriented Computing (ICSOC’05), 3rd International Conference on Service Oriented Computing, Amsterdam, The Netherlands, December 12-15, 2005. © Springer-Verlag.
A. Brogi, R. Popescu. Service adaptation through trace inspection. International Journal of Business Process Integration and Management, 2(1): 9-16 2007. © Inderscience Enterprises Ltd..
A. Brogi, S. Corfini, R. Popescu. Composition-oriented service discovery. In F. Gschwind, U. Assmann, and O. Nerstrasz (editors), Software Composition 2005, Lecture Notes in Computer Science 3628, pp.15-30, 2005 © Springer-Verlag.
A. Brogi, S. Corfini, R. Popescu Flexible matchmaking of webservices using DAMLS ontologies. In P. Traverso and S. Weerawarana (editors), Proceedings of Second International Conference on Service Oriented Computing (ICSOC’04 - short papers), IBM Research Report. New York City, USA, November 15-18, 2004.
A. Brogi, C. Canal, E. Pimentel, A. Vallecillo. Formalizing Web Services Choreographies. Electronic Notes in Theoretical Computer Science 105, pages 73-94, 2004. © Elsevier.

Component adaptation

A. Brogi, J. Camara, C. Canal, J, Cubo, E. Pimentel. Dynamic Contextual Adaptation. Fifth International Workshop on the Foundations of Coordination Languages and Software Architectures. Electronic Notes in Computer Science: 175(2): 81-95, 2007
S. Becker, A. Brogi, I. Gorton, S. Overhage, A. Romanovsky, M. Tivoli. Towards an engineering approach to component adaptation. In R. Reussner, J. Stafford, C. Szyperski: Architecting Systems with Trustworthy Components, Lecture Notes in Computer Science 3938, pages 193-215, 2006. © Springer-Verlag.
A. Brogi, C. Canal, E. Pimentel. On the semantics of software adaptation. Science of Computer Programming, 61(2): 136-151, 2006. © Elsevier.
A. Brogi, C. Canal, E. Pimentel. Behavioural types for service integration: achievements and challenges. Electronic Notes in Theoretical Computer Science, volume 180, issue 2, pages 41-54, 2007. © Elsevier.
A. Brogi, C. Canal, E. Pimentel. Behavioural types and component adaptation. In C. Rattray, S. Maharaj, C. Shankland (editors), "10th International Conference on Algebraic Methodology and Software Technology (AMAST 2004)", Lecture Notes in Computer Science 3116, pages 42-56, 2004. © Springer-Verlag.
A. Brogi, C. Canal, E. Pimentel. Component adaptation through flexible subservicing. Science of Computer Programming, 63(1):39-56, 2006. © Elsevier.
A. Brogi, C. Canal, E. Pimentel. Measuring component adaptation. In R. De Nicola, G.L. Ferrari and G. Meredith (editors), "Sixth International Conference on Coordination Models and Languages (COORDINATION 2004)", Lecture Notes in Computer Science 2949, pages 71-86, 2004. © Springer-Verlag.
A. Brogi, C. Canal, E. Pimentel. On the specification of software adaptation. Electronic Notes in Theoretical Computer Science, 89(5), 2003. © Elsevier.
A. Brogi, C. Canal, E. Pimentel. Soft component adaption. Electronic Notes in Theoretical Computer Science, 85(3), 2003. © Elsevier.
A. Bracciali, A. Brogi, C. Canal. A formal approach to component adaptation. Journal of Systems and Software, 74(1):45-54, 2005. © Elsevier.
A. Bracciali, A. Brogi, C. Canal. Systematic component adaption. Electronic Notes in Theoretical Computer Science, 66(4), 2002. © Elsevier.
A. Bracciali, A. Brogi, C. Canal. Adapting components with mismatching behaviours. In J. Bishop and S. Herrmann (editors), "Component Deployment, First International IFIP/ACM Working Conference, Lecture Notes in Computer Science 2370, pages 185-199, 2002. © Springer-Verlag.
A. Bracciali, A. Brogi, C. Canal. Dynamically adapting the behaviour of software components. In F. Arbab and C. Talcott (editors), "Fifth International Conference on Coordination Models and Languages (COORDINATION 2002)", Lecture Notes in Computer Science 2315, pages 88-95, 2002. © Springer-Verlag.

Software coordination

A. Brogi, J.M. Jacquet, J. Linden. Fully abstract semantics for a coordination model with asynchronous communication and enhanced matching. Fundamenta Informaticae, 73(4):431-478, 2006. © IOS Press.
A. Bracciali, A. Brogi, F. Turini. A framework for specifying and verifying the behaviour of open systems. The Journal of Logic and Algebraic Programming, 63(2):215-240, 2005. © Elsevier.
A. Brogi, E. Pimentel, and A. Roldan. Safe Composition of Linda-based Components. Electronic Notes in Theoretical Computer Science, 82(6), 2003.
A. Brogi, I. Linden, and J.M. Jacquet. On modeling coordination via asynchronous communication and enhanced matching. Electronic Notes in Theoretical Computer Science, 68(3), 2002.
A. Brogi, E. Pimentel, and A. Roldan. Compatibility of Linda-based component interfaces. Electronic Notes in Theoretical Computer Science, 66(4), 2002.
A. Bracciali, A. Brogi, G. Ferrari, E. Tuosto. Security and Dynamic Compositions of Open Systems. In H.R. Arabnia (editor), "Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA '02)", pages 1372-1377, Las Vegas, USA, 2002. © CSREA Press.
A. Bracciali, A. Brogi, F. Turini. Interaction patterns for open systems. In F. Torres, J.E. Araya, Y. Sandoval (editors) "Proceedings of the Fourth Iberoamerican Workshop on Requirements Engineering and Software Environments", pages 398--412, San Jose, Costa Rica, 2001.
A. Bracciali, A. Brogi, F. Turini. Coordinating Interaction Patterns. In "Proceedings of the 16th ACM Symposium on Applied Computing (SAC 2001)", pages 159 - 165, Las Vegas (USA), 2001. © ACM Press.
A. Bracciali, A. Brogi, G. Ferrari, E. Tuosto. Security issues in component-based design. Electronic Notes in Theoretical Computer Science, 54, 2001. © Elsevier.

Language expressiveness

J. Linden, J.M. Jacquet, K. De Bosschere, A. Brogi. On the expressiveness of timed coordination models. Science of Computer Programming, 61(2): 152-187, 2006. © Elsevier.
I. Linden, J. M. Jacquet, K. De Bosschere, A. Brogi. On the Expressiveness of Relative-Timed Coordination Models. Electronic Notes in Theoretical Computer Science, 97:125-153, 2004. © Elsevier.
A. Brogi, M. Jacquet. On the expressiveness of coordination via shared dataspaces. Science of Computer Programming, 46(1-2):71-98, 2003. © Elsevier.
A. Brogi, N. Busi, M. Gabbrielli, G. Zavattaro. Comparative analysis of the expressiveness of shared dataspace coordination. Electronic Notes in Theoretical Computer Science, 62, 2002. © Elsevier.
A. Brogi, A. Di Pierro, H. Wiklicky. Linear Embedding for a Quantitative Comparison of Language Expressiveness. Electronic Notes in Theoretical Computer Science, 59(3), 2002. © Elsevier.
J.M. Jacquet, K. De Bosschere, A. Brogi. On timed coordination languages. In A. Porto, G.C. Roman (editors), "Fourth International Conference on Coordination Models and Languages (COORDINATION 2002)", Lecture Notes in Computer Science 1906, pages 81-89, 2000. © Springer-Verlag.
A. Brogi, J.M. Jacquet. On the expressiveness of Linda-like concurrent languages. Electronic Notes in Theoretical Computer Science, 16(2), 2000. © Elsevier.

Computational Logic

Logic program updates

J.J. Alferes, F. Banti, A. Brogi. An Event-Condition-Action Logic Programming Language. In M. Fisher, W. van der Hoek, B. Konev and A. Lisitsa (editors), JELIA06: 10th European Conference on Logics in Artificial Intelligence, Lecture Notes in Artificial Intelligence 4160, pages 29-42, 2006. © Springer-Verlag.
J.J. Alferes, F. Banti, A. Brogi. From logic programs updates to action description updates. In J. Leite and P. Torroni (editors), "Proceedings of the 5th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA V)", Lecture Notes in Computer Science, 2004. (To appear.) © Springer-Verlag.
J.J. Alferes, F. Banti, A. Brogi, J. Leite. The Refined Extension Principle for Semantics of Dynamic Logic Programming. Studia Logica 79(1):7-32, 2005. © Kluwer.
F. Banti, J.J. Alferes, A. Brogi. Well founded semantics for logic program updates. In C. Lemaitre, C.A. Reyes, J.A. Gonzalez (editors) " Advances in Artificial Intelligence – Proceedings of IBERAMIA 2004: 9th Ibero-American Conference on AI", Lecture Notes in Computer Science 3315, pages 397-407, 2004. © Springer-Verlag.
J.J. Alferes, F. Banti, A. Brogi, and J.A. Leite. Semantics for Dynamic Logic Programming: a principle-based approach. In V. Lifschitz and I. Niemela, (editors), "Procs. of the Seventh International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-7)", Lecture Notes in Computer Science 2923, pages 8-20, 2004. © Springer-Verlag.
J.J. Alferes, A. Brogi, J.A. Leite, and L.M. Pereira. An evolvable rule-based email agent. Progress in Artificial Intelligence, Lecture Notes in Computer Science 2902, pages 394-408, 2003 © Springer-Verlag.
J.J.Alferes, A. Brogi, J.A. Leite, L.M. Pereira, Logic Programming for Evolving Agents. In M. Klusch, S. Ossowski, A. Omicini, H. Laamanen, (editors), Proceedings of the 7th International Workshop on Cooperative Information Agents (CIA'03), Lecture Notes in Computer Science 2782, 2003. © Springer-Verlag.
J.J.Alferes, A. Brogi, J.A. Leite, L.M. Pereira, Evolving logic programs. In S. Flesca, S. Greco, N. Leone, and G. Ianni (editors) Logics in Artificial Intelligence, 8th European Conference on Logics in Artificial Intelligence (JELIA 02), Lecture Notes in Computer Science 2424, pages 50-62. 2002. © Springer-Verlag.
J.J. Alferes, A. Brogi, J.A. Leite, and L.M. Pereira. Computing environment-aware agent behaviours with logic program updates. In A. Pettorossi (editor), "Logic-Based Program Synthesis and Transformation - 11th International Workshop (LOPSTR'01), Selected Papers", Lecture Notes in Computer Science 2372, pages 216-232, 2002. © Springer-Verlag.

Logic program composition

A. Brogi. On the semantics of logic program composition. In M. Bruynooghe, K.K. Lau (editors), "Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development", Lecture Notes in Computer Science 3049, pages 115-151, 2004. © Springer-Verlag.

A. Brogi, C. Renso, and F. Turini. Dynamic composition of parameterised logic modules. Computer Languages, 25(4):211--242, 2000. © Elsevier.

A. Brogi, S.Contiero, and F.Turini. On the interplay between reactivity and computation. In F. Sadri and K. Satoh (editors), "First Workshop on Computational Logic in Multi-Agent Systems", London (UK), July 2000.

Other papers on logic programming

A. Brogi, V.S. Subrahmanian, and C. Zaniolo. A deductive database approach to A.I. Planning. Journal of Intelligent Information Systems, 20(3): 215-253, 2003. © Springer-Verlag

A. Brogi. Probabilistic behaviours of reactive agents. Electronic Notes in Theoretical Computer Science, 48, 2001. © Elsevier.

A. Brogi and G. Caruso. From subject directories to subject meta-directories via declarative programming. In I.V. Ramakrishnan (editor) "Practical Aspects of Declarative Languages: Third International Workshop (PADL'01)", Lecture Notes in Computer Science 1990, pages 45-59, 2001. © Springer-Verlag.

Edited volumes

A. Brogi, J.M. Jacquet, E. Pimentel (editors). Proceedings of FOCLASA 2004: Foundations of Coordination Languages and Software Architectures. Electronic Notes in Theoretical Computer Science, volume 180, issue 2, 2007. © Elsevier.

A. Brogi, J.M. Jacquet, E. Pimentel (editors). Proceedings of FOCLASA 2003: Foundations of Coordination Languages and Software Architectures. Electronic Notes in Theoretical Computer Science, 97, 2004. © Elsevier.

A. Brogi, E. Pimentel (editors). Proceedings of FMCI 2002: Formal methods and component interaction. Electronic Notes in Theoretical Computer Science, 66(4), 2002. © Elsevier.

A. Brogi, J.M. Jacquet (editors). Proceedings of FOCLASA 2002: Foundations of Coordination Languages and Software Architectures. Electronic Notes in Theoretical Computer Science, 68(3), 2002. © Elsevier.

A. Brogi, P. Hill (editors). Logical Formalisms for Program Composition. Journal of Functional and Logic Programming, Volume 2000(2), 2000. © The MIT Press.