1. Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella, and Herbert Wiklicky. Unfolding for CHR programs. Theory and Practice of Logic Programming, . Note: To appear. [PDF]
   

   @article{gabbrielli_unfolding_tplp13,
   author = {Maurizio Gabbrielli and Maria Chiara Meo and Paolo Tacchella and Herbert Wiklicky},
   title = {Unfolding for {CHR} programs},
   journal = TPLP,
   note = {To appear} pdf = {http://arxiv.org/pdf/1307.0679} 
   }
   




2. Thom W. Frühwirth Jon Sneyers, Danny De Schreye. In . .
   

   @incollection{sneyers_legal_reasoning_iclp13,
   author = {Jon Sneyers, Danny De Schreye, Thom W. Fr{\"u}hwirth}
   }
   

1. Ruoyu Chen, Lejian Liao, and Zhi Fang. Contracting of Web Services with Constraint Handling Rules. In Services (SERVICES), 2012 IEEE Eighth World Congress on, pages 211-218, June. [doi:10.1109/SERVICES.2012.36] Keyword(s): applications. Abstract:

   In e-service environment, service contract is important for assurance of business interoperability and quality of services. Combining service contract and process model will facilitate analyzing service process and monitoring service execution. This paper proposes a service modeling approach consists of service contract and process model. Service contracts are used as service advertisement and service request in this approach. The operational semantics of service contract and process model are translated into Constraint Handling Rules(CHR) program by a compiler. Based on this approach, a concept named service contracting is defined as a phase between service discovery and execution, which checks the consistency of service advertisement and process model as well as the the applicability of services w.r.t. the consumer's capabilities. Further, constraint solver centered implementation is designed, the modeling and contracting of web services under this architecture is illustrated.

   
   

   @INPROCEEDINGS{6274053,
   author={Ruoyu Chen and Lejian Liao and Zhi Fang},
   booktitle={Services (SERVICES), 2012 IEEE Eighth World Congress on},
   title={Contracting of Web Services with Constraint Handling Rules},
   year={June},
   pages={211-218},
   abstract={In e-service environment, service contract is important for assurance of business interoperability and quality of services. Combining service contract and process model will facilitate analyzing service process and monitoring service execution. This paper proposes a service modeling approach consists of service contract and process model. Service contracts are used as service advertisement and service request in this approach. The operational semantics of service contract and process model are translated into Constraint Handling Rules(CHR) program by a compiler. Based on this approach, a concept named service contracting is defined as a phase between service discovery and execution, which checks the consistency of service advertisement and process model as well as the the applicability of services w.r.t. the consumer's capabilities. Further, constraint solver centered implementation is designed, the modeling and contracting of web services under this architecture is illustrated.},
   keywords={applications},
   doi={10.1109/SERVICES.2012.36} 
   }
   




2. M. Spies. Continous Monitoring for IT Governance with Domain Ontologies. In Database and Expert Systems Applications (DEXA), 2012 23rd International Workshop on, pages 43-47, Sept.. ISSN: 1529-4188. [doi:10.1109/DEXA.2012.36] Keyword(s): Description Logic. Abstract:

   We present the practical context, design rationale and application basics of a domain ontology capturing industry standards for defining, controlling and auditing IT Governance.

   
   

   @inproceedings{6327401,
   author={Spies, M.},
   booktitle={Database and Expert Systems Applications (DEXA), 2012 23rd International Workshop on},
   title={Continous Monitoring for IT Governance with Domain Ontologies},
   year={Sept.},
   pages={43-47},
   abstract={We present the practical context, design rationale and application basics of a domain ontology capturing industry standards for defining, controlling and auditing IT Governance.},
   keywords={Description Logic},
   doi={10.1109/DEXA.2012.36},
   ISSN={1529-4188} 
   }
   

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

The contents of this webpage is provided by the authors stated below. KU Leuven is not bound by the information provided. It is possible that the information is not or no longer completely accurate. Where necessary, the authors can adjust and update faulty information. The authors have taken all reasonable care to ensure that all information available on this website is accurate at the time of publication and on the basis of the current state of knowledge. KU Leuven nor the authors are responsible for the content of any links to external organisations that are referred to on this website.

• Peter Van Weert [home, mail]
• Jon Sneyers [home, mail]
• Tom Schrijvers [home, mail]
• Leslie De Koninck

This document was translated from BibT_EX by bibtex2html