Идеи из SBVR
Рекомендую познакомиться со стандартом SBVR (semantic business vocabulary and rules): http://www.omg.org/spec/SBVR/
Этот стандарт нам интересен следующими тремя особенностями:
-- он предполагает по меньшей мере три равноправных формы выражения (как и ISO 15926): это Common Logic, ORM, UML и Structured English. Мне важно, что там есть structured english и эквивалентные логические и классические факт-ориентированные (ORM) нотации.
-- он вводит различение словарного комьюнити и понятийного комьюнити (что для нас актуально, ибо все равно придется делать).
-- в основе этого стандарта Манифест организационных норм (http://ailev.livejournal.com/693597.html). Похоже, что Манифест организационных методов (т.е. норм деятельности) должен быть чуть ли не дословно таким же, если признать, что мы хотим кодировать методы в факт-ориентированной нотации.
В принципе, там есть и махонькая upper ontology, но она там совсем маленькая -- у нас своя большая уже есть :)
Я немного не понимал, публиковать этот пост в dot15926 (ибо он в том числе про нотации для ISO 15926), или тут, в PraxOS. Потом подумал, что Манифест организационных норм -- это по части PraxOS. И запостил сюда: все эти нотации нам нужны, чтобы люди в них разбирались. Комьюнити business rules очень озабочено тем, чтобы эксперты не-логики разбирались в их эзотерических письменах. Вот и нужно использовать их идеи.
Гнездо у этих рульщиков тут: http://www.brcommunity.com/
Этот стандарт нам интересен следующими тремя особенностями:
-- он предполагает по меньшей мере три равноправных формы выражения (как и ISO 15926): это Common Logic, ORM, UML и Structured English. Мне важно, что там есть structured english и эквивалентные логические и классические факт-ориентированные (ORM) нотации.
-- он вводит различение словарного комьюнити и понятийного комьюнити (что для нас актуально, ибо все равно придется делать).
-- в основе этого стандарта Манифест организационных норм (http://ailev.livejournal.com/693597.html). Похоже, что Манифест организационных методов (т.е. норм деятельности) должен быть чуть ли не дословно таким же, если признать, что мы хотим кодировать методы в факт-ориентированной нотации.
В принципе, там есть и махонькая upper ontology, но она там совсем маленькая -- у нас своя большая уже есть :)
Я немного не понимал, публиковать этот пост в dot15926 (ибо он в том числе про нотации для ISO 15926), или тут, в PraxOS. Потом подумал, что Манифест организационных норм -- это по части PraxOS. И запостил сюда: все эти нотации нам нужны, чтобы люди в них разбирались. Комьюнити business rules очень озабочено тем, чтобы эксперты не-логики разбирались в их эзотерических письменах. Вот и нужно использовать их идеи.
Гнездо у этих рульщиков тут: http://www.brcommunity.com/