Petri net modelling of a communications protocol

The Petri net is a formal modelling tool applicable to distributed systems and communication protocols. Two methods of analysis are applied to formal models of the "Alternating Bit Protocol". (i) A timed Petri net model is simulated to measure protocol performance. (ii) A modular numeric Petri net model is validated by reachability analysis. The simulation and validation tools are programmed in (i) "C" language and (ii) Prolog. A specification language "Needle" is developed. It describes the model system as a hierarchy of modular state transition networks. The model is searched for all possible event sequences, and the result displayed as a reachability tree. The specification language is capable of describing models which execute backwards in simulation time. The modular numeric Petri net is the basis of a powerful computer architecture, capable of parsing its own specification language to build complex models. Attention is drawn to the similarities between Petri net theory and quantum mechanics

PERSPEKTIVE PROMATRANJA KOMUNIKACIJA PRI RAZVOJU INFORMACIJSKOG SUSTAVA

U radu se istražuje projektiranje komunikacijskog podsustava informacijskog sustava. Zbog boljeg razumijevanja različitih aspekata komunikacija, povezanih sa znanjem različitih profila ljudi koji sudjeluju u razvoju komunikacijskog podsustava informacijskog sustava i njihovim viđenjem komunikacijskih potreba i problema, uvode se različite perspektive promatranja komunikacija u ciklusu razvoja informacijskog sustava. Analizira se uloga komunikacijskog segmenta poslovnog i informacijskog sustava, te njegovi komunikacijski ciljevi i objekti iz poslovne, informacijske, konstrukcijske, inženjerske i tehničke perspektive. Perspektivama se pridružuju faze razvoja informacijskog sustava i modeli koji se stvaraju u njima. Prikazan je i odnos procesnog, podatkovnog i komunikacijskog vida s fazama razvoja informacijskog sustava i perspektivama promatranja

Newsletter new technologies and innovation policy. Special Issue. September 1985. 46A.

Title changed to Innovation and technology transfer Newsletter in 198

Newsletter new technologies and innovation policy. Special Issue. September 1985. 46A.

Title changed to Innovation and technology transfer Newsletter in 198

Newsletter new technologies and innovation policy. Special Issue. September 1985. 46A.

Title changed to Innovation and technology transfer Newsletter in 198

Modelado de sistemas colaborativos

La tesis propone un lenguaje específico de dominio (DSL) para modelar Sistemas Colaborativos (CSSL - Collaborative Software System Language). Este lenguaje fue diseñado como una extensión de UML usando el mecanismo de metamodelado y posee una sintaxis abstracta formalizada que permitirá entre otras cosas definir más de una sintaxis concreta a partir de ella, lo cual aumenta la legibilidad y flexibilidad del lenguaje. Finalmente se presenta una guía que facilita la construcción de Sistemas Colaborativos. Dentro del paradigma MDD (Model Driven Development) y utilizando el lenguaje CSSL se describe las etapas iniciales de un método para modelar los Sistemas Colaborativos.Facultad de Informátic