Modelling Non-linear Crowd Dynamics in Bio-PEPA (Contributo in atti di convegno)

Type
Label
  • Modelling Non-linear Crowd Dynamics in Bio-PEPA (Contributo in atti di convegno) (literal)
Anno
  • 2011-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.1007/978-3-642-19811-3_8 (literal)
Alternative label
  • Massink M.; Latella D; Bracciali A.; Hillston J. (2011)
    Modelling Non-linear Crowd Dynamics in Bio-PEPA
    in FASE 2011, Fundamental Approaches to Software Engineering 2011. 14th International Conference, Saarbruecken, Germany, March 26 - April 3 2011
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Massink M.; Latella D; Bracciali A.; Hillston J. (literal)
Pagina inizio
  • 96 (literal)
Pagina fine
  • 110 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#altreInformazioni
  • ID Modulo Commessa 7160 - DG.RSTL.074.006 - 074 - XXL Sviluppo di nuovi strumenti e tecniche per lo specifica e verifica formale di sistemi ad elevata granularita ; ID Modulo Commessa 4147 - ICT.P09.008.002 - 074 - Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità ; Codice periodico JCR/ISI 00538S0 ; Area di valutazione 01 - Scienze matematiche e informatiche . PROGETTO1: CNR-DG.RSTL.074.006 - 074 - XXL Sviluppo di nuovi strumenti e tecniche per lo specifica e verifica formale di sistemi ad elevata granularita - PROGETTO 2: EU 257414 Autonomic Service-Component Ensembles FASE 2011wa held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011 Progetto: ASCENS - Autonomic Service-Component Ensembles - Grant agreement: 257414 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://www.springerlink.com/content/lw5812w5k78744m8/ (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#titoloVolume
  • Fundamental Approaches to Software Engineering (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#volumeInCollana
  • LNCS 6603 (literal)
Note
  • Scopu (literal)
  • PuMa (literal)
  • ISI Web of Science (WOS) (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • CNR-ISTI; CNR-ISTI; Univ. of Stirling; Univ. of Edinburgh (literal)
Titolo
  • Modelling Non-linear Crowd Dynamics in Bio-PEPA (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
  • 978-3-642-19810-6 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#curatoriVolume
  • Giannakopoulou D., F. Orejas F. (eds.) (literal)
Abstract
  • Emergent phenomena occur due to the pattern of non-linear and distributed local interactions between the elements of a system over time. Surprisingly, agent based crowd models, in which the movement of each individual follows a limited set of simple rules, often re-produce quite closely the emergent behaviour of crowds that can be observed in re- ality. An example of such phenomena is the spontaneous self-organisation of drinking parties in the squares of cities in Spain, also known as \"El Botello ?n\". We revisit this case study providing an elegant stochastic process algebraic model in Bio-PEPA amenable to several forms of analyses, among which simulation and fluid flow analysis. We show that a fluid flow approximation, i.e. a deterministic reading of the average behaviour of the system, can provide an alternative and efficient way to study the same emergent behaviour as that explored in [20] where simulation was used instead. Besides empirical evidence, also an analytical justification is provided for the good correspondence found between simulation results and the fluid flow approximation (literal)
Editore
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Autore CNR di
Prodotto
Editore di
Insieme di parole chiave di
data.CNR.it