IIS'99
|
VIII Międzynarodowe Sympozjum
INTELIGENTNE SYSTEMY INFORMACYJNE
Ustroń, 14-18 czerwca 1999
Tutorial
|
|---|
Inzynieria Oprogramowania Systemow Rownoleglych
i Rozproszonych
Oparta na Sieciach Petriego Wysokiego Poziomu
BOLESLAW MIKOLAJCZAK
Computer and Information Science Department
University of Massachusetts
Dartmouth, MA 02747, USA
bmikolajczak@umassd.edu
http://www2.umassd.edu/cisw3/people/faculty/bmikolajczak/
Streszczenie
Zlozonosc systemow oprogramowania wzrasta znaczaco ze wzrostem predkosci i zlozonosci sprzetu komputerowego. Wspolbieznosc, rozproszenie, kontrola zasobow, rozwiazywanie konfliktow, reaktywnosc i reprezentacja czasu sa glownymi czynnikami odgrywajacymi role w tym procesie. Wielkie systemy oprogramowania wymagaja reprezentacji, ktora dobrze znosi skale wzrostu w procesie modelowania i symulacji.
W ostatnich kilku latach dokonano znacznego postepu w zastosowaniu sieci Petriego wysokiego poziomu do rozwoju i eksploatacji oprogramowania dla komputerowych systemow rownoleglych i rozproszonych. Stalo sie tak za sprawa znacznego postepu zarowno w metodologii jak i technologii (rozwoj komputerowych narzedzi oprogramowania – CASE – Computer-Assisted Software Engineering) jak rowniez na skutek lawinowego zapotrzebowania na systemy rownolegle i rozproszone. Ten ostatni fakt jest glownie motywowany czynnikami efektywnosci systemow obliczeniowych w praktyce wielkich korporacji i rzadu federalnego.
Celem tutorialu jest prezentacja najnowszych osiagniec w w/w dziedzinie ze szczegolnym uwzglednieniem dwoch aspektow:
- relacji pomiedzy sieciami Petriego wysokiego poziomu (HLPN) i wspolbieznymi systemami obliczeniowymi zorientowanymi obiektowo (COOP)
- zastosowania sieci Petriego wysokiego poziomu do szybkiego prototypowania (rapid prototyping, RP) rownoleglych i rozproszonych systemow obliczeniowych.
W prezentacji tutorialu przyswiecac beda mi dwa cele:
- pokazanie sieci Petriego wysokiego poziomu jako praktycznego modelu do specyfikacji, weryfikacji, i oszacowania efektywnosci obliczeniowych systemow rownoleglych i rozproszonych z uwzglednieniem wspolbieznego oprogramowania zorientowanego obiektowo
- systemy z aktorami i inteligentnymi agentami
- pokazac kilka przykladow zastosowania tego podejscia do projektowania takich systemow.
Uzycie tego samego modelu matematycznego do modelowania, wizualizacji, analizy, weryfikacji i oceny efektywnosci prowadzi do znacznego powyzszenia ponownego uzycia wiedzy (knowledge reusability) w cyklu rozwojowym oprogramowania (software life cycle). W University of Massachusetts zastosowalismy to podejscie w procesie dydaktycznym w programie magisterskim dla informatykow. Sciezka kursow, ktore stosuja to podejscie obejmuje nastepujace wyklady:
- CIS 525 Software Development of Parallel and Distributed Systems
- CIS 575 Parallel Algorithms and Parallel Architectures
- CIS 578 Evaluation of Computer Systems Performance
Krotka charakterystyka tych kursow bedzie rowniez przedstawiona.
O wykladowcy:
phone: (508)-999-8350
fax: (508)-999-9144
e-mail: bmikolajczak@umassd.edu
http://www.umassd.edu
Wyksztalcenie i stopnie naukowe:
- 1970 mgr inz. automatyk, Wydzial Elektryczny, Politechnika Poznanska
- 1972 mgr. matematyk, Wydzial Matematyki, Fizyki I Chemii, Universytet im. Adama Mickiewicza
- 1974 dr inz. nauk technicznych, Wydzial Elektryczny, Politechnika Poznanska
- 1979 dr hab. inz. nauk technicznych w zakresie automatyki, Wydzial Elektryczny, Politechnika Poznanska
Obszary zainteresowan badawczych, dydaktycznych i consulting:
- obliczenia rownolegle; rozwoj oprogramowania dla systemow rownoleglych i rozproszonych
- projektowanie i zlozonosc obliczeniowa algorytmow rownoleglych
- matematyczne podstawy informatyki
- modelowanie i simulacja processow dyskretnych za pomoca sieci Petriego
Ostatnie lata pracy zawodowej:
- od 1995 kierownik, Computer and Information Science Department, University of Massachusetts, Dartmouth, MA 02747, USA
- od 1993, professor, University of Massachusetts, Dartmouth, MA 02747, USA
- od 1987, associate professor, University of Massachusetts, Dartmouth, MA 02747, USA
- 1986-1987 visiting professor, University of Massachusetts, Dartmouth, MA 02747, USA
- 1985-1986 doc.dr hab. inz., Osrodek Informatyki, Politechnika Poznanska
- 1980-1985 doc.dr.hab. inz., Instytut Automatyki, Politechnika Poznanska
Ostatnie granty badawcze:
- Federal Research Contract, Naval Undersea Warefare Center, Newport, RI, 1992-1997:
- Method of Object-Oriented Software Design Supported by Colored Petri Nets
- Distrbuted Dynamic Programming Using Concurrent Object-Orientedness with Actors
Visualized by High-Level Petri Nets
- Method of Object-Oriented Software Design Supported by Colored Petri Nets
- Method of Object-Oriented Software Design Supported by Colored Petri Nets
- Method of Object-Oriented Software Design Supported by Colored Petri Nets
- University Research Committee, University of Massachusetts Dartmouth, 1992,
- "Computing Automata Homomorphisms in Parallel"
Wspolpraca z przemyslem:
- GTE Laboratories, Needham, Massachusetts, "Software Architectures", 1997
- Raytheon Electronic Systems, Portsmouth, Rhode Island, 1997-98
Ksiazki i rozdzialy w ksiazkach:
- Algebraiczna i Strukturalna Teoria Automatow, PWN, 1985, IPI PAN, Editor and autor
wspolautorzy: J. Bergandy, L. Beyga, T. Gajewski, Z. Miadowicz, P. Siwak, J. Stoklosa.
- Transformacje i Zlozonosc Obliczeniowa Automatow Skonczonyvh, PAN, Oddzial w Poznaniu,
PWN, 1988; 125 pp.
- Algebraic and Structural Automata Theory, North Holland Series in Applied Mathematics,
Annals of Discrete Mathematics, vol.44, 1991; editor of the volume and author of two chapters
- A Parallel Algorithm Computing All Homomorphisms of Deterministic Finite Automata,
DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol.22,1994,
pp.233-258, American Mathematical Society
- Models of Computation with Applications in Computer Science and Computer Engineering,
500 pages (in preparation).
Nagrody i Wyroznienia:
- "Who is Who", Marquis, Chicago, 1989 and kolejne wydania (Who is Who in the World,
Who is Who in the East, Who is Who in American Education, Who is Who in Communication).
- "Polish American Who is Who", edited by Boleslaw Wierzbianski,
Bicentennial Publishing Corp. New York, NY; 1996-1997.
- Biografia w "Kwartalnik Biograficzny Polonii "Polacy w Swiecie"
(Biographical Quarterly "Poles in the World"), Polish Academy of Sciences, France, 1997.
Wyklady:
- Fu Jen Catholic University, Taipei, Taiwan, Republic of China, 1997
- Hua Fen University, Taipei, Taiwan, Republic of China, 1998
- Institute of Mathematical Logic and Computer Science, University of Karlsruhe, Karlsruhe, Germany, 1998
- Distributed Information Systems Group, Institut feur Wirtschaftsinformatik, Humboldt University, Berlin, Germany, 1998
Dzialalnosc dydaktyczna (1986-1999):
- undergraduate:
- Introduction to Programming
- Program Design and Data Structures
- Automata and Formal Languages
- Computer Architecture (RISC Architectures)
- Analysis of Algorithms
- Object-Oriented Programming
- Design of Parallel Algorithms
- Software Architectures
- graduate:
- Computability Theory
- Topics on Parallel Computations
- Software Development of Parallel and Distributed
- Systems Advanced Computer Architecture (Parallel
- Architectures)
- Parallel Algorithms and Parallel Architectures
- Evaluation of Computer Systems Performance
- Advanced Computer Systems
- Graduate Seminar
- Theoretical Computer Science
Wyklady dla korporacji:
- Software Architecture - GTE Laboratories, Needham, MA
Theoretical Computer Science, Advanced Computer Systems - Raytheon Electronic Systems, Portsmouth, Rhode Island, 1998
- Theoretical Computer Science, Advanced Computer Systems - Institute for Information Industry, Taipei, Taiwan, Republic of China, 1998
IIS'99.