Per Year
@incollection{EcoservicesIdc08,
Author = {Zambonelli, Franco and Viroli, Mirko},
Booktitle = {Intelligent Distributed Computing, Systems and Applications},
Doi = {10.1007/978-3-540-85257-5_3},
Isbn = {978-3-540-85256-8},
Issn = {1860-949X},
eissn = {1860-9503},
Keywords = {Self-organising systems, Ecoservices, Bio-inspired models, Adaptive systems, Infrastructures},
Month = sep,
Note = {2nd International Symposium on Intelligent Distributed Computing (IDC 2008), Catania, Italy, 18--19~} # sep # {~2008. Proceedings},
Pages = {23--32},
Publisher = {Springer},
Series = {Studies in Computational Intelligence},
Title = {Architecture and Metaphors for Eternally Adaptive Service Ecosystems},
Volume = {162/2008},
Year = 2008}
Author = {Zambonelli, Franco and Viroli, Mirko},
Booktitle = {Intelligent Distributed Computing, Systems and Applications},
Doi = {10.1007/978-3-540-85257-5_3},
Isbn = {978-3-540-85256-8},
Issn = {1860-949X},
eissn = {1860-9503},
Keywords = {Self-organising systems, Ecoservices, Bio-inspired models, Adaptive systems, Infrastructures},
Month = sep,
Note = {2nd International Symposium on Intelligent Distributed Computing (IDC 2008), Catania, Italy, 18--19~} # sep # {~2008. Proceedings},
Pages = {23--32},
Publisher = {Springer},
Series = {Studies in Computational Intelligence},
Title = {Architecture and Metaphors for Eternally Adaptive Service Ecosystems},
Volume = {162/2008},
Year = 2008}
@incollection{intro-entcs194,
Author = {Carlos, Canal and Poizat, Pascal and Viroli, Mirko},
Booktitle = {Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2007)},
Doi = {10.1016/j.entcs.2008.03.095},
Editor = {Carlos, Canal and Poizat, Pascal and Viroli, Mirko},
Issn = {1571-0661},
Number = 4,
Pages = {1--3},
Publisher = {Elsevier Science B.V.},
Series = {Electronic Notes in Theoretical Computer Science},
Title = {Preface},
Volume = 194,
Year = 2008}
Author = {Carlos, Canal and Poizat, Pascal and Viroli, Mirko},
Booktitle = {Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2007)},
Doi = {10.1016/j.entcs.2008.03.095},
Editor = {Carlos, Canal and Poizat, Pascal and Viroli, Mirko},
Issn = {1571-0661},
Number = 4,
Pages = {1--3},
Publisher = {Elsevier Science B.V.},
Series = {Electronic Notes in Theoretical Computer Science},
Title = {Preface},
Volume = 194,
Year = 2008}
@article{RVC-FOCLASA2007-ENTCS2008,
Author = {Ricci, Alessandro and Viroli, Mirko and Cimadamore, Maurizio},
Doi = {10.1016/j.entcs.2008.03.102},
Editor = {Canal, Carlos and Poizat, Pascal and Viroli, Mirko},
Issn = {1571-0661},
Journal = {Electronic Notes in Theoretical Computer Science},
Keyword = {multiprogramming, agents and artifacts, Multiagent systems, concurrent programming, core calculi},
Month = apr,
Note = {6th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'07), CONCUR'07, Lisbon, Portugal, 8~} # sep # {~2007. Proceedings},
Number = 4,
Pages = {111--132},
Publisher = {Elsevier Science B.V.},
Title = {Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus},
Volume = 194,
Year = 2008}
Author = {Ricci, Alessandro and Viroli, Mirko and Cimadamore, Maurizio},
Doi = {10.1016/j.entcs.2008.03.102},
Editor = {Canal, Carlos and Poizat, Pascal and Viroli, Mirko},
Issn = {1571-0661},
Journal = {Electronic Notes in Theoretical Computer Science},
Keyword = {multiprogramming, agents and artifacts, Multiagent systems, concurrent programming, core calculi},
Month = apr,
Note = {6th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'07), CONCUR'07, Lisbon, Portugal, 8~} # sep # {~2007. Proceedings},
Number = 4,
Pages = {111--132},
Publisher = {Elsevier Science B.V.},
Title = {Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus},
Volume = 194,
Year = 2008}
@inproceedings{stochasticprolog-cilc08,
address = {Perugia, Italy},
author = {Oliva, Enrico and Gardelli, Luca and Viroli, Mirko and Omicini, Andrea},
booktitle = {23\textsuperscript{\underline{o}} Convegno Italiano di Logica Computazionale (CILC'08)},
iris = {11585/899637},
month = {10--12~} # jul,
pages = {237--251},
title = {Experimenting with Stochastic Prolog as a Simulation Language},
year = 2008
}
address = {Perugia, Italy},
author = {Oliva, Enrico and Gardelli, Luca and Viroli, Mirko and Omicini, Andrea},
booktitle = {23\textsuperscript{\underline{o}} Convegno Italiano di Logica Computazionale (CILC'08)},
iris = {11585/899637},
month = {10--12~} # jul,
pages = {237--251},
title = {Experimenting with Stochastic Prolog as a Simulation Language},
year = 2008
}
@article{generics-scp73,
Author = {Cimadamore, Maurizio and Viroli, Mirko},
Doi = {doi:10.1016/j.scico.2008.06.005},
Editor = {Mernik, Marjan},
Issn = {0167-6423},
Journal = {Science of Computer Programming},
Keywords = {Generic types, Wildcards, Java, Reification},
Month = oct,
Note = {Selected Papers from the 22th ACM Symposium on Applied Computing (SAC 2007)},
Number = {2--3},
Pages = {59--75},
Publisher = {Elsevier Science B.V.},
Title = {On the reification of {J}ava wildcards},
Url = {http://www.sciencedirect.com/science/article/pii/S016764230800066X},
Volume = 73,
Year = 2008}
Author = {Cimadamore, Maurizio and Viroli, Mirko},
Doi = {doi:10.1016/j.scico.2008.06.005},
Editor = {Mernik, Marjan},
Issn = {0167-6423},
Journal = {Science of Computer Programming},
Keywords = {Generic types, Wildcards, Java, Reification},
Month = oct,
Note = {Selected Papers from the 22th ACM Symposium on Applied Computing (SAC 2007)},
Number = {2--3},
Pages = {59--75},
Publisher = {Elsevier Science B.V.},
Title = {On the reification of {J}ava wildcards},
Url = {http://www.sciencedirect.com/science/article/pii/S016764230800066X},
Volume = 73,
Year = 2008}
@article{selforg-ijaose2,
acm = {10.1504/IJAOSE.2008.017314},
author = {Gardelli, Luca and Viroli, Mirko and Casadei, Matteo and Omicini, Andrea},
doi = {10.1504/IJAOSE.2008.017314},
editor = {Cossentino, Massimo and Fortino, Giancarlo and Russo, Wilma},
eissn = {1746-1383},
iris = {11585/62551},
issn = {1746-1375},
journal = {International Journal of Agent-Oriented Software Engineering},
keywords = {collective sorting; self-organisation; emergence; simulation; tuning; patterns; multi-agent systems; MAS design; artefacts; agent-based systems; metamodelling; environmental agents; tuple spaces; social insects},
note = {Special Issue on Multi-Agent Systems and Simulation},
number = 2,
pages = {171--195},
publisher = {Inderscience Publishers},
scopus = {2-s2.0-77954568138},
title = {Designing Self-Organising Environments with Agents and Artefacts: A Simulation-Driven Approach},
url = {http://www.inderscience.com/info/inarticle.php?artid=17314},
urlpdf = {http://inderscience.metapress.com/content/t062gp2g6j688pvl/fulltext.pdf},
volume = 2,
year = 2008
}
acm = {10.1504/IJAOSE.2008.017314},
author = {Gardelli, Luca and Viroli, Mirko and Casadei, Matteo and Omicini, Andrea},
doi = {10.1504/IJAOSE.2008.017314},
editor = {Cossentino, Massimo and Fortino, Giancarlo and Russo, Wilma},
eissn = {1746-1383},
iris = {11585/62551},
issn = {1746-1375},
journal = {International Journal of Agent-Oriented Software Engineering},
keywords = {collective sorting; self-organisation; emergence; simulation; tuning; patterns; multi-agent systems; MAS design; artefacts; agent-based systems; metamodelling; environmental agents; tuple spaces; social insects},
note = {Special Issue on Multi-Agent Systems and Simulation},
number = 2,
pages = {171--195},
publisher = {Inderscience Publishers},
scopus = {2-s2.0-77954568138},
title = {Designing Self-Organising Environments with Agents and Artefacts: A Simulation-Driven Approach},
url = {http://www.inderscience.com/info/inarticle.php?artid=17314},
urlpdf = {http://inderscience.metapress.com/content/t062gp2g6j688pvl/fulltext.pdf},
volume = 2,
year = 2008
}
@inproceedings{patj-sac08,
Address = {Fortaleza, Cear{\'a}, Brazil},
Author = {Cimadamore, Maurizio and Viroli, Mirko},
Booktitle = {23th ACM Symposium on Applied Computing (SAC 2008)},
Doi = {10.1145/1363686.1363740},
Editor = {Wainwright, Roger L. and Haddad, Hisham M. and Menezes, Ronaldo and Viroli, Mirko},
Isbn = {978-1-59593-753-7},
Keywords = {Generics, Java, Multiparadigm, Prolog, Wildcards},
Month = {16--20~} # mar,
Note = {Special Track on Programming Languages},
Pages = {198--205},
Publisher = {ACM},
Title = {Integrating {J}ava and {P}rolog through Generic Methods and Type Inference},
Volume = 1,
Year = 2008}
Address = {Fortaleza, Cear{\'a}, Brazil},
Author = {Cimadamore, Maurizio and Viroli, Mirko},
Booktitle = {23th ACM Symposium on Applied Computing (SAC 2008)},
Doi = {10.1145/1363686.1363740},
Editor = {Wainwright, Roger L. and Haddad, Hisham M. and Menezes, Ronaldo and Viroli, Mirko},
Isbn = {978-1-59593-753-7},
Keywords = {Generics, Java, Multiparadigm, Prolog, Wildcards},
Month = {16--20~} # mar,
Note = {Special Track on Programming Languages},
Pages = {198--205},
Publisher = {ACM},
Title = {Integrating {J}ava and {P}rolog through Generic Methods and Type Inference},
Volume = 1,
Year = 2008}
@inproceedings{ecosystems-woa2008,
Address = {Palermo, Italy},
Author = {Villalba, Cynthia and Rosi, Alberto and Viroli, Mirko and Zambonelli, Franco},
Booktitle = {9th Workshop "From Objects to Agents" (WOA 2008) -- Evolution of Agent Development: Methodologies, Tools, Platforms and Languages},
Editor = {Baldoni, Matteo and Cossentino, Massimo and De Paoli, Flavio and Seidita, Valeria},
Isbn = {978-88-6122-122-2},
Month = nov,
Pages = {61--67},
Publisher = {Seneca Edizioni},
Title = {Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems},
Url = {http://www.pa.icar.cnr.it/woa08/materiali/Proceedings.pdf},
Year = 2008}
Address = {Palermo, Italy},
Author = {Villalba, Cynthia and Rosi, Alberto and Viroli, Mirko and Zambonelli, Franco},
Booktitle = {9th Workshop "From Objects to Agents" (WOA 2008) -- Evolution of Agent Development: Methodologies, Tools, Platforms and Languages},
Editor = {Baldoni, Matteo and Cossentino, Massimo and De Paoli, Flavio and Seidita, Valeria},
Isbn = {978-88-6122-122-2},
Month = nov,
Pages = {61--67},
Publisher = {Seneca Edizioni},
Title = {Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems},
Url = {http://www.pa.icar.cnr.it/woa08/materiali/Proceedings.pdf},
Year = 2008}
@incollection{aea-promasV,
acm = {1793542},
author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
booktitle = {Programming Multi-Agent Systems},
doi = {10.1007/978-3-540-79043-3_6},
editor = {Dastani, Mehdi and El Fallah Seghrouchni, Amal and Ricci, Alessandro and Winikoff, Michael},
eissn = {1611-3349},
iris = {11585/62539},
isbn = {978-3-540-79042-6},
issn = {0302-9743},
month = apr,
note = {5th International Workshop (ProMAS 2007), Honolulu, HI, USA, 15~} # may # {~2007. Revised and Invited Papers},
numpages = 4908,
pages = {89--106},
publisher = {Springer},
scopus = {2-s2.0-43949095159},
series = {Lecture Notes in Computer Science},
subseries = {Lecture Notes in Artificial Intelligence},
title = {The {A\&A} Programming Model and Technology for Developing Agent Environments in {MAS}},
url = {http://link.springer.com/10.1007/978-3-540-79043-3_6},
volume = 4908,
wos = {000255942800006},
year = 2008
}
acm = {1793542},
author = {Ricci, Alessandro and Viroli, Mirko and Omicini, Andrea},
booktitle = {Programming Multi-Agent Systems},
doi = {10.1007/978-3-540-79043-3_6},
editor = {Dastani, Mehdi and El Fallah Seghrouchni, Amal and Ricci, Alessandro and Winikoff, Michael},
eissn = {1611-3349},
iris = {11585/62539},
isbn = {978-3-540-79042-6},
issn = {0302-9743},
month = apr,
note = {5th International Workshop (ProMAS 2007), Honolulu, HI, USA, 15~} # may # {~2007. Revised and Invited Papers},
numpages = 4908,
pages = {89--106},
publisher = {Springer},
scopus = {2-s2.0-43949095159},
series = {Lecture Notes in Computer Science},
subseries = {Lecture Notes in Artificial Intelligence},
title = {The {A\&A} Programming Model and Technology for Developing Agent Environments in {MAS}},
url = {http://link.springer.com/10.1007/978-3-540-79043-3_6},
volume = 4908,
wos = {000255942800006},
year = 2008
}
@article{PolymorphismJfp18,
issn = {0956-7968},
volume = 18,
title = {Lightweight Family Polymorphism},
publisher = {Cambridge University Press},
url = {http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=1827916},
number = 3,
month = may,
doi = {10.1017/S0956796807006405},
keywords = {inheritance, family polymorphism, Featherweight Java},
note = {A preliminary summary appeared in the proceedings of the third Asian Symposium on Programming Languages and Systems (APLAS2005), volume 3780 of Lecture Notes in Computer Science, Tsukuba, Japan, November 2005, Springer-Verlag, pp. 161-177},
eissn = {1469-7653},
year = 2008,
pages = {285-331},
journal = {Journal of Functional Programming},
author = {Saito, Chieri and Igarashi, Atsushi and Viroli, Mirko}}
issn = {0956-7968},
volume = 18,
title = {Lightweight Family Polymorphism},
publisher = {Cambridge University Press},
url = {http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=1827916},
number = 3,
month = may,
doi = {10.1017/S0956796807006405},
keywords = {inheritance, family polymorphism, Featherweight Java},
note = {A preliminary summary appeared in the proceedings of the third Asian Symposium on Programming Languages and Systems (APLAS2005), volume 3780 of Lecture Notes in Computer Science, Tsukuba, Japan, November 2005, Springer-Verlag, pp. 161-177},
eissn = {1469-7653},
year = 2008,
pages = {285-331},
journal = {Journal of Functional Programming},
author = {Saito, Chieri and Igarashi, Atsushi and Viroli, Mirko}}
@article{artifacts-jaamas17,
acm = {10.1007/s10458-008-9053-x},
author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko},
doi = {10.1007/s10458-008-9053-x},
editor = {Omicini, Andrea and McBurney, Peter},
eissn = {1573-7454},
iris = {11585/62574},
issn = {1387-2532},
journal = {Autonomous Agents and Multi-Agent Systems},
keywords = {Artifact, A&A meta-model, MAS environment, Activity theory, Distributed cognition, Coordination, Agent intelligence, Agent-oriented software engineering (AOSE), MAS infrastructure},
month = dec,
note = {Special Issue on Foundations, Advanced Topics and Industrial Perspectives of Multi-Agent Systems},
number = 3,
pages = {432--456},
publisher = {Springer},
publonsid = {13197269},
scopus = {2-s2.0-52949149709},
title = {Artifacts in the {A\&A} Meta-Model for Multi-Agent Systems},
url = {http://link.springer.com/10.1007/s10458-008-9053-x},
volume = 17,
wos = {000259411800004},
year = 2008
}
acm = {10.1007/s10458-008-9053-x},
author = {Omicini, Andrea and Ricci, Alessandro and Viroli, Mirko},
doi = {10.1007/s10458-008-9053-x},
editor = {Omicini, Andrea and McBurney, Peter},
eissn = {1573-7454},
iris = {11585/62574},
issn = {1387-2532},
journal = {Autonomous Agents and Multi-Agent Systems},
keywords = {Artifact, A&A meta-model, MAS environment, Activity theory, Distributed cognition, Coordination, Agent intelligence, Agent-oriented software engineering (AOSE), MAS infrastructure},
month = dec,
note = {Special Issue on Foundations, Advanced Topics and Industrial Perspectives of Multi-Agent Systems},
number = 3,
pages = {432--456},
publisher = {Springer},
publonsid = {13197269},
scopus = {2-s2.0-52949149709},
title = {Artifacts in the {A\&A} Meta-Model for Multi-Agent Systems},
url = {http://link.springer.com/10.1007/s10458-008-9053-x},
volume = 17,
wos = {000259411800004},
year = 2008
}
@inproceedings{adr-woa2008,
address = {Palermo, Italy},
author = {Oliva, Enrico and Viroli, Mirko and Omicini, Andrea},
booktitle = {9th Workshop "From Objects to Agents" (WOA 2008) -- Evolution of Agent Development: Methodologies, Tools, Platforms and Languages},
editor = {Baldoni, Matteo and Cossentino, Massimo and De Paoli, Flavio and Seidita, Valeria},
iris = {11585/70464},
isbn = {978-88-6122-122-2},
month = nov,
pages = {46--53},
publisher = {Seneca Edizioni},
scopus = {2-s2.0-84868689882},
title = {Arguments and Artifacts for Dispute Resolution},
url = {http://www.pa.icar.cnr.it/woa08/materiali/Proceedings.pdf},
year = 2008
}
address = {Palermo, Italy},
author = {Oliva, Enrico and Viroli, Mirko and Omicini, Andrea},
booktitle = {9th Workshop "From Objects to Agents" (WOA 2008) -- Evolution of Agent Development: Methodologies, Tools, Platforms and Languages},
editor = {Baldoni, Matteo and Cossentino, Massimo and De Paoli, Flavio and Seidita, Valeria},
iris = {11585/70464},
isbn = {978-88-6122-122-2},
month = nov,
pages = {46--53},
publisher = {Seneca Edizioni},
scopus = {2-s2.0-84868689882},
title = {Arguments and Artifacts for Dispute Resolution},
url = {http://www.pa.icar.cnr.it/woa08/materiali/Proceedings.pdf},
year = 2008
}
@incollection{simpa-lads07,
Author = {Ricci, Alessandro and Viroli, Mirko and Piancastelli, Giulio},
issn = {0302-9743},
venue = {LNCS},
volume = {5118},
title = {{simpA}: A Simple Agent-Oriented {J}ava Extension for Developing Concurrent Applications},
booktitle = {Languages, Methodologies and Development Tools for Multi-Agent Systems},
publisher = {Springer Berlin / Heidelberg},
doi-springer = {10.1007/978-3-540-85058-8_16},
url = {http://www.springerlink.com/content/ew0v841266521414/},
series = {LNCS},
month = {July},
doi = {10.1007/978-3-540-85058-8_16},
isbn-13 = {978-3-540-85057-1},
isbn = {978-3-540-85057-1},
status = {Published},
eissn = {1611-3349},
year = 2008,
pages = {261--278},
note = {First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers}
}
Author = {Ricci, Alessandro and Viroli, Mirko and Piancastelli, Giulio},
issn = {0302-9743},
venue = {LNCS},
volume = {5118},
title = {{simpA}: A Simple Agent-Oriented {J}ava Extension for Developing Concurrent Applications},
booktitle = {Languages, Methodologies and Development Tools for Multi-Agent Systems},
publisher = {Springer Berlin / Heidelberg},
doi-springer = {10.1007/978-3-540-85058-8_16},
url = {http://www.springerlink.com/content/ew0v841266521414/},
series = {LNCS},
month = {July},
doi = {10.1007/978-3-540-85058-8_16},
isbn-13 = {978-3-540-85057-1},
isbn = {978-3-540-85057-1},
status = {Published},
eissn = {1611-3349},
year = 2008,
pages = {261--278},
note = {First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers}
}
@inproceedings{artifacts-argmas08,
address = {AAMAS 2008, Estoril, Portugal},
author = {Oliva, Enrico and Viroli, Mirko and Omicini, Andrea and McBurney, Peter},
booktitle = {5th International Workshop ``Argumentation in Multi-Agent Systems'' (ArgMAS 2008)},
editor = {Rahwan, Iyad and Moraitis, Pavlos},
iris = {11585/62593},
month = {12~} # may,
pages = {24--39},
title = {Argumentation and Artifact for Dialogue Support},
year = 2008
}
address = {AAMAS 2008, Estoril, Portugal},
author = {Oliva, Enrico and Viroli, Mirko and Omicini, Andrea and McBurney, Peter},
booktitle = {5th International Workshop ``Argumentation in Multi-Agent Systems'' (ArgMAS 2008)},
editor = {Rahwan, Iyad and Moraitis, Pavlos},
iris = {11585/62593},
month = {12~} # may,
pages = {24--39},
title = {Argumentation and Artifact for Dialogue Support},
year = 2008
}
@inproceedings{ecosystems-scw2008,
Address = {Venice Italy},
Author = {Villalba, Cynthia and Rosi, Alberto and Viroli, Mirko and Zambonelli, Franco},
Booktitle = {Workshop on Spatial Computing},
Month = oct,
Title = {Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems},
Url = {http://projects.csail.mit.edu/scw08/papers/villalba.pdf},
Note = {Informal Proceedings},
Year = 2008}
Address = {Venice Italy},
Author = {Villalba, Cynthia and Rosi, Alberto and Viroli, Mirko and Zambonelli, Franco},
Booktitle = {Workshop on Spatial Computing},
Month = oct,
Title = {Nature-inspired Spatial Metaphors for Pervasive Service Ecosystems},
Url = {http://projects.csail.mit.edu/scw08/papers/villalba.pdf},
Note = {Informal Proceedings},
Year = 2008}
@article{respect-entcs194,
acm = {10.1016/j.entcs.2008.03.101},
author = {Casadei, Matteo and Omicini, Andrea and Viroli, Mirko},
booktitle = {Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2007)},
doi = {10.1016/j.entcs.2008.03.101},
editor = {Canal, Carlos and Poizat, Pascal and Viroli, Mirko},
iris = {11585/62571},
issn = {1571-0661},
journal = {Electronic Notes in Theoretical Computer Science},
keyword = {Rewriting logic, Maude, coordination languages, ReSpecT, agents and artifacts},
keywords = {Rewriting logic, Maude, coordination languages, ReSpecT, agents and artifacts},
month = apr,
note = {6th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'07), CONCUR'07, Lisbon, Portugal, 8~} # sep # {~2007. Proceedings},
number = 4,
pages = {93--109},
publisher = {Elsevier Science B.V.},
scopus = {2-s2.0-41949136030},
series = {Electronic Notes in Theoretical Computer Science},
title = {Prototyping {A\&A} {{\sf ReSpecT}} in {M}aude},
url = {http://www.sciencedirect.com/science/article/pii/S1571066108002065},
volume = 194,
wos = {WOS:000214264700007},
year = 2008
}
acm = {10.1016/j.entcs.2008.03.101},
author = {Casadei, Matteo and Omicini, Andrea and Viroli, Mirko},
booktitle = {Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2007)},
doi = {10.1016/j.entcs.2008.03.101},
editor = {Canal, Carlos and Poizat, Pascal and Viroli, Mirko},
iris = {11585/62571},
issn = {1571-0661},
journal = {Electronic Notes in Theoretical Computer Science},
keyword = {Rewriting logic, Maude, coordination languages, ReSpecT, agents and artifacts},
keywords = {Rewriting logic, Maude, coordination languages, ReSpecT, agents and artifacts},
month = apr,
note = {6th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'07), CONCUR'07, Lisbon, Portugal, 8~} # sep # {~2007. Proceedings},
number = 4,
pages = {93--109},
publisher = {Elsevier Science B.V.},
scopus = {2-s2.0-41949136030},
series = {Electronic Notes in Theoretical Computer Science},
title = {Prototyping {A\&A} {{\sf ReSpecT}} in {M}aude},
url = {http://www.sciencedirect.com/science/article/pii/S1571066108002065},
volume = 194,
wos = {WOS:000214264700007},
year = 2008
}
@article{OlivaAdaptationJucs14,
journal = {Journal of Universal Computer Science},
author = {Oliva, Enrico and Natali, Antonio and Ricci, Alessandro and Viroli, Mirko},
title = {An Adaptation Logic Framework for {J}ava-based Component Systems},
year = 2008,
abstract = {This paper describes a Java-based framework for developing componentbased software systems supporting adaptation with logic laws and considering component interactions as a first-class aspect.
On the one side, the framework makes it possible to specify the logic of interaction at the component-level, in terms of input and output interfaces, the events generated and observed by a component, and related information about the management of the control flow. On the other side, it is possible to specify the logic of interaction at the inter-component level, providing a modelling and linguistic support for designing and (dynamically) programming the glue among the components, enabling general forms of adaptation, observation and construction of the interaction space.
As a result, the framework supports the adaptation of components at different levels: from interoperability among heterogeneous and unknown components, to the support for dynamic introduction, removal and update of components, to general coordination patterns, such as workflow.
The framework uses first-order logic as the reference computational model for describing and defining the logic of interaction: the modalities adopted by components to interact, the adaptation laws gluing the components and the interaction events occurring in the system are expressed as facts and rules. They compose the (evolving) logic theories describing and defining the interaction at the system level, and can be observed and controlled at runtime to allow dynamic re-configurability.},
status = {Published},
pages = {2158-2181},
number = 13,
venue = {JUCS},
url = {http://www.jucs.org/jucs_14_13/an_adaptation_logic_framework},
volume = 14}
journal = {Journal of Universal Computer Science},
author = {Oliva, Enrico and Natali, Antonio and Ricci, Alessandro and Viroli, Mirko},
title = {An Adaptation Logic Framework for {J}ava-based Component Systems},
year = 2008,
abstract = {This paper describes a Java-based framework for developing componentbased software systems supporting adaptation with logic laws and considering component interactions as a first-class aspect.
On the one side, the framework makes it possible to specify the logic of interaction at the component-level, in terms of input and output interfaces, the events generated and observed by a component, and related information about the management of the control flow. On the other side, it is possible to specify the logic of interaction at the inter-component level, providing a modelling and linguistic support for designing and (dynamically) programming the glue among the components, enabling general forms of adaptation, observation and construction of the interaction space.
As a result, the framework supports the adaptation of components at different levels: from interoperability among heterogeneous and unknown components, to the support for dynamic introduction, removal and update of components, to general coordination patterns, such as workflow.
The framework uses first-order logic as the reference computational model for describing and defining the logic of interaction: the modalities adopted by components to interact, the adaptation laws gluing the components and the interaction events occurring in the system are expressed as facts and rules. They compose the (evolving) logic theories describing and defining the interaction at the system level, and can be observed and controlled at runtime to allow dynamic re-configurability.},
status = {Published},
pages = {2158-2181},
number = 13,
venue = {JUCS},
url = {http://www.jucs.org/jucs_14_13/an_adaptation_logic_framework},
volume = 14}
@inproceedings{selforgcoord-saso08,
Address = {Venice, Italy},
Author = {Casadei, Matteo and Viroli, Mirko},
Booktitle = {2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO'08)},
Doi = {10.1109/SASO.2008.18},
Editor = {Brueckner, Sven and Roberson, Paul and Bellur, Umesh},
Isbn={978-0-7695-3404-6},
Month = {20--24~} # oct,
Pages = {213--222},
Publisher = {IEEE Computer Society},
Title = {Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks},
Url ={http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=4663425},
Year = 2008}
Address = {Venice, Italy},
Author = {Casadei, Matteo and Viroli, Mirko},
Booktitle = {2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO'08)},
Doi = {10.1109/SASO.2008.18},
Editor = {Brueckner, Sven and Roberson, Paul and Bellur, Umesh},
Isbn={978-0-7695-3404-6},
Month = {20--24~} # oct,
Pages = {213--222},
Publisher = {IEEE Computer Society},
Title = {Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks},
Url ={http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=4663425},
Year = 2008}