• Artykuły
  • Forum
  • Ciekawostki
  • Encyklopedia
  • Dziesiąte międzynarodowe warsztaty na temat transformacji grafów i technik modelowania wizualnego, Saarbrücken, Niemcy

    18.03.2011. 18:17
    opublikowane przez: Redakcja Naukowy.pl

    Dziesiąte międzynarodowe warsztaty na temat transformacji grafów i technik modelowania wizualnego odbędą się w dniach 2 i 3 kwietnia 2011 roku w Saarbrücken w Niemczech.

    Wydarzenie będzie stanowić forum dla badaczy i praktyków zainteresowanych wykorzystaniem notacji, technik i narzędzi opartych na grafach do specyfikacji, modelowania, walidacji, zastosowania i weryfikacji złożonych systemów. Ma ono także za zadanie promować podejścia inżynierskie do języków modelowania wizualnego poprzez doskonalenie rozumowania formalnego na poziome semantycznym w obszarach takich jak UML, Petri Nets, transformacja grafów oraz modele procesów biznesowych i przepływu pracy.

    Tegoroczna edycja zostanie poświęcona w szczególności wizualizacji, symulacji i weryfikacji zmieniających się systemów. Zostaną także poruszone takie tematy jak analiza zmian oraz modernizacja i modyfikacje, które mogą dotyczyć systemów oprogramowania.

    Za: CORDIS

    Czy wiesz ĹĽe...? (beta)

    Narzędzia do modelowania w UML (Unified Modeling Language – ujednoliconym języku modelowania) – oprogramowanie, które pozwala tworzyć modele pomocne przy programowaniu, ale także analizie procesów biznesowych. Narzędzia podzielono na wolne/otwarte i zamknięte (komercyjne).

    Biologia syntetyczna – dyscyplina naukowa stanowiąca połączenie biologii molekularnej i inżynierii, której celem jest projektowanie i tworzenie sztucznych systemów biologicznych wzorowanych na naturalnych. W odróżnieniu od klasycznej inżynierii genetycznej biologia syntetyczna kładzie duży nacisk na racjonalne projektowanie nowych systemów oraz intensywne wykorzystanie technik modelowania matematycznego w celu przewidzenia zachowania się układu oraz optymalizacji jego działania.

    SystemC jest językiem opisu systemów cyfrowych. Na niższych poziomach opisu jest wzorowany na popularnych językach opisu sprzętu (VHDL, Verilog); wyższe poziomy opisu pozwalają używać prawie wszystkie zasoby języka C++. SystemC jest stosowany do modelowania z poziomu systemu (system-level modeling), modelowania wydajności, rozwoju oprogramowania, weryfikacji funkcjonalności. Powiązany jest on zarówno z projektowaniem ESL (Electronic System Level) jak i TLM (Transaction-level modelnig).

    Data Vault – technika modelowania danych (w hurtowniach danych) zaprojektowana tak, aby zapewnić przechowywanie danych historycznych z wielorakich systemów operacyjnych (źródłowych). Data Vault oznacza również, obok aspektu modelowania, sposób patrzenia na dane historyczne, który zapewnia audytowalność, śledzenie danych, szybkość ładowania oraz odporność na zmiany biznesowe.

    PowerDesigner to narzędzie typu CASE (Computer Aided System Engineering) firmy Sybase służące do modelowania systemów. Posiada funkcje umożliwiające modelowanie różnych domen architektonicznych: tj. dane, modelowanie obiektowe systemów w oparciu o standard UML, procesy biznesowe, technologia. Pozwala na zbieranie wymagań i łączenie ich z modelowanymi obiektami. Jest wykorzystywany w obszarze modelowania architektury korporacyjnej w oparciu o dowolne frameworki (np. TOGAF, Siatka Zachmana). Narzędzie to może być wykorzystywane zarówno przez analityków biznesowych i architektów jak i deweloperów.

    Instytut Technik Innowacyjnych EMAG jest instytutem badawczym zajmującym się kompleksowym opracowywaniem a także wdrażaniem nowoczesnych urządzeń, systemów oraz technologii. Realizator prac naukowych, badawczo-rozwojowych, konstrukcyjnych i ekspertyz w zakresie elektrotechniki, automatyki przemysłowej, telekomunikacji, systemów monitorowania i urządzeń bezpieczeństwa, systemów sterowania procesami, informatyki technicznej, sieciowych systemów informacyjnych, racjonalnego użytkowania paliw i energii oraz ochrony środowiska. Ofertę EMAG-u uzupełniają: badania specjalistyczne, atestacyjne i certyfikacyjne przeprowadzane w Centrum Badań i Certyfikacji (m.in. w unikatowej Pracowni Badań Kompatybilności Elektromagnetycznej) posiadającym akredytacje PCA, małoseryjna produkcja aparatury i urządzeń oraz usługi serwisowe. EMAG posiada własny ośrodek szkolenia oraz wydaje własne czasopismo naukowo-techniczne "Mechanizacja i Automatyzacja Górnictwa", poradniki, instrukcje i monografie. EMAG to lider wielu segmentów rynku - m.in. w zakresie aparatury i systemów bezpieczeństwa i monitorowania zagrożeń naturalnych, systemów automatyki kontroli parametrów jakościowych węgla. Misją i głównym celem Instytutu EMAG jest opracowywanie nowych innowacyjnych rozwiązań oraz doskonalenie istniejących urządzeń, technologii i systemów przyczyniających się do poprawy efektywności procesów produkcyjnych, wzrostu bezpieczeństwa pracy i jakości życia. Siedziba Instytutu Technik Innowacyjnych EMAG mieści się w Katowicach.

    Modelowanie molekularne – zbiór technik obliczeniowych, które służą do modelowania i przewidywania właściwości cząsteczek lub układów ponadcząsteczkowych.

    Dodano: 18.03.2011. 18:17  


    Najnowsze