Conference paper

RYCHLÝ Marek and ZENDULKA Jaroslav. Distributed Information System as a System of Asynchronous Concurrent Processes. In: MEMICS 2006 Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Mikulov: Faculty of Information Technology BUT, 2006, pp. 206-213. ISBN 80-214-3287-X.
Publication language:english
Original title:Distributed Information System as a System of Asynchronous Concurrent Processes
Title (cs):Distribuovaný informační systém jako systém asynchronních souběžných procesů
Pages:206-213
Proceedings:MEMICS 2006 Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Conference:2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science -- MEMICS'06
Place:Mikulov, CZ
Year:2006
ISBN:80-214-3287-X
Publisher:Faculty of Information Technology BUT
Files: 
+Type Name Title Size Last modified
icondistributed-is-as-acp-system.pdfDistributed Information System as a System of Asynchronous Concurrent Processes350 KB2007-04-19 14:08:28
iconmemics06-rychly.pdfpresentation at the MEMICS'07 conference (slides)465 KB2007-04-19 14:38:08
^ Select all
With selected:
Keywords
Distributed Information System, Mobile Architecture, pi-Calculus, Verification
Annotation
Nowadays enterprise information systems are designed as distributed network systems, where existing information systems and new components are connected together via a middleware. In most cases, architectures of the systems can be described informally or semiformally by means of common design tools. But there are also critical applications where an information system is getting involved, and a formal architecture specification is necessary. This paper describes a design of a framework for distributed information systems with a mobile architecture and an outline of its implementation. The framework provides an automatic derivation of a formal specification from an implementation of system, without an explicit formal description in a design phase of project. The derived specification can be used for a quick formal proof of correctness after radical changes in an implementation phase, without a maintenance of a formal design.
BibTeX:
@INPROCEEDINGS{
   author = {Marek Rychl{\'{y}} and Jaroslav Zendulka},
   title = {Distributed Information System as a System of Asynchronous
	Concurrent Processes},
   pages = {206--213},
   booktitle = {MEMICS 2006 Second Doctoral Workshop on Mathematical and
	Engineering Methods in Computer Science},
   year = {2006},
   location = {Mikulov, CZ},
   publisher = {Faculty of Information Technology BUT},
   ISBN = {80-214-3287-X},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=8195}
}

Your IPv4 address: 54.82.57.154
Switch to IPv6 connection

DNSSEC [dnssec]