Need: поделитесь опытом по моделированию дискретных детерменированных систем

[Sinix]

Ребят, если у кого-то есть опыт, связанный с моделированием сложных структур и описанием поведения сложных детерминированных систем, отпишитесь, пожалуйста. Отдельное спасибо - за ссылки на тематические форумы и т.п.

Очень интересуют работы по моделированию детерминированных дискретных динамических систем со сложной структурой – с учётом большого числа параллельно протекающих разнородных процессов.

Объясняю ситуацию.
Специальность - 05.13.01 Системный анализ, управление и обработка информации.
Направление исследования – применимость моделей предметной области в проектировании и разработке ИС.
Практическая часть закончена, получены результаты – примерное описание процессов разработки на основе моделей предметной области и сама ИС, разработанная по этому процессу (побочный эффект, так сказать… но внедряем .

Как выяснилось, модели предметной области самым милым образом расписываются в терминах реляционной алгебры, и даже с некоторым трудом, но переводятся в реализацию модели на SQL (до программного транслятора не доросли, хотя неплохая тема для, скажем, магистерской).
Сейчас у меня затык с анализом полученной модели. Её можно представить как набор сущностей с различными атрибутами, связями между ними, ограничениями. Построенная таким образом модель не описывает ПОВЕДЕНИЕ информационной системы, ту часть, что отвечает за взаимодействие с внешней средой – это уже следующий уровень моделирования информационной системы.

Затык состоит в поисках подхода, позволяющего объединить описание структуры системы и описание поведения системы. Само поведение можно описать в виде дискретного конечного автомата, графа либо алгоритмической модели, но все представления получаются неприменимыми на практике из-за большого числа неоднородных узлов, входов и выходов системы.

Пока получен промежуточный вывод: моделирование сложных процессов при помощи формальных методик по трудоёмкости как минимум сопоставимо с созданием аналогичной программной модели на высокоуровневом ЯП. В принципе возможно моделирование процессов обработки отдельных наборов сущностей, но при росте числа моделируемых сущностей сложность модели нелинейно возрастает из-за необходимости учитывать взаимосвязи между сущностями.

Заранее спасибо)

[saovu]

Сообщение от Sinix

Отдельное спасибо - за ссылки на тематические форумы и т.п.

http://gpss.ru/

[Carro]

а каков функционал практической части ?

Добавлено через 4 минуты 38 секунд
я описываю поведение системы аксимомами и утверждениями (доказанными аксиомами). т.е. фактически правилами. и то далеко не все поведение. а отдельные вопросы (управление, безопасность, и т.п.). Кстати, Билл Гейтс объявил, что оин начинают массированное наступление на декларативные языки, когда поведение можно будет описывать мета описаниями. Ближайшие 5-8 лет собираются посвятить этому вопросу.

[Sinix]

Сообщение от saovu

http://gpss.ru/

обещал - говорю: спасибо))))
Смотрели, щупали.Жпсс мегаштука, но не совсем нам подходит из-за того, что основной упор в работе - на анализ структуры систем. Было бы что-то простенькое, для чего можно прикрутить матанализ - было бы щастье...

Сообщение от Carro

а каков функционал практической части ?

А, там маленькая платформа для самописных ИС, с заточкой под автоматизацию близкосвязанных областей и интеграцию со сторонними ИС. Реализация - MS SQL Server 2008 | MS.NET Framework 3.5 SP1 (мигрируем потихоньку )

Из того, что есть в самой платформе - стандарт - контроль доступа, развёртывание, автообновление, журнал событий, куча компонентов для клиента ну и по мелочи - навскидку не вспомнить.

Самое ценное - это сами методы моделирования предметной области и перевода в рабочую БД. Ну инфраструкта, потому как требуется часто добавлять разный функционал и обновлять код на сервере/клиентах. Предмет гордости - переезд на новый сервер. С момента получения диска с SQL Server 2008 до завершения перевода (с использованием большей части фич 2008-го сиквела) - двое суток.

Любобытство удовлетворено?

Сообщение от Carro

я описываю поведение системы аксимомами и утверждениями (доказанными аксиомами). т.е. фактически правилами. и то далеко не все поведение. а отдельные вопросы (управление, безопасность, и т.п.).

Таак... вот это уже интересно - очень удачно: можно свести с логикой предикатов и прикрутить к модели в реляционной алгебре. Если не тяжело, отпишитесь поподробнее. Заранее спасибо!

Сообщение от Carro

Кстати, Билл Гейтс объявил, что они начинают массированное наступление на декларативные языки, когда поведение можно будет описывать мета описаниями. Ближайшие 5-8 лет собираются посвятить этому вопросу.

Насчёт БГ и декларативных языков - в курсе, интересуюсь. Оно будет частью .NET framework (какого по счёту - неизвестно). Пока ничего конкретного не обещают, кроме того, что всё будет мегакруто и в XML. С интересом понаблюдаю. ИМХО, баловство это - для описания структур данных и примитивного поведения декларативного описания ещё хватит, для всего остального - welcome to the real world

[Carro]

http://agora.guru.ru/abrau2008/pdf/030.pdf
тут в кратком виде.
а по прикрутке к реляционной алгебре .. я не стала этого делать. По многим причинам - это отдельная тема - мапирование. Мапирование занимаются многие, в том числе вендоры типа Оракла. Результаты мапирования в настоящее время не слишком хороши. вы правы - добро пожаловатьв реальный мир.

[Sinix]

Сообщение от Carro

http://agora.guru.ru/abrau2008/pdf/030.pdf
тут в кратком виде.

Ага... темы у нас слегка не совпадают

Заранее извиняюсь за нескромный вопрос. Идеи, что описаны в статье можно реализовать через MS Active Directory (или что-то LDAP-подобное), на основе 1С (чурменячурменячурменя ) или в виде чего-то самописного. Как это выглядит у вас?

Сообщение от Carro

я описываю поведение системы аксимомами и утверждениями (доказанными аксиомами). т.е. фактически правилами. и то далеко не все поведение. а отдельные вопросы (управление, безопасность, и т.п.).

Насколько я понял, направление вашей работы - это КИС ВУЗов, рассматриваются в основном организационные вопросы и вопросы адаптации существующих систем. Если ошибаюсь - поправьте.
Составляли ли вы какую-нибудь формальную модель на основе аксиом/утверждений, проводился ли анализ?

Сообщение от Carro

а по прикрутке к реляционной алгебре .. я не стала этого делать. По многим причинам - это отдельная тема - мапирование. Мапирование занимаются многие, в том числе вендоры типа Оракла. Результаты мапирования в настоящее время не слишком хороши. вы правы - добро пожаловатьв реальный мир.

Ну, ОРМ (ака маппинг) и моделирование в терминах РА - это чуть разные области. Насчёт ОРМ - целиком и полностью согласен. А вот перевод моделей из РА в SQL (сорри за блондинистость - не хочу перегружать терминологией) - вполне осуществимая штука.

[Carro]

Сообщение от Sinix

Заранее извиняюсь за нескромный вопрос. Идеи, что описаны в статье можно реализовать через MS Active Directory (или что-то LDAP-подобное), на основе 1С (чурменячурменячурменя ) или в виде чего-то самописного. Как это выглядит у вас?

Реализовано что? Если вопрос только об управлении пользователями, то
AD есть, но реализовано не через него. Наоборот это AD управляется точно также как любой другой проект - сверху через систему управления правами. 1С у нас нет, и надеюсь не будет.
Данные о пользователях берутся из корпоративных данных, в том числе системы управления персоналом, конитнгентом студентов, общежитие, выпускники, школьные проект и т.п. и т.д.

Но управления правами это 10%.

Сообщение от Sinix

Насколько я понял, направление вашей работы - это КИС ВУЗов, рассматриваются в основном организационные вопросы и вопросы адаптации существующих систем. Если ошибаюсь - поправьте.

Вопросы рассматриваются только технические, ни одного организационного.
Речь идет не об адаптации существующих систем (хотя есть такой параграф в одной главе). А речь идет о разработке таких систем, которые либо имеют простые механизмы адаптировать себя силами специалистов пердметников (без программирования), либо которые могут САМИ адаптироваться к изменениями. Ну на худой конец, которые позволяют программистам БЫСТРО малыми силами адаптировать программу к требованиями реального мира. Но важны именно первые два пункта.

Сообщение от Sinix

Составляли ли вы какую-нибудь формальную модель на основе аксиом/утверждений, проводился ли анализ?

Поясните, что вы понимаете тут под формальной моделью?

[saovu]

Сообщение от Sinix

Идеи, ... можно реализовать ... на основе 1С (чурменячурменячурменя )

Можно узнать причины такого мнения об 1С.
По какой версии судите, опять же ? Уж не по семерке ли ?

P.S. Не в защиту 1С, а для понимания корней такого отрицательного мнения.

[Carro]

Сообщение от saovu

Можно узнать причины такого мнения об 1С.
По какой версии судите, опять же ? Уж не по семерке ли ?

P.S. Не в защиту 1С, а для понимания корней такого отрицательного мнения.

1. 1С (и 8) плохо масштабируемое решение (и использование сбоку MS SQL не спасает). Работать одновременно 200 пользователям на среднем сервере невозможно.
2. 1С плохо интегрируемое решение. Т.е. обеспечение интеграции (в том числе и 8) - это пока не конек 1С.
3. Кроме бухгалтерии там по сути ничего нет. Управление персонала - бедное. Построение управленческого учета на ней не выполняются. Люди что-то там делают на Инталеве, но управленческий учет это намного шире.
4. Изменение настроек приводит к большим проблемам, когад меняюстя версии - а версии меняются .. а перенастраивать в таких конторах как вуз - надо и много. Вузы, которые используют 1С будут еще долго сидеть на тех версиях, что сидят, перейти им на ту же 8 будет очнеь нелегко.
5. у нас 1500 пользователей -сотрудников и 20 тыс. пользователей студентов, все они чего-то хотят и от финансовой системы тоже (студенты - платежи проверить, например, остатки, авансы и т.п.) ну какой 1С это потянет, тем более, что управленеи правами идет исключительно через нашу систему и коенчно только веб-интерфейс. Сотрудники создают табель, определяют матю. ценности по помещениям и т.п. и т.д. (там до черта процессов) - это сколько нужно лицензий?

[saovu]

Carro, у вас информация устаревшая года на два, минимум.
Масштабируемость кардинально изменилась с переходом от 8.0 к 8.1.
Сейчас у 1С:Предприятия уже есть лицензии на 500 пользователей. Вроде имеются реальные внедрения где пользователей более 1500.
Кроме бухгалтерии - букет отраслевых решений - от мелочи типа "1C:Салон красоты" до монстров типа "1С:Машиностроения".
(а посередине - конфигурации типа "1C:Ликеро-водочный завод" )

P.S. Не примите за рекламу