UML-diagram betraktas som en huvudkomponent i kravutvecklingsprocessen och dessa blir en branschstandard i många organisationer. UML diagram är användbara för att visa en interaktion, beteende och struktur i systemet. På samma sätt används formella specificeringsmetoder inom kravteknik också i viktiga system där det krävs exakt information. Det är nödvändigt att integrera systemmodeller med sådana formella metoder för att övervinna kravfelen, dvs. motsägelser, tvetydigheter, vaghet, ofullständighet och abstraktionens blandade värden. Vårt mål är att integrera det formella specifikationsspråket (Z) med UML Sequence diagram, eftersom sekvensdiagram är ett interaktionsdiagram som visar interaktionen och korrekt sekvens av komponenter (Metoder, förfaranden etc.) av systemet. I detta dokument fokuserar vi på komponenter i UML Sequence diagram och sedan genomföra dessa komponenter i formell specifikation språk Z. Och resultaten av dessa forskningsrapporter är kompletta integrerade komponenter i Sequence diagram med Z scheman, som verifieras med hjälp av verktyg och modellbaserad provningsteknik av formella specifikationer. Resultaten kan förbättras mer genom att integrera återstående komponenter i Sequence och andra UML diagram i Formell Specifikation Språk.
Minhas m.fl. REF Integration av sekvensdiagram och Z scheman.
An Integration of UML Sequence Diagram with Formal Specification Methods—A Formal Solution Based on Z
{'venue': None, 'journal': 'Journal of Software Engineering and Applications', 'mag_field_of_study': ['Computer Science']}