The paper presents a formal description of a subset of the Alvis language designed for the modelling and formal verification of concurrent systems. Alvis combines possibilities of a formal models verification with flexibility and simplicity of practical programming languages. Alvis provides a graphical modelling of interconnections among agents and a high level programming language used for the description of agents behaviour. Its semantic depends on the so-called system layer. The most universal system layer α0, described in the paper, makes Alvis similar to other formal languages like Petri nets, process algebras, time automata, etc.
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
W numerze 5/2011 „Optyki”, wspólnie z wykładowcami SGH, rozpoczęliśmy cykl poświęcony tematyce biznesowej pod patronatem Academy for Eyecare Excellence firmy CIBA VISION. Cykl ten bazuje na wspólnym przedsięwzięciu firmy CIBA VISION oraz Szkoły Głównej Handlowej w Warszawie, jakim jest program szkoleniowy MBA z zakresu doskonalenia kompetencji menedżerskich, skierowany do właścicieli i pracowników salonów optycznych i gabinetów okulistycznych. Celem programu jest wzmocnienie kompetencji uczestników w zakresie zarządzania przedsiębiorstwem i dostarczenie im dodatkowej wiedzy w obszarze strategii i finansów. Program składa się z siedmiu modułów szkoleniowych, obejmujących podstawowe zagadnienia z zakresu zarządzania, m.in. budowanie zespołu, marketing strategiczny i marketing relacji, finanse przedsiębiorstw, budowanie lojalności klienta. Tematyka naszego cyklu krąży wokół tych właśnie kwestii.
3
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
W numerze 5/2011 „Optyki”, wspólnie z wykładowcami SGH, rozpoczęliśmy cykl poświęcony tematyce biznesowej pod patronatem Academy for Eyecare Excellence firmy CIBA VISION. Cykl ten bazuje na wspólnym przedsięwzięciu firmy CIBA VISION oraz Szkoły Głównej Handlowej w Warszawie, jakim jest program szkoleniowy MBA z zakresu doskonalenia kompetencji menedżerskich, skierowany do właścicieli i pracowników salonów optycznych i gabinetów okulistycznych. Celem programu jest wzmocnienie kompetencji uczestników w zakresie zarządzania przedsiębiorstwem i dostarczenie im dodatkowej wiedzy w obszarze strategii i finansów. Program składa się z siedmiu modułów szkoleniowych, obejmujących podstawowe zagadnienia z zakresu zarządzania, m.in. budowanie zespołu, marketing strategiczny i marketing relacji, finanse przedsiębiorstw, budowanie lojalności klienta. Tematyka naszego cyklu krąży wokół tych właśnie kwestii.
4
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
W numerze 5/2011 „Optyki”, wspólnie z wykładowcami SGH, rozpoczęliśmy cykl poświęcony tematyce biznesowej pod patronatem Academy for Eyecare Excellence firmy CIBA VISION. Cykl ten bazuje na wspólnym przedsięwzięciu firmy CIBA VISION oraz Szkoły Głównej Handlowej w Warszawie, jakim jest program szkoleniowy MBA z zakresu doskonalenia kompetencji menedżerskich, skierowany do właścicieli i pracowników salonów optycznych i gabinetów okulistycznych. Celem programu jest wzmocnienie kompetencji uczestników w zakresie zarządzania przedsiębiorstwem i dostarczenie im dodatkowej wiedzy w obszarze strategii i finansów. Program składa się z siedmiu modułów szkoleniowych, obejmujących podstawowe zagadnienia z zakresu zarządzania, m.in. budowanie zespołu, marketing strategiczny i marketing relacji, finanse przedsiębiorstw, budowanie lojalności klienta. Tematyka naszego cyklu krąży wokół tych właśnie kwestii.
5
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
W numerze 5/2011 „Optyki”, wspólnie z wykładowcami SGH, rozpoczęliśmy cykl poświęcony tematyce biznesowej pod patronatem Academy for Eyecare Excellence firmy Alcon Vision Care (CIBA VISION). Cykl ten bazuje na wspólnym przedsięwzięciu Alcon Vision Care (CIBA VISION) oraz Szkoły Głównej Handlowej w Warszawie, jakim jest program szkoleniowy MBA z zakresu doskonalenia kompetencji menedżerskich, skierowany do właścicieli i pracowników salonów optycznych i gabinetów okulistycznych. Celem programu jest wzmocnienie kompetencji uczestników w zakresie zarządzania przedsiębiorstwem i dostarczenie im dodatkowej wiedzy w obszarze strategii i finansów. Program składa się z siedmiu modułów szkoleniowych, obejmujących podstawowe zagadnienia z zakresu zarządzania, m.in. budowanie zespołu, marketing strategiczny i marketing relacji, finanse przedsiębiorstw, budowanie lojalności klienta. Tematyka naszego cyklu krąży wokół tych właśnie kwestii.
6
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
W numerze 5/2011 „Optyki”, wspólnie z wykładowcami SGH, rozpoczęliśmy cykl poświęcony tematyce biznesowej pod patronatem Academy for Eyecare Excellence firmy Alcon Vision Care (CIBA VISION). Cykl ten bazuje na wspólnym przedsięwzięciu Alcon Vision Care (CIBA VISION) oraz Szkoły Głównej Handlowej w Warszawie, jakim jest program szkoleniowy MBA z zakresu doskonalenia kompetencji menedżerskich, skierowany do właścicieli i pracowników salonów optycznych i gabinetów okulistycznych. Celem programu jest wzmocnienie kompetencji uczestników w zakresie zarządzania przedsiębiorstwem i dostarczenie im dodatkowej wiedzy w obszarze strategii i finansów. Program składa się z siedmiu modułów szkoleniowych, obejmujących podstawowe zagadnienia z zakresu zarządzania, m.in. budowanie zespołu, marketing strategiczny i marketing relacji, finanse przedsiębiorstw, budowanie lojalności klienta. Tematyka naszego cyklu krąży wokół tych właśnie kwestii.
Alvis is a modelling language defined for the design and a formal verification of embedded systems. An Alvis model is a system of agents that usually run concurrently, communicate one with another, compete for shared resources etc. Due to the fact that an embedded system usually collects inputs that come from its environment and provides outputs that go to the environment it is necessary to provide a mechanism to describe such a communication. In contrast to another formal languages used to model embedded systems it is not necessary, using Alvis, to design such an environment as a part of a model. The paper deals with the problem of modelling a communication with an embedded system environment with Alvis.
Alvis is a novel modelling language designed for embedded systems. It combines both high level programming language used to define agents behaviour with hierarchical graphical modelling language used to define interconnections between agents. The paper presents a survey of the most important features of the language.
PL
Alvis jest nowym językiem modelowania przeznaczonym do rozwijania systemów wbudowanych. Łączy w sobie cechy języków programowania wysokiego poziomu z hierarchicznym językiem modelowania połączeń między agentami. Podstawowym elementem języka Alvis są agenty, które mogą działać współbieżnie, komunikować się ze sobą, czy też współzawodniczyć o zasoby dzielone. Dynamika poszczególnych agentów jest opisywana w warstwie kodu używającej do tego celu języka programowania wysokiego poziomu (połączenie natywnych konstrukcji języka Alvis i języka funkcyjnego Haskell). W warstwie graficznej definiowane są połączenia między agentami wskazujące, które agenty się ze sobą komunikują i jaki jest kierunek tej komunikacji. Warstwa ta ma postać grafu hierarchicznego, co pozwala rozwijać systemu wbudowane metodą od ogółu do szczegółu lub odwrotnie. Formalną reprezentacjąmodelu w języku Alvis jest graf LTS (Labelled Transition System), który reprezentuje wszystkie osiągalne stany i przejścia między nimi. Graf ten jest stosowany do formalnej weryfikacji modelu. Artykuł zawiera przegląd najistotniejszych cech języka Alvis.
9
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Poczynając od tego artykułu, wspólnie z wykładowcami SGH rozpoczynamy cykl poświęcony tematyce biznesowej pod patronatem Academy for Eyecare Excellence firmy CIBA VISION. Cykl ten będzie bazował na wspólnym przedsięwzięciu firmy CIBA VISION oraz Szkoły Głównej Handlowej w Warszawie, jakim jest program szkoleniowy MBA z zakresu doskonalenia kompetencji menedżerskich, skierowany do właścicieli i pracowników salonów optycznych i gabinetów okulistycznych. Celem programu jest wzmocnienie kompetencji uczestników w zakresie zarządzania przedsiębiorstwem i dostarczenie im dodatkowej wiedzy w obszarze strategii i finansów. Program składa się z siedmiu modułów szkoleniowych, obejmujących podstawowe zagadnienia z zakresu zarządzania, m.in. budowanie zespołu, marketing strategiczny i marketing relacji, finanse przedsiębiorstw, budowanie lojalności klienta. Tematyka naszego cyklu będzie krążyła wokół tych właśnie kwestii.
10
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
W ostatnim numerze „Optyki”, wspólnie z wykładowcami SGH, rozpoczęliśmy cykl poświęcony tematyce biznesowej pod patronatem Academy for Eyecare Excellence firmy CIBA VISION. Cykl ten bazuje na wspólnym przedsięwzięciu firmy CIBA VISION oraz Szkoły Głównej Handlowej w Warszawie, jakim jest program szkoleniowy MBA z zakresu doskonalenia kompetencji menedżerskich, skierowany do właścicieli i pracowników salonów optycznych i gabinetów okulistycznych. Celem programu jest wzmocnienie kompetencji uczestników w zakresie zarządzania przedsiębiorstwem i dostarczenie im dodatkowej wiedzy w obszarze strategii i finansów. Program składa się z siedmiu modułów szkoleniowych, obejmujących podstawowe zagadnienia z zakresu zarządzania, m.in. budowanie zespołu, marketing strategiczny i marketing relacji, finanse przedsiębiorstw, budowanie lojalności klienta. Tematyka naszego cyklu krąży wokół tych właśnie kwestii.
Alvis is a modelling language for concurrent and real-time systems. It combines hierarchical graphical modelling with a Haskell-based high level programming language. The graphical layer is used to define data and control flow among agents. The code layer is used to describe the behaviour of individual agents. An Alvis model is transformed into a labelled transition system (LTS) that is used for formal verification of the model. The paper discusses some aspects of modelling embedded systems with Alvis.
PL
Alvis jest językiem modelowania rozwijanym z myślą o systemach współbieżnych w szczególności systemach wbudowanych. Łączy on w sobie graficzny język modelowania, przeznaczony do definiowania połączeń komunikacyjnych między agentami, z językiem programowania wysokiego poziomu, przeznaczonym do definiowania zachowania poszczególnych agentów. W artykule przedstawiono wybrane aspekty modelowania systemów wbudowanych z użyciem języka Alvis.
Alvis jest językiem modelowania, rozwijanym głównie z myślą o projektowaniu i weryfikacji systemów wbudowanych. Wywodzi się on z algebr procesów CCS i XCCS, ale w języku tym równania algebraiczne zostały zastąpione przez język programowania wysokiego poziomu oparty na języku Haskell. W przeciwieństwie do algebr procesów, które umożliwiają wyłącznie tekstowy opis systemów wbudowanych, w języku Alvis struktura projektowanego systemu, z punktu widzenia przepływu danych i sterowania, przedstawiana jest graficznie za pomocą diagramów komunikacji. Poniższy artykuł zawiera wprowadzenie do języka Alvis zilustrowane modelem sterownika dla robota mobilnego Hexor II.
EN
Alvis is a novel modelling language defined especially for the embedded systems design and verification. The language has its origin in CCS and XCCS process algebras, but algebraic equations have been replaced with a Haskell based high level programming language. Moreover, Alvis provides communication diagrams for the visual modelling of an embedded system structure, especially from the control and data-flow point of view. This paper presents an introduction to Alvis based on a model of a controller for the Hexor II mobile robot.
Ostatnio wiele firm przeżywa problemy związane z rosnącą rotacją na stanowiskach specjalistycznych i wykonawczych. Pojawiają się także problemy z zaangażowaniem się pracowników w pracę. Jak odkryć przyczyny takiego stanu rzeczy, a następnie jak rozwiązać te problemy? Odpowiedzi mogą zapewnić badania i programy rozwoju satysfakcji i zaangażowania pracowników.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.