Design och specifikation är en allvarlig fråga inom programvaruteknik på grund av de semantik som är involverade i att omvandla de verkliga problemen till datorprogramsystem. Unidified Modeling Language (UML) har accepterats som en de facto-standard för design och specifikation av objektorienterade system. Tyvärr saknar UML strukturer definiera semantik av ett system. Formella metoder har visat sig vara kraftfulla, särskilt på kravspecifikationsnivå och konstruktionsnivå. För ett ögonblick är formella metoder inte välkomna på grund av mycket användning av matematik i formella språk. Därför krävs det en koppling mellan UML och formella metoder för att komma till rätta med ovanstående brister. I detta dokument utvecklas ett nytt tillvägagångssätt genom att integrera UML- och Z-specifikation med fokus på tillståndsdiagram över både syntax och semantik. Man tror att denna nya strategi kommer att vara effektiv och användbar både på akademisk och industriell nivå. De resulterande formella modellerna för metoden analyseras och valideras med hjälp av Z/Eves-verktyget.
Ett tillvägagångssätt utvecklas genom att integrera UML och Z med fokus på protokoll av tillståndsdiagram i REF.
State Based Static and Dynamic Formal Analysis of UML State Diagrams
{'venue': None, 'journal': 'Journal of Software Engineering and Applications', 'mag_field_of_study': ['Computer Science']}