About: Towards Verification of Systems of Asynchronous Concurrent Processes     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

AttributesValues
rdf:type
Description
  • Distributed information systems as applications of networked information technology 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. A reusable object-oriented software framework for systems of asynchronous concurrent processes based on the modified asynchronous network model provides a framework for implementation of asynchronous distributed systems and their translation into the process algebra. This paper is about a formal specification and verification of systems implemented using the framework by means of the calculus of mobile processes (pi-calculus).
  • Distributed information systems as applications of networked information technology 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. A reusable object-oriented software framework for systems of asynchronous concurrent processes based on the modified asynchronous network model provides a framework for implementation of asynchronous distributed systems and their translation into the process algebra. This paper is about a formal specification and verification of systems implemented using the framework by means of the calculus of mobile processes (pi-calculus). (en)
  • Distribuované informační systémy, jako aplikace síťových informačních systémů, vytvářejí potřeby pro spolehlivé architektury s důrazem na formální specifikaci, verifikaci a validaci. Ve skutečnosti spojují softwarové konfederace a globální softwarové systémy mnoho souběžných procesů do asynchronně komunikujících síťových systémů, např. pomocí architektury orientované na služby (SOA) nebo architektury multi-agentních systémů. Znovupoužitelný objektově orientovaný softwarový rámec pro systémy asynchronně souběžných procesů, který vychází z upraveného asynchornního síťového modelu, poskytuje rámec pro implementaci asynchronních distribuovaných systémů a jejich převod do výrazů procesní algebry. Tato práce pojednává o formální specifikaci a verifikaci systémů implementovaných pomocí výše uvedeného rámce prostředky kalkulu mobilních procesů (pi-kalkulu).<br> (cs)
Title
  • Towards Verification of Systems of Asynchronous Concurrent Processes
  • Towards Verification of Systems of Asynchronous Concurrent Processes (en)
  • Verifikace systémů asynchronních souběžných procesů (cs)
skos:prefLabel
  • Towards Verification of Systems of Asynchronous Concurrent Processes
  • Towards Verification of Systems of Asynchronous Concurrent Processes (en)
  • Verifikace systémů asynchronních souběžných procesů (cs)
skos:notation
  • RIV/00216305:26230/06:PU66884!RIV07-GA0-26230___
http://linked.open.../vavai/riv/strany
  • 123-130
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • P(GA102/05/0723)
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
  • 504066
http://linked.open...ai/riv/idVysledku
  • RIV/00216305:26230/06:PU66884
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • Asynchronous Network Model, System of Asynchronous Concurrent Processes, pi-Calculus, Formal Specification, Verification, Validation (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...ontrolniKodProRIV
  • [7FAFD28E30CA]
http://linked.open...v/mistoKonaniAkce
  • Přerov
http://linked.open...i/riv/mistoVydani
  • Přerov
http://linked.open...i/riv/nazevZdroje
  • Proceedings of 9th International Conference ISIM'06
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
http://linked.open...vavai/riv/typAkce
http://linked.open.../riv/zahajeniAkce
number of pages
http://purl.org/ne...btex#hasPublisher
  • Neuveden
https://schema.org/isbn
  • 80-86840-19-0
http://localhost/t...ganizacniJednotka
  • 26230
is http://linked.open...avai/riv/vysledek of
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software