| dbo:abstract
|
- El càlcul de sistemes comunicants o CCS és un llenguatge d'especificació formal basat en l', per a l'especificació i de comunicants. El llenguatge CCS va ser proposat ( "A Calculus of Communicating Systems" ) per Robin Milner per exemplificar la seva idea d'una àlgebra per representar simbòlicament els processos que conformen un sistema de programari Mentrestant, proposició va ser feta poc abans que la de CSP de Tony Hoare ( "Communicating Sequential Processes" ), formant dos llenguatges els exemples per excel·lència del que és una . CCS proposa una notació textual i una altra visual per representar l'existència dins d'un sistema del que anomena procés i la definició d'aquests. Els processos són vistos com a blocs hermètics que comuniquen amb el món extern o ambient per mitjà de bé específics, que conformen el que es coneix com a interfície del procés. Els processos defineixen el seu comportament enunciant explícitament la seqüència sencera d'operacions elementals que aquest procés s'efectua durant tota la seva existència. (ca)
- Ο Λογισμός των Επικοινωνούντων Συστημάτων (Calculus of Communicating Systems ή CCS) είναι ένας (process calculus) που εμφανίστηκε τη δεκαετία του 1980 από τον και ονομάστηκε από τον τίτλο του βιβλίου που περιέγραφε το λογισμό. Οι ενέργειές του μοντελοποιούν αδιαίρετες επικοινωνίες μεταξύ ακριβώς δύο συμμετεχόντων. Η τυπική γλώσσα περιλαμβάνει βασικά στοιχεία για την περιγραφή της παράλληλης σύνθεσης, της επιλογής μεταξύ ενεργειών και του περιορισμού εμβέλειας. Ο CCS είναι χρήσιμος για την εκτίμηση της ορθότητας ιδιοτήτων ενός συστήματος όπως τα αδιέξοδα (deadlocks) και τα ζωντανά αδιέξοδα (livelocks). Σύμφωνα με το Milner, "Δεν υπάρχει κάτι κανονικό σχετικά με την επιλογή των βασικών συνδυαστών, αν και επιλέχθηκαν με προσοχή στην οικονομία. Αυτό που χαρακτηρίζει το λογισμό μας δεν είναι η ακριβής επιλογή των συνδυαστών αλλά η επιλογή της ερμηνείας και του μαθηματικού πλαισίου". Οι εκφράσεις της γλώσσας ερμηνεύονται σαν (labelled transition systems). Ανάμεσα σε αυτά τα μοντέλα, σαν σημασιολογική ισοδυναμία χρησιμοποιείται η αμφιομοιότητα (bisimilarity). (el)
- The calculus of communicating systems (CCS) is a process calculus introduced by Robin Milner around 1980 and the title of a book describing the calculus. Its actions model indivisible communications between exactly two participants. The formal language includes primitives for describing parallel composition, choice between actions and scope restriction. CCS is useful for evaluating the qualitative correctness of properties of a system such as deadlock or livelock. According to Milner, "There is nothing canonical about the choice of the basic combinators, even though they were chosen with great attention to economy. What characterises our calculus is not the exact choice of combinators, but rather the choice of interpretation and of mathematical framework". The expressions of the language are interpreted as a labelled transition system. Between these models, bisimilarity is used as a semantic equivalence. (en)
- El cálculo de sistemas comunicantes o CCS es un lenguaje de especificación formal basado en el , para la especificación y modelado de comunicantes. El lenguaje CCS fue propuesto ("A Calculus of Communicating Systems") por Robin Milner para ejemplificar su idea de un álgebra para representar simbólicamente los procesos que conforman un sistema de software paralelo, su proposición fue hecha poco antes que la de CSP de Tony Hoare ("Communicating Sequential Processes"), formando ambos lenguajes los ejemplos por excelencia de lo que es un . CCS propone una notación textual y otra visual para representar la existencia dentro de un sistema de lo que llama proceso y la definición de estos. Los procesos son vistos como bloques herméticos que comunican con el mundo externo o ambiente por medio de bien específicos, que conforman lo que se conoce como interfaz del proceso. Los procesos definen su comportamiento enunciando explícitamente la secuencia entera de operaciones elementales que dicho proceso efectúa durante toda su existencia. (es)
- Исчисление взаимодействующих систем (англ. Calculus of Communicating Systems, CCS, исчисление общающихся систем) в информатике — исчисление процессов, разработанное Робином Милнером в 1980 году. Исчисление работает с моделью неразделяемых коммуникаций между ровно двумя участниками. Формальный язык включает примитивы для описания параллельной композиции, выбора между действиями и рамки ограничений. CCS полезен для оценки качественной корректности свойств таких как взаимная блокировка или «живая блокировка». Согласно Милнеру, «нет ничего канонического в выборе базовых комбинаторов, даже несмотря на то, что они были выбраны с большим вниманием к экономии. То, что характеризует наше исчисление, это не точный выбор комбинаторов, но выбор интерпретации и математической структуры». Выражения языка интерпретируются как . Между этими моделями используется как семантическая эквивалентность. (ru)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 5619 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| rdf:type
| |
| rdfs:comment
|
- El càlcul de sistemes comunicants o CCS és un llenguatge d'especificació formal basat en l', per a l'especificació i de comunicants. El llenguatge CCS va ser proposat ( "A Calculus of Communicating Systems" ) per Robin Milner per exemplificar la seva idea d'una àlgebra per representar simbòlicament els processos que conformen un sistema de programari Mentrestant, proposició va ser feta poc abans que la de CSP de Tony Hoare ( "Communicating Sequential Processes" ), formant dos llenguatges els exemples per excel·lència del que és una . (ca)
- Ο Λογισμός των Επικοινωνούντων Συστημάτων (Calculus of Communicating Systems ή CCS) είναι ένας (process calculus) που εμφανίστηκε τη δεκαετία του 1980 από τον και ονομάστηκε από τον τίτλο του βιβλίου που περιέγραφε το λογισμό. Οι ενέργειές του μοντελοποιούν αδιαίρετες επικοινωνίες μεταξύ ακριβώς δύο συμμετεχόντων. Η τυπική γλώσσα περιλαμβάνει βασικά στοιχεία για την περιγραφή της παράλληλης σύνθεσης, της επιλογής μεταξύ ενεργειών και του περιορισμού εμβέλειας. Ο CCS είναι χρήσιμος για την εκτίμηση της ορθότητας ιδιοτήτων ενός συστήματος όπως τα αδιέξοδα (deadlocks) και τα ζωντανά αδιέξοδα (livelocks). (el)
- The calculus of communicating systems (CCS) is a process calculus introduced by Robin Milner around 1980 and the title of a book describing the calculus. Its actions model indivisible communications between exactly two participants. The formal language includes primitives for describing parallel composition, choice between actions and scope restriction. CCS is useful for evaluating the qualitative correctness of properties of a system such as deadlock or livelock. (en)
- El cálculo de sistemas comunicantes o CCS es un lenguaje de especificación formal basado en el , para la especificación y modelado de comunicantes. El lenguaje CCS fue propuesto ("A Calculus of Communicating Systems") por Robin Milner para ejemplificar su idea de un álgebra para representar simbólicamente los procesos que conforman un sistema de software paralelo, su proposición fue hecha poco antes que la de CSP de Tony Hoare ("Communicating Sequential Processes"), formando ambos lenguajes los ejemplos por excelencia de lo que es un . (es)
- Исчисление взаимодействующих систем (англ. Calculus of Communicating Systems, CCS, исчисление общающихся систем) в информатике — исчисление процессов, разработанное Робином Милнером в 1980 году. Исчисление работает с моделью неразделяемых коммуникаций между ровно двумя участниками. Формальный язык включает примитивы для описания параллельной композиции, выбора между действиями и рамки ограничений. CCS полезен для оценки качественной корректности свойств таких как взаимная блокировка или «живая блокировка». (ru)
|
| rdfs:label
|
- CCS (ca)
- Λογισμός των Επικοινωνούντων Συστημάτων (el)
- Calculus of communicating systems (en)
- Cálculo de sistemas comunicantes (es)
- Исчисление взаимодействующих систем (ru)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:knownFor
of | |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is dbp:knownFor
of | |
| is foaf:primaryTopic
of | |
