mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • 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 (English)In: Proceedings - 33rd Annual IEEE Software Engineering Workshop, SEW-33 2009, Skövde, Sweden, 2009, p. 94-103Conference paper, Published paper (Refereed)
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. 

Place, publisher, year, edition, pages
Skövde, Sweden, 2009. p. 94-103
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:mdh:diva-23613DOI: 10.1109/SEW.2009.13Scopus ID: 2-s2.0-78650060776ISBN: 9780769540139 (print)OAI: oai:DiVA.org:mdh-23613DiVA, id: diva2:679451
Conference
33rd Annual IEEE Software Engineering Workshop, SEW-33 2009; Skövde; Sweden; 13 October 2009 through 14 October 2009
Available from: 2013-12-16 Created: 2013-12-16 Last updated: 2013-12-16Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Gallina, Barbara

Search in DiVA

By author/editor
Gallina, Barbara
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 21 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf