Międzynarodowe warsztaty nt. sieci Petriego i inżynierii oprogramowania, Newcastle upon Tyne, Wlk. Brytania
20 Czerwca 2011 - 20 Czerwca 2011
Zjednoczone Królestwo
W dniach 20 - 21 czerwca 2011 r. w Newcastle upon Tyne, Wlk. Brytania, odbędą się międzynarodowe warsztaty nt. sieci Petriego i inżynierii oprogramowania.
W opracowywaniu złożonych systemów, na które składają się wchodzące ze sobą w interakcje, reaktywne komponenty oprogramowania i sprzętu, kluczowe znacznie ma użycie na poszczególnych etapach prac precyzyjnego języka.
Sieci Petriego zyskują w tej dziedzinie coraz większą popularność, gdyż zapewniają jednolity język obsługujący zadania modelowania, zatwierdzania i weryfikacji. (Sieć Petriego - znana również jako sieć miejsce/przejście lub sieć P/T - to jeden z kilku matematycznych języków modelowania służący do opisu systemów rozproszonych). Ich popularność wynika z faktu, że sieci Petriego oddają podstawowe aspekty przyczynowości, współbieżności i wyboru w naturalnie i matematycznie precyzyjny sposób bez uszczerbku dla czytelności.
W czasie konferencji poruszone zostaną następujące tematy:
- modelowanie;
- zatwierdzanie i wykonanie;
- weryfikacja;
- zastosowanie sieci Petriego w inżynierii oprogramowania;
- otwarte problemy i nowe zastosowania sieci Petriego;
- powiązanie sieci Petriego i inżynierii oprogramowania;
- narzędzia.Więcej informacji: http://www.informatik.uni-hamburg.de/TGI/events/pnse11/(odnośnik otworzy się w nowym oknie)
W opracowywaniu złożonych systemów, na które składają się wchodzące ze sobą w interakcje, reaktywne komponenty oprogramowania i sprzętu, kluczowe znacznie ma użycie na poszczególnych etapach prac precyzyjnego języka.
Sieci Petriego zyskują w tej dziedzinie coraz większą popularność, gdyż zapewniają jednolity język obsługujący zadania modelowania, zatwierdzania i weryfikacji. (Sieć Petriego - znana również jako sieć miejsce/przejście lub sieć P/T - to jeden z kilku matematycznych języków modelowania służący do opisu systemów rozproszonych). Ich popularność wynika z faktu, że sieci Petriego oddają podstawowe aspekty przyczynowości, współbieżności i wyboru w naturalnie i matematycznie precyzyjny sposób bez uszczerbku dla czytelności.
W czasie konferencji poruszone zostaną następujące tematy:
- modelowanie;
- zatwierdzanie i wykonanie;
- weryfikacja;
- zastosowanie sieci Petriego w inżynierii oprogramowania;
- otwarte problemy i nowe zastosowania sieci Petriego;
- powiązanie sieci Petriego i inżynierii oprogramowania;
- narzędzia.Więcej informacji: http://www.informatik.uni-hamburg.de/TGI/events/pnse11/(odnośnik otworzy się w nowym oknie)