Det är allmänt erkänt att programvaruutveckling är en komplex process. Bland de faktorer som bidrar till dess inneboende komplexitet är klyftan mellan design och de formella analysdomänerna. Programvarudesign anses ofta vara en mänsklig orienterad uppgift medan analysfasen bygger på formell representation och matematiska grunder. Ett exempel på denna dikotomi är användningen av UML för programvarudesignfasen och Petri Nets för analysen; en separation av problem som leder till skapandet av heterogena modeller. Även om UML allmänt accepteras som ett språk som kan användas för att modellera strukturella och beteendemässiga aspekter av ett system, dess brist på matematiska grunder ses som ett allvarligt hinder för strikt analys. Petri Nets å andra sidan har en stark matematisk grund som är väl lämpad för formell analys; de saknar dock överklagande och enkel användning av UML. En viktig fråga för programvaruutvecklare är hur man kan överbrygga klyftan mellan dessa domäner och möjliggöra modellkompatibilitet och integrering av olika verktygsuppsättningar mellan dem, och därmed minska komplexiteten i programvaruutvecklingsprocessen. Syftet med detta papper är att presentera en modelldriven utveckling (MDD) modellomvandling som stöder en sömlös övergång mellan UML och Petri Nets. Detta uppnås genom modellkompatibilitet mellan UML Sequence Diagrams och Petri Nets och stöds av verktygsintegration. Modellomvandlingsramen gör att ett programvarusystem kan utformas i termer av UML Sequence Diagrams och underkastas formell analys genom att dra nytta av den starka matematiska ramen för Petri Nets. Ett personligt områdesnätverks beteende kommer att användas för att illustrera det föreslagna tillvägagångssättet och för att belysa modellens driftskompatibilitet och verktygsintegration genom utformning, omvandling och analysfaser.
För att lösa problemet med programvaruutvecklingsprocessens komplexitet, integreringen av ny tillämpning och interoperabilitet föreslår Ameedeen Ref en metod för interoperabilitetsmodeller med hjälp av modelldriven utveckling för att överbrygga skillnaden mellan utformnings- och analysfaserna för programvaruutveckling.
Model Interoperability via Model Driven Development
{'venue': 'J. Comput. Syst. Sci.', 'journal': 'J. Comput. Syst. Sci.', 'mag_field_of_study': ['Computer Science']}