ramy SEQUAL
Ramy SEQUAL to model referencyjny modelowania systemów do oceny jakości modeli. Ramy SEQUAL, które oznaczają „ramę jakości semiotycznej”, są rozwijane przez Johna Krogstie i innych od lat 90.
Ramy SEQUAL to tak zwane „odgórne ramy jakości”, które opierają się na teorii semiotycznej , takiej jak prace Charlesa W. Morrisa . Opierając się na tej teorii, „definiuje kilka aspektów jakości w oparciu o relacje między modelem, zasobem wiedzy, domeną, językiem modelowania oraz czynnościami związanymi z uczeniem się, podejmowaniem działań i modelowaniem”. Jego przydatność według Mendlinga i in. (2006), została potwierdzona w eksperymencie z 2002 roku przez Moody i in.
Historia
Podstawową ideą stojącą za ramami SEQUAL jest to, że „ modele pojęciowe można traktować jako zestawy stwierdzeń w języku , a zatem można je oceniać w kategoriach semiotycznych/językowych”. Pierwsze semiotyczne ramy oceny modeli pojęciowych zostały pierwotnie zaproponowane przez Lindlanda i in. w artykule z 1994 r. „Zrozumienie jakości w modelowaniu koncepcyjnym”. W swojej pierwotnej wersji uwzględniał trzy poziomy jakości:
- syntaktyczny,
- semantyczne i
- jakość pragmatyczna
Ramy zostały później rozszerzone i nazwane ramami SEQUAL przez Krogstie i in. w artykule z 1995 r. „Definiowanie aspektów jakościowych dla modeli koncepcyjnych”. w artykule „Jakość modeli interaktywnych” z 2002 roku Krogstie i Jørgensen rozszerzyli początkowe ramy, dodając więcej poziomów drabiny semiotycznej Stampera.
SEQUAL tematów ramowych
Modelowanie jest integralną częścią wielu dziedzin techniki, w tym inżynierii , ekonomii i inżynierii oprogramowania . W tym kontekście model jest formalną reprezentacją systemu organizacyjnego, taką jak model biznesowy lub formalny opis oprogramowania w języku UML .
Aktywacja modelu
Aktywacja modelu, według Johna Krogstie (2006), to proces, w którym model wpływa na rzeczywistość . Aktywacja modelu polega na tym, że aktorzy interpretują model i do pewnego stopnia odpowiednio dostosowują swoje zachowanie. Ten proces może być:
- zautomatyzowane , gdzie komponent oprogramowania interpretuje model,
- podręcznik , w którym model kieruje działaniami aktorów ludzkich, lub
- interaktywny , w którym określone aspekty modelu są automatycznie interpretowane, a niejednoznaczne części pozostawia się użytkownikom do rozwiązania.
Zestawy w Ramach Jakości
Ramy jakości działają z zestawem ośmiu elementów:
- A: Aktorzy, którzy opracowują lub muszą odnosić się do (części) modelu. Mogą to być osoby lub narzędzia.
- L: Co można wyrazić w języku modelowania
- M: Co jest wyrażone w modelu
- D: Co można powiedzieć o domenie (obszar zainteresowań)
- K: Wyraźna wiedza uczestniczących osób
- I: Co osoby na widowni interpretują jako przekaz modelu
- T: Jakie odpowiednie narzędzia interpretują model
- G: Cele modelowania
Jakość fizyczna
Trzy główne aspekty jakości fizycznej to:
- Eksternalizacja czyli pytanie „Czy można uzewnętrznić wiedzę za pomocą języka modelowego?”,
- Możliwość internalizacji w zakresie trwałości i dostępności modelu oraz
- Zasadniczo lub pytanie „Czy język modelowy jest w stanie wyrazić domenę modelową?”
Eksternalizacja to przedstawienie koncepcji modelarza w jakiejś formie modelu, aby inni mogli ją zrozumieć. Inni ludzie mogą na to patrzeć i dyskutować. To, jak inni ludzie postrzegają model, jest kwestią internalizacji. Po postrzeganiu modelu na swój własny sposób mogą dyskutować i odpowiednio zmieniać zdanie. Aby zrozumieć innych, lepiej jest mieć wspólny język wzorcowy. Jakość fizyczna odnosi się do możliwości eksternalizacji modeli za pomocą języka modeli, który powinien być dostępny i oczywiście w sposób trwały, aby publiczność mogła je zinternalizować.
Jak dostępny jest model dla odbiorców? Dostępność zależy od możliwości dystrybucji, zwłaszcza gdy członkowie publiczności są rozproszeni geograficznie. Wtedy model, który jest formatem dystrybuowanym elektronicznie, będzie łatwiej rozpowszechniany niż ten, który musi być wydrukowany na papierze i wysłany zwykłą pocztą lub faksem. Może też mieć znaczenie, co dokładnie jest dystrybuowane, np. model w formie edytowalnej lub tylko w formacie wyjściowym.
Jak trwały jest model, jak bardzo jest chroniony przed utratą lub uszkodzeniem? Obejmuje to również poprzednie wersje modelu, jeśli są one istotne. Np. w przypadku modelu na dysku jakość fizyczna będzie wyższa, jeśli istnieje kopia zapasowa, a nawet wyższa, jeśli ta kopia zapasowa znajduje się na innym dysku, którego awaria jest niezależna od oryginałów. Podobnie w przypadku modeli na papierze istotna będzie ilość i bezpieczeństwo kopii zapasowych.
Jakość empiryczna
Aby ocenić jakość empiryczną, model powinien być dobrze uzewnętrzniony. Główne aspekty to:
- Ergonomia,
- czytelność,
- układ i
- teoria informacji.
Zasadniczo jakość empiryczna dotyczy pytania „Czy model jest łatwo czytelny?”. Jakość empiryczna dotyczy różnorodności rozróżnianych elementów, częstotliwości błędów podczas pisania lub czytania, kodowania (kształty pudełek) i ergonomii interakcji komputer-człowiek w dokumentacji i narzędziach do modelowania. Ergonomia to nauka o projektowaniu miejsca pracy oraz fizycznym i psychicznym wpływie, jaki ma ono na pracowników. Ta jakość jest związana z czytelnością i układem. Istnieją różne czynniki, które mają istotny wpływ na akcent wizualny, takie jak rozmiar, solidność, różnice pierwszego planu/tła, kolor (czerwony przyciąga wzrok bardziej niż inne kolory), zmiana (migające lub ruchome symbole przyciągają uwagę), położenie i tak dalej.
Dla estetyki grafów mogą być różne względy (Battista, 1994, Tamassia , 1988) takie jak kąty między krawędziami nie mogą być zbyt małe, minimalizacja liczby zagięć wzdłuż krawędzi, minimalizacja liczby skrzyżowań między krawędziami, umieszczanie węzłów o dużym stopniu w środku rysunku, mają symetrię synów w hierarchiach, mają jednolitą gęstość węzłów na rysunku, mają pionowość struktur hierarchicznych i tak dalej.
Jakość syntaktyczna
Jakość składniowa to zgodność między modelem M a rozszerzeniem językowym L języka, w którym model jest napisany. Oto trzy aspekty:
- Wykrywanie błędów : podczas sesji modelowania niektóre błędy składniowe --- niekompletność składni --- powinny być tymczasowo dozwolone. Na przykład, chociaż język DFD wymaga, aby wszystkie procesy były połączone z przepływem, trudno jest jednocześnie narysować proces i przepływ. Kompletność składniowa musi zostać sprawdzona na żądanie użytkownika. Tak więc, w przeciwieństwie do kontroli niejawnych, w których narzędzie zmusza użytkownika do przestrzegania składni języka, kontrola jawna może wykrywać i zgłaszać tylko istniejące błędy. Użytkownik musi wprowadzić poprawki.
- Korekta błędów : zastąpienie wykrytego błędu poprawnym stwierdzeniem
Jakość semantyczna
Co wyraża się w modelu? Celami semantycznymi tej struktury są:
- Ważność; czy wszystkie stwierdzenia w modelu są poprawne i odnoszą się do problemu. M\D = Ř
- Kompletność; czy model zawiera wszystkie odpowiednie i poprawne stwierdzenia, aby rozwiązać ten problem. D\M = Ø
Postrzegana jakość semantyczna
Postrzegana jakość semantyczna to związek między interpretacją modelu przez aktora a jego wiedzą na temat dziedziny.
- Trafność postrzegana I\K = Ø
- Postrzegana kompletność K\I = Ø
Jakość pragmatyczna
Jakość pragmatyczna to zgodność między modelem a jego interpretacją przez ludzi. Zrozumienie jest jedynym pragmatycznym celem w ramach. Bardzo ważne jest, aby osoby, które czytają model, zrozumiały go. Żadne rozwiązanie nie jest dobre, jeśli nikt go nie rozumie. Jakość pragmatyczna odnosi się do wpływu, jaki model wywiera na uczestników i świat. Cztery aspekty są traktowane w szczególności, że:
- ludzka interpretacja modelu jest poprawna w stosunku do tego, co ma na myśli.
- interpretacja narzędzia jest poprawna w stosunku do tego, co ma być wyrażone w modelu.
- uczestnicy uczą się w oparciu o model.
- domena ulega zmianie (najlepiej w pozytywnym kierunku względem celu modelowania).
Jakość społeczna
Celem jakości społecznej jest porozumienie. Zgoda co do wiedzy, interpretacji i modelu. Zgoda zostaje osiągnięta, jeśli osiągnięto postrzeganą jakość semantyczną i zrozumienie. Istnieje względna zgoda i absolutna zgoda. Dla trzech części umowy (wiedza, interpretacja i model) możemy zdefiniować:
- Umowa względna w trzech powyższych rodzajach umów; cała Wiedza, Interpretacja i Model są spójne.
- Bezwzględna zgoda w trzech powyższych rodzajach umów; cała Wiedza, Interpretacja i Model są sobie równe.
Jakość wiedzy
Stopień internalizacji istniejącej rzeczywistości organizacyjnej.
- Wiedza w dziedzinie jest „pełna”: D\K = Ø.
- Wiedza w dziedzinie jest „ważna”: K\D = Ø.
Działania do poprawy:
- Identyfikacja interesariuszy
- Identyfikacja źródła wiedzy
- Badania i śledztwo
- Wybór uczestnika
- Szkolenie uczestników
- Definicja problemu
Jakość języka
Aby uzyskać dobrą jakość języka, ważne jest, aby:
- Język jest odpowiedni dla domeny.
- Język jest odpowiedni do znajomości języków modelowania przez uczestników
- Język odpowiedni do wyrażenia wiedzy uczestników
Jeśli jakość języka jest dobra, poprawi to tłumaczenie uczestników i innych aktorów technicznych. Aby uzyskać dodatkowe informacje, zobacz jakość języków modelowania
Jakość organizacyjna
Jakość organizacyjna modelu dotyczy:
- Że wszystkie stwierdzenia w modelu przyczyniają się do spełnienia celów modelowania lub trafności celu organizacji .
- Że wszystkie cele modelowania są realizowane przez model lub kompletność celu organizacji .
Alternatywne ramy jakości
Alternatywnymi ramami jakości są Wytyczne dotyczące modelowania (GoM) oparte na ogólnych zasadach rachunkowości . Ramy „obejmują sześć zasad poprawności, jasności, przydatności, porównywalności, efektywności ekonomicznej i systematycznego projektowania”. Został zoperacjonalizowany dla łańcuchów procesów sterowanych zdarzeniami , a także przetestowany w eksperymentach
Inną alternatywną ramą jakości procesu modelowania, faktycznie opartą na SEQUAL, jest struktura „Quality of Modelling” (QoMo). QoMo jest nadal „zorientowanym na proces wstępnego modelowania, opartym na zmianach stanu wiedzy, kosztach działań powodujących takie przejścia oraz strukturze celów dla działań do modelowania. Takie cele są bezpośrednio powiązane z koncepcjami SEQUAL”.