| Attributes | Values |
|---|
| rdf:type
| |
| Description
| - 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.
- 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. (en)
- Současné informační systémy jsou navrhovány jako distribuované síťové systémy, kde jsou pomocí middleware propojeny existující informační systémy a nové komponenty. Ve většině případů mohou být architektury těchto systémů neformálně nebo semi-formálně pomocí běžných nástrojů. Existují však také kritické aplikace, kde se informační systém stává složitým a je nezbytný formální popis architektury. Tento příspěvek popisuje návrh rámce pro distribuované informační systémy s mobilní architekturou a nástin jeho implementace. Rámec poskytuje automatické odvození formální specifikace z implementace systému, bez explicitního formálního popisu v návrhové fázi projektu. Odvozená specifikace může být využita pro rychlou formální kontrolu správnosti systému, po větších změnách ve fázi implementace, bez nutnosti údržby formálního návrhu.<br> (cs)
|
| Title
| - Distributed Information System as a System of Asynchronous Concurrent Processes
- Distribuovaný informační systém jako systém asynchronních souběžných procesů (cs)
- Distributed Information System as a System of Asynchronous Concurrent Processes (en)
|
| skos:prefLabel
| - Distributed Information System as a System of Asynchronous Concurrent Processes
- Distribuovaný informační systém jako systém asynchronních souběžných procesů (cs)
- Distributed Information System as a System of Asynchronous Concurrent Processes (en)
|
| skos:notation
| - RIV/00216305:26230/06:PU66983!RIV07-GA0-26230___
|
| http://linked.open.../vavai/riv/strany
| |
| http://linked.open...avai/riv/aktivita
| |
| http://linked.open...avai/riv/aktivity
| |
| http://linked.open...vai/riv/dodaniDat
| |
| http://linked.open...aciTvurceVysledku
| |
| http://linked.open.../riv/druhVysledku
| |
| http://linked.open...iv/duvernostUdaju
| |
| http://linked.open...titaPredkladatele
| |
| http://linked.open...dnocenehoVysledku
| |
| http://linked.open...ai/riv/idVysledku
| - RIV/00216305:26230/06:PU66983
|
| http://linked.open...riv/jazykVysledku
| |
| http://linked.open.../riv/klicovaSlova
| - Distributed Information System, Mobile Architecture, pi-Calculus, Verification (en)
|
| http://linked.open.../riv/klicoveSlovo
| |
| http://linked.open...ontrolniKodProRIV
| |
| http://linked.open...v/mistoKonaniAkce
| |
| http://linked.open...i/riv/mistoVydani
| |
| http://linked.open...i/riv/nazevZdroje
| - MEMICS 2006 Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
|
| http://linked.open...in/vavai/riv/obor
| |
| http://linked.open...ichTvurcuVysledku
| |
| http://linked.open...cetTvurcuVysledku
| |
| http://linked.open...vavai/riv/projekt
| |
| http://linked.open...UplatneniVysledku
| |
| http://linked.open...iv/tvurceVysledku
| - Rychlý, Marek
- Zendulka, Jaroslav
|
| http://linked.open...vavai/riv/typAkce
| |
| http://linked.open.../riv/zahajeniAkce
| |
| number of pages
| |
| http://purl.org/ne...btex#hasPublisher
| - Vysoké učení technické v Brně. Fakulta informačních technologií
|
| https://schema.org/isbn
| |
| http://localhost/t...ganizacniJednotka
| |
| is http://linked.open...avai/riv/vysledek
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)