Обзор графической GSN нотации

GSN или нотация структурирования целей - это графическая аргументативная система обозначений, разработанная в Йоркском Университете [38, 39]. Нотация структурирования целей подробно представляет отдельные элементы любого аргумента безопасности (требования, утверждения, доказательства и контекст) и (возможно, более существенно) отношения, существующие между этими элементами. Аргументы, задокументированные с помощью GSN нотации, могут помочь предоставить гарантию для критических свойств систем, услуг и организаций.

Цель GSN - документально обосновать, как цели (выводы аргумента) обосновываются подцелями (предпосылками аргумента). Затем можно показать, как эти подцели обоснованы последующими вспомогательными целями.

Когда существуют доказательства для обоснования достоверности заявленной цели, это может быть документировано путем предоставления решения в GSN.

Документируя, как цели обоснованы подцелями, может быть полезным документировать этап обоснования - т.е. природу аргумента, который соединяет цель с ее подцелями. Это делается в GSN путем документирования связующей аргументативной стратегии.

Документируя цель, может быть также важным захватить контекст, в котором данное утверждение должно быть интерпретировано. Это делается в GSN путем документирования контекста.

Цели, стратегии, решения и контекст являются основными элементами GSN. Когда элементы GSN соединяются вместе, они формируют собой так называемую «целеориентированную структуру». Целеориентированные структуры документируют цепь рассуждений по аргументу (через видимое разделение заявленных целей и описание аргументативных стратегий), как этот аргумент обоснован доказательством (через решения), и четко захватывают контекст, в котором выдвигаются заявленные цели аргумента [38].