Process calculus (original) (raw)
Prozesskalküle (oder auch Prozessalgebren) umfassen eine große Familie von Ansätzen zur formalen Modellierung von nebenläufigen Systemen. Sie erlauben die abstrakte Beschreibung von Interaktion, Kommunikation und Synchronisation zwischen einer Gruppe von unabhängigen Agenten oder Prozessen. Algebraische Gesetze ermöglichen die Analyse oder Umformung von Prozessbeschreibungen. Beispiele für Prozesskalküle sind CSP, , oder der Pi-Kalkül.
| Property | Value |
|---|---|
| dbo:abstract | Prozesskalküle (oder auch Prozessalgebren) umfassen eine große Familie von Ansätzen zur formalen Modellierung von nebenläufigen Systemen. Sie erlauben die abstrakte Beschreibung von Interaktion, Kommunikation und Synchronisation zwischen einer Gruppe von unabhängigen Agenten oder Prozessen. Algebraische Gesetze ermöglichen die Analyse oder Umformung von Prozessbeschreibungen. Beispiele für Prozesskalküle sind CSP, , oder der Pi-Kalkül. (de) Les algèbres de processus sont une famille de langages formels permettant de modéliser les systèmes (informatiques) concurrents ou distribués. Les algèbres de processus fournissent des outils formels permettant principalement de caractériser les interactions entre processus au sein d'un système concurrent ou distribué, les interactions prenant la forme d'échanges de messages. L'étude des algèbres de processus relève de l'informatique théorique, et leurs applications relèvent principalement du génie logiciel, en particulier des systèmes distribués. Les différents calculs peuvent se distinguer par différent points : calcul synchrone ou asynchrone, calcul du premier ordre ou d'ordre supérieur (dans le second cas, les messages échangés sont des processus), etc.. Les principaux algèbres de processus utilisés sont : * CSP (Communicating sequential processes) ; * CCS ; * LOTOS (Language Of Temporal Ordering Specification) - norme ISO 8807 ; * Pi-calcul. (fr) In computer science, the process calculi (or process algebras) are a diverse family of related approaches for formally modelling concurrent systems. Process calculi provide a tool for the high-level description of interactions, communications, and synchronizations between a collection of independent agents or processes. They also provide algebraic laws that allow process descriptions to be manipulated and analyzed, and permit formal reasoning about equivalences between processes (e.g., using bisimulation). Leading examples of process calculi include CSP, CCS, ACP, and LOTOS. More recent additions to the family include the π-calculus, the ambient calculus, PEPA, the and the join-calculus. (en) プロセス計算（プロセスけいさん、英: Process calculus）またはプロセス代数（プロセスだいすう、英: Process algebras）は、計算機科学において並行システムを形式的にモデリングする各種手法の総称。プロセス計算は、独立エージェントやプロセスの集まりにおける相互作用/通信/同期を抽象的に記述するツールである。また、プロセス記述を操作・分析可能にする代数学的規則も提供し、プロセス間の等価性について（双模倣性を使った）形式的推論を可能とする。主な具体例としては、CSP、、 がある。近年ではこれら以外に (英語)、、 などもある。 (ja) Em ciência da computação, cálculo de processos (process calculus) é uma família diversificada de abordagens para modelar formalmente sistemas concorrentes. O cálculo de processos provê uma ferramenta de descrição de alto nível de interações, comunicações e sincronizações entre uma coleção de agentes ou processos independentes. Eles também fornecem leis algébricas que permitem descrições de processos serem manipuladas e analisadas, e permitem a formalização do raciocínio sobre equivalências entre processos (e.g. usando bisimulação). Principais exemplos de cálculo de processos incluem CSP, CCS, ACP, e LOTOS. Adições mais recentes incluíram o π-calculus, o cálculo de ambiente, PEPA, o cálculo de fusão e o join-calculus. (pt) Rachunek procesowy, lub rachunek procesów (ang. process calculus), także algebra procesów (ang. process algebra) – stosowane w informatycznej teorii konkurencji (ang. concurrency theory) zbiorcze określenie na różnorodne podejścia do opisu formalnego modelowania, analizy i tranformacji systemów współbieżnych (równoległych i rozproszonych). Pozwalają na abstrakcyjny opis interakcji, komunikacji i synchronizacji między grupą niezależnych agentów lub procesów. Przykładami rachunku procesowego są: * komunikacyjne procesy sekwencyjne (ang. communicating sequential processes, CSP), * (ang. calculus of communicating systems, CCS), * (ang. algebra of communicating processes, ACP), * (ang. ambient calculus), * (ang. π-calculus). (pl) Исчисление процессов или алгебра процессов — семейство связанных подходов к формальному моделированию параллельных систем. Большой вклад в развитие данного направления теоретической информатики внесли Робин Милнер, разработавший исчисление взаимодействующих систем CCS (Calculus of Communicating Systems) и Энтони Хоар, разработавший теорию взаимодействующих последовательных процессов (Communicating Sequential Processes). Другими примерами являются TCC (англ. timed concurrent constraints), (ACP), LOTOS. Более современными методами являются пи-исчисление, , , и другие. (ru) 在计算机科学中，（或进程代数）是用于形式化建模并发系统的多种相关方法。进程演算提供了具体描述多个独立代理人程序或者是多个进程之间交互、通信、同步的方法，其中包含了对进程操作和分析的描述、以及证明形式化推导进程之间存在等价关系（例如：双向模拟的运用）的代数法则。关于进程演算的典例主要包括CSP、CCS、ACP，和LOTOS。最近新增的演算包括π演算，环境演算，PEPA，融合演算和联接演算。 (zh) |
| dbo:wikiPageExternalLink | http://www.usingcsp.com/ http://www.mcrl2.org https://www.informatik.uni-hamburg.de/TGI/lehre/vl/WS1011/FGI2/sec/FGI2_kap5_2(pa-parallel).pdf https://web.archive.org/web/20190709144559/https:/www.informatik.uni-hamburg.de/TGI/lehre/vl/WS1011/FGI2/sec/FGI2_kap5_2(pa-parallel).pdf http://homepages.inf.ed.ac.uk/perdita/cwb |
| dbo:wikiPageID | 853240 (xsd:integer) |
| dbo:wikiPageLength | 19049 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1098551908 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Prentice_Hall dbr:ProVerif dbr:Robin_Milner dbr:CADP dbr:Join-calculus dbr:University_of_Hamburg dbr:Μ-recursive_function dbr:Jan_Bergstra dbr:Communicating_Sequential_Processes dbr:Compositionality dbr:Concurrent_computing dbr:Alphabet_(computer_science) dbr:Stochastic dbr:Communicating_sequential_processes dbr:Computer_science dbr:PEPA dbr:Petri_net dbr:Temporal_Process_Language dbr:Matthew_Hennessy dbr:Type_system dbr:Language_Of_Temporal_Ordering_Specification dbr:Stochastic_probe dbr:Actor_model dbr:Actor_model_and_process_calculi dbr:Algebra dbr:Algebra_of_Communicating_Processes dbr:Ambient_calculus dbr:Church-Turing_thesis dbr:Discrete_time_and_continuous_time dbr:Formal_language dbr:History_monoid dbr:Equational_reasoning dbr:Recursion dbr:Replication_(computing) dbr:Halting_problem dbr:Jan_Willem_Klop dbr:Tamarin_Prover dbr:Portable_Document_Format dbc:Process_calculi dbr:Lambda_calculus dbr:Bisimulation dbr:Hoare_logic dbr:Free_monoid dbr:Free_object dbr:Message-passing dbr:Channel_(programming) dbr:Calculus_of_Communicating_Systems dbr:Kleene_star dbr:Π-calculus dbr:Turing_machine dbr:Oxford_University_Computing_Laboratory dbr:C.A.R._Hoare dbr:C._A._R._Hoare dbr:The_MIT_Press dbr:Pi-calculus dbr:Concurrent_system dbr:Bound_variables dbr:Fusion_calculus |
| dbp:wikiPageUsesTemplate | dbt:Citation_needed dbt:Cite_book dbt:ISBN dbt:Reflist dbt:Short_description dbt:Concurrent_computing |
| dcterms:subject | dbc:Process_calculi |
| gold:hypernym | dbr:Family |
| rdf:type | yago:WikicatModelsOfComputation yago:Assistant109815790 yago:CausalAgent100007347 yago:LivingThing100004258 yago:Model110324560 yago:Object100002684 yago:Organism100004475 yago:Person100007846 yago:PhysicalEntity100001930 yago:Worker109632518 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Whole100003553 |
| rdfs:comment | Prozesskalküle (oder auch Prozessalgebren) umfassen eine große Familie von Ansätzen zur formalen Modellierung von nebenläufigen Systemen. Sie erlauben die abstrakte Beschreibung von Interaktion, Kommunikation und Synchronisation zwischen einer Gruppe von unabhängigen Agenten oder Prozessen. Algebraische Gesetze ermöglichen die Analyse oder Umformung von Prozessbeschreibungen. Beispiele für Prozesskalküle sind CSP, , oder der Pi-Kalkül. (de) In computer science, the process calculi (or process algebras) are a diverse family of related approaches for formally modelling concurrent systems. Process calculi provide a tool for the high-level description of interactions, communications, and synchronizations between a collection of independent agents or processes. They also provide algebraic laws that allow process descriptions to be manipulated and analyzed, and permit formal reasoning about equivalences between processes (e.g., using bisimulation). Leading examples of process calculi include CSP, CCS, ACP, and LOTOS. More recent additions to the family include the π-calculus, the ambient calculus, PEPA, the and the join-calculus. (en) プロセス計算（プロセスけいさん、英: Process calculus）またはプロセス代数（プロセスだいすう、英: Process algebras）は、計算機科学において並行システムを形式的にモデリングする各種手法の総称。プロセス計算は、独立エージェントやプロセスの集まりにおける相互作用/通信/同期を抽象的に記述するツールである。また、プロセス記述を操作・分析可能にする代数学的規則も提供し、プロセス間の等価性について（双模倣性を使った）形式的推論を可能とする。主な具体例としては、CSP、、 がある。近年ではこれら以外に (英語)、、 などもある。 (ja) Em ciência da computação, cálculo de processos (process calculus) é uma família diversificada de abordagens para modelar formalmente sistemas concorrentes. O cálculo de processos provê uma ferramenta de descrição de alto nível de interações, comunicações e sincronizações entre uma coleção de agentes ou processos independentes. Eles também fornecem leis algébricas que permitem descrições de processos serem manipuladas e analisadas, e permitem a formalização do raciocínio sobre equivalências entre processos (e.g. usando bisimulação). Principais exemplos de cálculo de processos incluem CSP, CCS, ACP, e LOTOS. Adições mais recentes incluíram o π-calculus, o cálculo de ambiente, PEPA, o cálculo de fusão e o join-calculus. (pt) Исчисление процессов или алгебра процессов — семейство связанных подходов к формальному моделированию параллельных систем. Большой вклад в развитие данного направления теоретической информатики внесли Робин Милнер, разработавший исчисление взаимодействующих систем CCS (Calculus of Communicating Systems) и Энтони Хоар, разработавший теорию взаимодействующих последовательных процессов (Communicating Sequential Processes). Другими примерами являются TCC (англ. timed concurrent constraints), (ACP), LOTOS. Более современными методами являются пи-исчисление, , , и другие. (ru) 在计算机科学中，（或进程代数）是用于形式化建模并发系统的多种相关方法。进程演算提供了具体描述多个独立代理人程序或者是多个进程之间交互、通信、同步的方法，其中包含了对进程操作和分析的描述、以及证明形式化推导进程之间存在等价关系（例如：双向模拟的运用）的代数法则。关于进程演算的典例主要包括CSP、CCS、ACP，和LOTOS。最近新增的演算包括π演算，环境演算，PEPA，融合演算和联接演算。 (zh) Les algèbres de processus sont une famille de langages formels permettant de modéliser les systèmes (informatiques) concurrents ou distribués. Les algèbres de processus fournissent des outils formels permettant principalement de caractériser les interactions entre processus au sein d'un système concurrent ou distribué, les interactions prenant la forme d'échanges de messages. L'étude des algèbres de processus relève de l'informatique théorique, et leurs applications relèvent principalement du génie logiciel, en particulier des systèmes distribués. (fr) Rachunek procesowy, lub rachunek procesów (ang. process calculus), także algebra procesów (ang. process algebra) – stosowane w informatycznej teorii konkurencji (ang. concurrency theory) zbiorcze określenie na różnorodne podejścia do opisu formalnego modelowania, analizy i tranformacji systemów współbieżnych (równoległych i rozproszonych). Pozwalają na abstrakcyjny opis interakcji, komunikacji i synchronizacji między grupą niezależnych agentów lub procesów. Przykładami rachunku procesowego są: (pl) |
| rdfs:label | Prozesskalkül (de) Algèbre de processus (fr) プロセス計算 (ja) Process calculus (en) Rachunek procesowy (pl) Cálculo de processos (pt) Исчисление процессов (ru) 进程演算 (zh) |
| owl:sameAs | freebase:Process calculus yago-res:Process calculus wikidata:Process calculus dbpedia-de:Process calculus dbpedia-fa:Process calculus dbpedia-fr:Process calculus dbpedia-ja:Process calculus http://lt.dbpedia.org/resource/Procesų_algebra dbpedia-pl:Process calculus dbpedia-pt:Process calculus dbpedia-ru:Process calculus dbpedia-zh:Process calculus https://global.dbpedia.org/id/syZn |
| prov:wasDerivedFrom | wikipedia-en:Process_calculus?oldid=1098551908&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Process_calculus |
| is dbo:wikiPageDisambiguates of | dbr:Calculus_(disambiguation) |
| is dbo:wikiPageRedirects of | dbr:Process_calculi dbr:Sequential_composition dbr:Basic_Process_Algebra dbr:Hybrid_Process_Algebra dbr:Hybrid_process_algebra dbr:Process_Algebra dbr:Process_algebra dbr:Process_algebras |
| is dbo:wikiPageWikiLink of | dbr:Calculus dbr:Denotational_semantics dbr:Join-calculus dbr:Join-pattern dbr:Jolie_(programming_language) dbr:Construction_and_Analysis_of_Distributed_Processes dbr:Gene_regulatory_network dbr:Transputer dbr:Ehud_Shapiro dbr:Process_calculi dbr:Calculus_of_broadcasting_systems dbr:Calculus_of_communicating_systems dbr:Choreographic_programming dbr:Communicating_sequential_processes dbr:Computer_science dbr:Process_architecture dbr:Programming_language_theory dbr:Tajima's_D dbr:Temporal_Process_Language dbr:Actor_model_and_process_calculi_history dbr:Language_Of_Temporal_Ordering_Specification dbr:Protocol_composition_logic dbr:Stochastic_probe dbr:Ambient_calculus dbr:History_of_calculus dbr:Service_choreography dbr:Process dbr:Process_(computing) dbr:Eike_Best dbr:Trace_monoid dbr:Modeling_language dbr:Indeterminacy_in_concurrent_computation dbr:Sequential_composition dbr:Calculus_(disambiguation) dbr:Π-calculus dbr:Vector_addition_system dbr:Process_modeling dbr:Turing_completeness dbr:Basic_Process_Algebra dbr:Hybrid_Process_Algebra dbr:Hybrid_process_algebra dbr:Process_Algebra dbr:Process_algebra dbr:Process_algebras |
| is foaf:primaryTopic of | wikipedia-en:Process_calculus |