Seminar on Information Systems - M. Rychlý
This seminar is organized by the Department of Information Systems at the Faculty of Information Technologies of the Brno University of Technology. It primarily discusses the theoretical and practical aspects of information systems and their use. The seminar takes place at room B053 of the faculty building every Monday 12.15 - 13.15 during the semester.
A selection of previous audio-recorded seminar contributions is available at http://www.fit.vutbr.cz/units/UIFS/events/.
This seminar will exceptionally tak place at room B123
Mar 27, 2006 Schedule
Author: Mgr. Marek Rychlý
Title: A Framework for Systems of Asynchronous Concurrent Processes
Distributed information systems create needs for reliable architectures with emphasis on formal specification, verification and validation. In fact, software confederations and global software systems connect many concurrent processes into asynchronous network systems, e.g. via service-oriented architecture or multiple agent architecture. This presentation will introduce a reusable object-oriented software framework for systems of asynchronous concurrent processes based on the modified asynchronous network model, which provides a framework for implementation of asynchronous distributed systems and their translation into the calculus of mobile processes (pi-calculus).