Putting It All Together: Using the ArtDeco Approach in the Wine Business Domain

This chapter summarises the results achieved by the ArtDeco project and presents the overall approach for developing the models that the large-scale middleware infrastructure designed during the project uses to drive the behaviours of the information systems of a sample networked enterprise operating in the domain of wine production. This domain is sufficiently wide to cover many business aspects that highlight the ability of the proposed infrastructure to adapt its behavior to the evolving execution context by reacting to unexpected events with a very limited human intervention.

[1]  Fabio A. Schreiber,et al.  PERLA: A Data Language for Pervasive Systems , 2008, 2008 Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom).

[2]  Claudio Gutierrez,et al.  Survey of graph database models , 2008, CSUR.

[3]  Carlo Ghezzi.  The challenges of open-world software , 2007, WOSP '07.

[4]  Mario Di Francesco,et al.  Energy conservation in wireless sensor networks: A survey , 2009, Ad Hoc Networks.

[5]  Eugenio Zimeo,et al.  Self-adaptive management of Web processes , 2010, 2010 12th IEEE International Symposium on Web Systems Evolution (WSE).

[6]  Matteo Golfarelli,et al.  Data Warehouse Design: Modern Principles and Methodologies , 2009 .

[7]  Benjamin W. Wah,et al.  Wiley Encyclopedia of Computer Science and Engineering , 2009, Wiley Encyclopedia of Computer Science and Engineering.

[8]  Julie A. McCann,et al.  A survey of autonomic computing—degrees, models, and applications , 2008, CSUR.

[9]  Gerard J. Holzmann,et al.  The SPIN Model Checker , 2003 .

[10]  Marco Pistore,et al.  Nusmv version 2: an opensource tool for symbolic model checking , 2002, CAV 2002.

[11]  Marco Pistore,et al.  NuSMV 2: An OpenSource Tool for Symbolic Model Checking , 2002, CAV.

[12]  Edmund M. Clarke,et al.  Model Checking , 1999, Handbook of Automated Reasoning.