ÍslenskaenEnglish

Aðilar að Skemmunni

Leit eftir:


LokaverkefniHáskólinn í Reykjavík>Tölvunarfræðideild>Meistaraprófsritgerðir>

Vinsamlegast notið þetta auðkenni þegar þið vitnið til verksins eða tengið í það: http://hdl.handle.net/1946/9246

Titlar
  • en

    Timed Rebeca: Refinement and Simulation

  • Timed Rebeca: Nákvæmni og Hermun

Útgáfa
Júní 2011
Útdrættir
  • en

    With the the popularity of web services and applications in wireless networks, distributed computing is becoming ubiquitous. The software can be time critical and as such must respond to requests in a timely fashion. Analyzing timing behaviour of distributed and asynchronous systems is a particularly challenging task. We present an extension of the actor-based Rebeca language that can be used to model distributed and asynchronous systems with timing constraints. We provide an automated translation from Timed Rebeca to Erlang. Translation schemes for both refined programs and simulation are included. The translation tool is built upon formal mapping from Timed Rebeca to Erlang and the Structural Operational Semantics of Timed Rebeca. A few examples are studied and experimental results are provided.

  • Vinsældir vefþjónusta og hugbúnaðar sem hefur þráðlaus samskipti gera það að verkum að dreifð tölvukerfi má finna víða. Algengt er að slík kerfi setji skilyrði fyrir svartíma sín á milli og því getur tími getur skipt sköpum. Greining á dreifðum ósamstilltum kerfum gagnvart tíma er einkar áskor\-andi verkefni. Við kynnum viðbót við gerendabundna málið Rebeca til þess að hanna líkön af dreifðum og ósamstilltum kerfum með tíma\-hömlum. Við útbúum sjálfvirka þýðingu frá Timed Rebeca yfir í Erlang. Þýðingar fyrir bæði útfærslu og hermun eru innifaldar. Þýðingartólið er byggt á formlegri skilgreiningu á Timed Rebeca yfir í Erlang og formlegri merkingarfræði (SOS) Timed Rebeca. Nokkur dæmi eru skoðuð og niðurstöður kynntar.

Athugasemdir

Hugbúnaðarverkfræði.

Birting
16.6.2011


Skrár
NafnRaðanlegtStærðRaðanlegtAðgangurRaðanlegtLýsingRaðanlegtSkráartegund
arnihermann-thesis... .pdf419KBOpinn Meginmál PDF Skoða/Opna