A Middleware Model in Alloy A Middleware Model in Alloy - IRIT

ePAPER READ

DOWNLOAD ePAPER

irit.fr

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

START NOW

Robrecht Haesevoets

robrecht.haesevoets@cs.kuleuven.be

DistriNet

RESEARCH GROUP

Copatterns: Programming Infinite Structures by Observations - IRIT

Ce que les collaborations avec les informaticiens font aux ... - IRIT

ReprÃ©senter l'espace en logique modale : un panorama - IRIT

PROPOSITION DE DEMO POUR LE COLLOQUE TALSF ... - IRIT

Characterizing the Outcomes of Argumentation-based ... - IRIT

In actes de la conf. IC'2000 (10-12 mai, Toulouse) - IRIT

La terminologie, historique et orientations - IRIT

Virtual Enterprise Normative Framework within Electronic ... - IRIT

Les tablettes tactiles dans l'Ã©ducation et la formation. Usages ... - IRIT

un capteur de sphereo-vision stereoscopique couleur - IRIT

ModÃ¨le d'accÃ¨s personnalisÃ© Ã l'information basÃ© sur les ... - IRIT

Une ontologie du CinÃ©ma pour Ã©valuer les applications du ... - IRIT

Outline Introduction Examples Issue Issue - IRIT

Robrecht Haesevoets robrecht.haesevoets@cs.kuleuven.be DistriNet RESEARCH GROUP

Research Project * Industrial partners Managing collaborations with agents Supply Chain Management domain 10min Presentation Controlled supply chain-wide interactions Organization middleware Simple model + Alloy * DiCoMas: Distributed Collaboration using Multi-agent System Architectures http://distrinet.cs.kuleuven.be/projects/dicomas/index.html

Page 1: A Middleware Model in Alloy for Sup
Page 5 and 6: No overall view or management of In
Page 7 and 8: Broker Transporter Supplier Transpo
Page 9 and 10: Specify Universe sig Agent{...} sig
Page 11 and 12: Summary Reusable organizational abs
Page 13: References - Preist et al. Automate

A Middleware Model in Alloy A Middleware Model in Alloy - IRIT

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?