mdh.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat 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 (Engelska)Ingår i: Proceedings - 33rd Annual IEEE Software Engineering Workshop, SEW-33 2009, Skövde, Sweden, 2009, s. 94-103Konferensbidrag, Publicerat paper (Refereegranskat)
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. 

Ort, förlag, år, upplaga, sidor
Skövde, Sweden, 2009. s. 94-103
Nationell ämneskategori
Teknik och teknologier
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
Konferens
33rd Annual IEEE Software Engineering Workshop, SEW-33 2009; Skövde; Sweden; 13 October 2009 through 14 October 2009
Tillgänglig från: 2013-12-16 Skapad: 2013-12-16 Senast uppdaterad: 2013-12-16Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Personposter BETA

Gallina, Barbara

Sök vidare i DiVA

Av författaren/redaktören
Gallina, Barbara
Teknik och teknologier

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 23 träffar
RefereraExporteraLänk till posten
Permanent länk

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