Abstract-Tillkomsten av lätta formella metoder verktyg för utvecklare att modellera och kontrollera sina system innan de engagerar sig i ohyggliga genomförande detaljer. En abstrakt legeringsspecifikation är dock långt ifrån ett faktiskt genomförande och en uppgift för hand. Detta dokument identifierar en delmängd av det legeringsspråk som motsvarar en relationsdatabasschema med de mest beroenden. Denna semantiska korrespondens möjliggör både automatisk översättning av legeringsspecifikationer till relationella databasscheman och omkonstruktion av äldre databaser till applikationslager för att fungera som gränssnitt till den underliggande databasen. Programmets utvecklingsprocess genom omfattande automatiserade modellers omvandlingar. Formella metoder (FM) kan spela en nyckelroll på MDSE, inte bara på modellen verifikation formationer. De tenderar dock att försummas när det gäller de gemensamma kostnaderna. Legering [1] är ett allt populärare modelleringsspråk som lätt kan närma sig formella metoder [2]: ett språk som bygger på enkla matematiska begrepp och som delar med sig av kraften i formell verifikation till den genomsnittliga programvaruingenjören. Även om legering håller på att nå ett moget tillstånd som modellspråk, behövs fortfarande ett betydande arbete för att frigöra sin fulla potential för MDSE. Det behövs framför allt mer teori- och verktygsstöd för att överbrygga klyftan mellan specifi kationer och genomföranden. I detta dokument försöker vi just att etablera grunden för en ram för att kartlägga mellan Java Application Alloy Specification sedd i Figur 1, grundidén är att härleda från samma specifi katjon följande artefakter: En relational databas schema där datamodellen som föreskrivs i specifi katjonen bör verkställas av databasen schema för att undvika integritetsproblem. kat, dvs. verksamhet, kommer också att föras in i detta skikt. I detta dokument kommer vi främst att fokusera på den första artefakten, d.v.s. kopplingen mellan legeringsspecfikatjoner och relationsdatabasscheman. ) och erinrar om en formell defi nition av databasscheman sive kraft liknar den databas scheman berikade omvända kartläggningar mellan denna legering delmängd och databas respekt för en databas likvärdighet begrepp som bortser redundant inte bara migrerande legering specifi katjoner till relationell databas implementationer, men också omvänd teknik abstrakt modeller ade prototyp (avsnitt VII). Efter att ha presenterat några relaterade 978-0-7695-3870-9/09 $26,00
Utmed samma linje föreslog Cunha och Pacheco ett tillvägagångssätt som översätter en delmängd av legering till motsvarande relationella databasoperationer REF.
Mapping between Alloy Specifications and Database Implementations
{'venue': '2009 Seventh IEEE International Conference on Software Engineering and Formal Methods', 'journal': '2009 Seventh IEEE International Conference on Software Engineering and Formal Methods', 'mag_field_of_study': ['Computer Science']}