Autore
ANTONIO BROGI
Unimap Dati autore
- Professore Ordinario presso Dipartimento di Informatica
- Membro della Facolta' di Scienze Matematiche Fisiche e Naturali
- Settore scientifico disciplinare INF/01 INFORMATICA
- In servizio
Prodotti
- Articoli
- A Unifying View for Logic Programming with Non-Monotonic Reasoning. 1997
- The Logic of Totally and Partially Ordered Plans: A Deductive Database Approach. 1997
- A Program Specialiser for Meta-level Compositions of Logic Programs. 1998
- Programming by composing general logic programs. 1999
- Dynamic composition of parameterised logic modules. 2000
- A deductive database approach to A.I. Planning 2003
- On the expressiveness of coordination via shared dataspaces 2003
- A formal approach to component adaptation 2005
- A framework for specifying and verifying the behaviour of open systems 2005
- The Refined Extension Principle for Semantics of Dynamic Logic Programming 2005
- Component adaptation through flexible subservicing. 2006
- Fully abstract semantics for a coordination model with asynchronous communication and enhanced matching. 2006
- On the expressiveness of timed coordination models. 2006
- On the semantics of software adaptation. 2006
- Behaviour aware discovery of Web service compositions. 2007
- Service Adaptation through Trace Inspection. 2007
- On the use of behavioural equivalences for Web services’development 2008
- Ontology- and behaviour-aware discovery of Web service compositions 2008
- Semantics-based Composition-oriented Discovery of Web Services 2008
- Workflow-based Semantics of Peer and Service Behaviour. 2008
- A net-based approach to Web services publication and replaceability 2009
- Software Composition with Linda. 2009
- *Evolving Reactive Logic Programs 2010
- *On the potential advantages of exploiting behavioural information for contract-based service discovery and composition 2010
- Design and Implementation of Sator: a Web Service Aggregator 2010
- A Formalised, Taxonomy-Driven Approach to Cross-Layer Application Adaptation 2012
- Atti, Riassunti o Comunicazioni
- Composing General Logic Programs 1997
- Coordinating Heterogeneous Information Systems 1997
- Modeling Coordination via Asynchronous Communication. 1997
- On the expressiveness of Linda-like concurrent languages 1998
- A Prolog Meta-Search Engine for the World Wide Web 1999
- A rule-based recommender system integrated with the WWW 1999
- On the expressiveness of coordination models 1999
- The use of renaming in composing general programs 1999
- On the interplay between reactivity and computation 2000
- On timed coordination languages 2000
- Coordinating Interaction Patterns 2001
- From subject directories to subject meta-directories via declarative programming 2001
- Interaction patterns for open systems 2001
- Probabilistic behaviours of reactive agents 2001
- Security issues in component-based design 2001
- Adapting components with mismatching behaviours 2002
- Comparative analysis of the expressiveness of shared dataspace coordination. 2002
- Compatibility of Linda-based component interfaces. 2002
- Computing environment-aware agent behaviours with logic program updates 2002
- Dynamically adapting the behaviour of software components 2002
- Evolving logic programs 2002
- Linear Embedding for a Quantitative Comparison of Language Expressiveness 2002
- On modeling coordination via asynchronous communication and enhanced matching. 2002
- Security and Dynamic Compositions of Open Systems 2002
- Systematic component adaption 2002
- An evolvable rule-based email agent 2003
- Logic Programming for Evolving Agents 2003
- Safe Composition of Linda-based Components 2003
- Soft component adaption 2003
- Behavioural types and component adaptation. 2004
- Flexible matchmaking of web services using DAMLS onotlogies. 2004
- Formalizing Web Services Choreographies 2004
- Measuring component adaptation 2004
- On the Expressiveness of Relative-Timed Coordination Models 2004
- On the specification of software adaptation. 2004
- Semantics for Dynamic Logic Programming: a principle-based approach. 2004
- Well founded semantics for logic program updates. 2004
- Composition-oriented service discovery 2005
- From logic programs updates to action description updates 2005
- Operational semantics for DyLPs 2005
- The well supported semantics for multidimensional dynamic logic programs 2005
- Towards Semi-automated Workflow-based Aggregation of Web Services. 2005
- A Prototype for Discovering Compositions of Semantic Web Services. 2006
- An Event-Condition-Action Logic Programming Language. 2006
- Automated Discovery of Compositions of Services Described with Separate Ontologies 2006
- Automated Generation of BPEL Adapters. 2006
- From BPEL Processes to YAWL Workflows. 2006
- Towards an engineering approach to component adaptation. 2006
- A Behavioural Congruence for Web services. 2007
- Behavioural types for service integration: achievements and challenges 2007
- Discovering service compositions that feature a desired behaviour. 2007
- Dynamic Contextual Adaptation. 2007
- SAM: a Semantic Web service discovery system 2007
- Towards Secure Middleware for Embedded Peer-to-Peer Systems: Objectives & Requirements 2007
- A Service-oriented Model for Embedded Peer-to-Peer Systems. 2008
- Compositional specification of Web Services via behavioural equivalence of Nets: A case study 2008
- Contracts in a Secure Middleware for Embedded Peer-to-Peer Systems 2008
- Modelado de sistemas P2P con control de excepciones 2008
- Secure P2P programming on top of tuple spaces. 2008
- Tailoring Service Discovery to Embedded P2P Systems 2008
- Workflow semantics of peer and service behaviour. 2008
- A Two-Tiered Approach to Enabling Enhanced Service Discovery in Embedded Peer-to-Peer Systems. 2009
- From OWL-S descriptions to Petri nets. 2009
- *Learning from Failures: a Lightweight Approach to Run-Time Behavioural Adaptation 2010
- Simulating the behaviour of peer specifications for mobile P2P environments 2010
- Taxonomy-driven Adaptation of Multi-Layer Applications Using Templates 2010
- Capitoli, Parte,Saggi, Studi, Articoli in libro
- Edizioni, Recensioni, Curatele, Voci enc
- Special issue della rivista Journal of Functional and Logic Programming - Formalisms for Program Composition 2000
- Proceedings of First Workshop on Formal Methods and Component Interaction (FMCI 2002) 2002
- Proceedings of First Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA 2002) 2003
- Proceedings of Second Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA 2003) 2004
- Special issue della rivista Fundamenta Informaticae - Selected papers from the First International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA’02) 2006
- Special issue della rivista Science of Computer Programming - Selected papers from the Second International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA’03) 2006
- Proceedings of Third International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA 2004) 2007
- Proceedings of 12th Iberoamerican Conference on Software Engineering (CIbSE’09) 2009
- *Special issue della rivista Journal of Logic and Algebraic programming - Selected papers from the Fourth Workshop on Formal Languages and Analysis of Contract-Oriented Software 2010
- Proceedings of 8th IEEE European Conference on Web Services (ECOWS 2010) 2010
- Proceedings of the 4th Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS 2010) 2010
- Libri, Manuali o Trattati
- Software
- JXTA2SMEPP 2010
- MABEL - MAshup Behavior Analyzer 2010
- OWLS2PNML 2010
- SMoL analyser 2010
- SMoL2Java converter 2010