• Centire News
• Zrealizované podujatia

Podporili sme vystúpenie Prof. Wil van der Aalsta, Eindhoven University of Technology, The Netherlands na konferencii pod názvom 7th International Conference on Application of Concurrency to System Design 2007, ktorý prednášal na tému Business Process Management so zameraním na tzv. „process mining“. Táto oblasť predstavuje dynamickú oblasť v business process manažmente, pri ktorej je snahou získavať model procesu zo záznamov (logov) už implementovaných informačných systémov  a využiť tento model pri workflow re-designe.

 

Medzinárodná konferencia slúžila ako fórum pre diskusiu a transfer teoretických výsledkov a metód s potenciálom aplikácií pri návrhu komplexných softvérových a hardvérových systémov s prvkami paralelizmu. Hoci v tejto oblasti existuje množstvo „success stories“, potreba priblíženia teórii k praxi je stálou prioritou. Cieľom konferencie bola výmena skúseností a nadviazanie kontaktov medzi teoretickým a aplikovaným výskumom v oblastiach zahrňujúcich:

• metódy návrhu,

  softvérové nástroje a techniky založené na modeloch správania sa

  systémov, akými sú modely správania v UML, data-flow models, communicating

  automata, Petri nets, process algebras, state charts, message sequence

  charts atď., so zameraním na ich využitie pri analýze, verifikácii,

  testovaní a syntéze systémov,

• (industriálne)

  prípadové štúdie použitia formálnych metód v návrhu komplexných

  systémov vrátane multimediálnych aplikácií, systémov v automobilovom

  priemysle, (bio-)medical aplikácie atď.,

• komunikačné systémy:

  ad-hoc mobilné a bezdrôtové.

   

Konferencia sa po prvýkrát konala v niektorej z krajín strednej a východnej Európy.

 

Predchádzajúce ročníky konferencie sa konali v rôznych krajinách sveta:

• ACSD 2006

  v Turku, Finland, in June 2006

  
  
• ACSD 2005

  v St Malo, France, in June 2005

  
  
• ACSD 2004

  v Hamiltone, Ontario, Canada, in June 2004

  
  
• ACSD 2003

  v Guimarães, Portugal, in June 2003

  
  
• ACSD 2001 v

  Newcastle Upon Tyne, UK, in June 2001

  
  
• ACSD 1998 v

  Fukushime, Japan, in March 1998

   

Konferencia ACSD ponúkla množstvo zaujímavých prednášok, ktoré boli posúdené a vybrané programovým výborom konferencie zloženým zo zástupcov významných R&D laboratórií (Philips Research, INTEL, GM Research, Cadence Lab.).

Pozvaným speakerom konferencie bol Rishiyur S. Nikhil, CTO spoločnosti BLUESPEC Inc., www.bluespec.com, ktorý pôsobil 9 rokov v Cambridge Research Laboratory (DEC/Compaq) a ako Associate Professor v Computer Science and Engineering na MIT.

 

Ďalšími pozvanými speakrami boli:

Prof. Lothar Thiele, Swiss Federal Institute of Technology (Switzerland), ktorý bude prednášalo sieťových systémoch.

Na podobnú tému bude prednášalaj ďalší z pozvaných speakrov Prof. Philippe Darondeau, INRIA, France, ktorý prezentoval metódy pre syntézu systémov zo scenárov.

Na tému syntézy modelov systémov a workflow procesov zo scenárov prednášali aj predstavitelia významnej nemeckej školy Prof. Desela a Prof. Lorenza.

Súčasťou konferencie bol aj tutorial Dr. Drozdu z Univerzity v Hannoveri na tému ad hoc bezdrôtových mobilných komunikačných sietí.