mdh.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Towards an Alloy Formal Model for Flexible Advanced Transactional Model Development
University of Luxembourg. (IS (Embedded Systems))ORCID-id: 0000-0002-6952-1053
University of Luxembourg.
University of Luxembourg.
2009 (engelsk)Inngår i: Proceedings - 33rd Annual IEEE Software Engineering Workshop, SEW-33 2009, Skövde, Sweden, 2009, s. 94-103Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

SPLACID is a semi-formal language conceived for the specification and synthesis of (advanced) transactional models from basic features, such as transaction types and (relaxed) ACID variants. SPLACID is an improvement of the ACTA framework offering a well-structured and formal syntax. Neither ACTA nor SPLACID, however, benefit from a formal tool-supported semantics. This paper presents the first step for having a fullformal semantics of SPLACID by translation to Alloy. In particular, we present the translation of the SPLACID concepts into Alloy concepts focusing on those concepts pertaining to the structure of a TransactionalModel and those characterizing the isolation variant. The Alloy specification obtained by this translation preserve the SPLACID main key-properties, namely, modularity, flexibility and reusability. To support this claim we show how flexible, modular and reusable structures and isolation variants can be obtained in Alloy. Finally, we analyze the flat and nested transactional model structures and the serializability-based isolation variant using the Alloy Analyzer. 

sted, utgiver, år, opplag, sider
Skövde, Sweden, 2009. s. 94-103
HSV kategori
Identifikatorer
URN: urn:nbn:se:mdh:diva-23613DOI: 10.1109/SEW.2009.13Scopus ID: 2-s2.0-78650060776ISBN: 9780769540139 (tryckt)OAI: oai:DiVA.org:mdh-23613DiVA, id: diva2:679451
Konferanse
33rd Annual IEEE Software Engineering Workshop, SEW-33 2009; Skövde; Sweden; 13 October 2009 through 14 October 2009
Tilgjengelig fra: 2013-12-16 Laget: 2013-12-16 Sist oppdatert: 2013-12-16bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopus

Personposter BETA

Gallina, Barbara

Søk i DiVA

Av forfatter/redaktør
Gallina, Barbara

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 23 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf