This HTML5 document contains 34 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
dctermshttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n13https://global.dbpedia.org/id/
schemahttp://schema.org/
n10http://ece.ut.ac.ir/FML/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
n19http://
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n11http://ece.ut.ac.ir/msirjani/publications/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Rebeca_(programming_language)
rdf:type
schema:Language dbo:ProgrammingLanguage wikidata:Q315 owl:Thing dbo:Language wikidata:Q9143
rdfs:label
Rebeca (Informatik) Rebeca (programming language)
rdfs:comment
Rebeca (acronym for Reactive Objects Language) is an actor-based modeling language with a formal foundation, designed in an effort to bridge the gap between formal verification approaches and real applications. It can be considered as a reference model for concurrent computation, based on an operational interpretation of the actor model. It is also a platform for developing object-based concurrent systems in practice. Rebeca (Reactive Objects Language) ist eine Modellierungssprache für auf dem Actor Model basierende Systeme. Sie wird als praxistaugliches Tool entwickelt um die Lücke zwischen formalen Methoden und dem Software Engineering zu schließen. Rebeca wird sowohl an der Universität von Teheran als auch an der Universität von Reykjavík weiterentwickelt.
dcterms:subject
dbc:Logic_programming_languages
dbo:wikiPageID
5999175
dbo:wikiPageRevisionID
1043094514
dbo:wikiPageWikiLink
dbr:Actor_model dbr:Formal_methods dbr:Modeling_language dbc:Logic_programming_languages dbr:SPIN_model_checker dbr:Model_checking
dbo:wikiPageExternalLink
n10: n11:SirjaniThesis.pdf n19:www.rebeca-lang.org
owl:sameAs
n13:4toFi wikidata:Q7301633 dbpedia-de:Rebeca_(Informatik)
dbp:wikiPageUsesTemplate
dbt:Notability dbt:Compu-lang-stub dbt:Multiple_issues dbt:No_footnotes
dbo:abstract
Rebeca (acronym for Reactive Objects Language) is an actor-based modeling language with a formal foundation, designed in an effort to bridge the gap between formal verification approaches and real applications. It can be considered as a reference model for concurrent computation, based on an operational interpretation of the actor model. It is also a platform for developing object-based concurrent systems in practice. Besides having an appropriate and efficient way for modeling concurrent and distributed systems, one needs a formal verification approach to ensure their correctness. Rebeca is supported by a set of verification tools. Earlier tools provided a front-end to work with Rebeca code, and to translate the Rebeca code into input languages of well-known and mature model checkers (like SPIN and NuSMV) and thus, were able to verify their properties.Rebeca, since 2005, is supported by a direct model checker based on Modere (the Model checking Engine of Rebeca).Modular verification and abstraction techniques are used to reduce the state space and make it possible to verify complicated reactive systems.Besides these techniques, Modere supports partial order reduction and symmetry reduction. Rebeca (Reactive Objects Language) ist eine Modellierungssprache für auf dem Actor Model basierende Systeme. Sie wird als praxistaugliches Tool entwickelt um die Lücke zwischen formalen Methoden und dem Software Engineering zu schließen. Rebeca wird sowohl an der Universität von Teheran als auch an der Universität von Reykjavík weiterentwickelt.
prov:wasDerivedFrom
wikipedia-en:Rebeca_(programming_language)?oldid=1043094514&ns=0
dbo:wikiPageLength
2055
foaf:isPrimaryTopicOf
wikipedia-en:Rebeca_(programming_language)