| Property |
Value |
| dbo:abstract
|
- El càlcul de sistemes comunicants o CCS és un llenguatge d'especificació formal basat en l'àlgebra de processos, per a l'especificació i modelat de sistemes discrets 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 àlgebra de processos. 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 ports bé específics, que conformen el que es coneix com 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)
- El càlcul de sistemes comunicants o CCS és un llenguatge d'especificació formal basat en l'àlgebra de processos, per a l'especificació i modelat de sistemes discrets 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 àlgebra de processos. 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 ports bé específics, que conformen el que es coneix com 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)
|
| dbo:wikiPageID
| |
| dbo:wikiPageRevisionID
| |
| dct:subject
| |
| rdfs:comment
|
- El càlcul de sistemes comunicants o CCS és un llenguatge d'especificació formal basat en l'àlgebra de processos, per a l'especificació i modelat de sistemes discrets 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 àlgebra de processos. (ca)
- El càlcul de sistemes comunicants o CCS és un llenguatge d'especificació formal basat en l'àlgebra de processos, per a l'especificació i modelat de sistemes discrets 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 àlgebra de processos. (ca)
|
| rdfs:label
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is prop-ca:conegutPer
of | |
| is foaf:primaryTopic
of | |
