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

[Carro]

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

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

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

лицензий может быть хоть 1000, но от этого система не перестанет не справлятся и со 100. "Вроде есть реальные внедрения на 1500" - это не более чем слова. Я бываю на форуме sql.ru (по моим представлениям - лучший российский форум разработчиков по различным направлениям) и отслеживаю информаццию. Пока никто не привел примера внедрения более 100 пользователей. Хотя некоторые тоже в начале говорили про "а вот я слышал" .. но там народ из разных мест - быстро корректирует информацию.
Тем более проблем -то занчительно больше, чем число пользователей )

[saovu]

У меня есть другие данные, но о конкретике "я не был уполномочен делать заявления для прессы".
В принципе, ответ ясен - это не Ваш личный опыт.
По поводу данных на которые Вы ссылаетесь (форум sql.ru) - опять же на какой версии платформы ? (и другие вопросы есть) То есть мало данных чтоб предметно обсуждать.

[Carro]

упаси нас от собственного опыта с 1С ) . да и к теме форума и вообще к диссертациям 1С не имеет отношения.
Версии обсуждаюстя разные и 8.1 тоже. Но мне это вопрос совершенно неинтересен, просматриваю, так как положено быть в курсе, не более того. у нас задачи намного обширнее , масштабнее и интереснее )

[saovu]

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

да и к теме форума и вообще к диссертациям 1С не имеет отношения

Ну почему ? Это ж инструмент.
Описать онтологию предметной области там можно. А уж для каких целей ...

Чтоб окончательно выговориться об 1С, замечу следующее. Хотя там недостатков еще много, не спорю. Но зачастую разработчики (или "доработчики") конфигураций 1С:Предприятия грубо нарушают методические рекомнедации 1С по разработке. Но в получившемся безобразии, опять будет виновата 1С. Слишком низок порог вхождения на рынок разработчиков 1С, что ИМХО комплимент для 1С, но порождает сопутствующие проблемы.
Например. Фирмочки, в целях экономии, привлекают для доработки конфигураций кого попало, те правят типовую конфигурацию, работа сделана дешево и сердито; меняется законодательство (а оно все время меняется), выходит соответствующая новая версия типовой конфигурации, новую конфигурацию радостно устанавливают, а потом удивляются - куда пропали все доработки васей пупкиных. Виновата конечно злобная 1С (выпустившая обновление в соответствии с новым законодательством), а не "экономная" фирмочка, обратившаяся к кому попало.

[Sinix]

Эть... так и знал, не надо было ничего про 1с писать

В принципе всё уже расписано. Из того, что раздражает меня - крайне низкий уровень кода, непродуманная архитектура и контингент товарищей - 1с-ников.

В принципе, 1с - бесподобная платформа для зашибания денег на поддержке. С нетерпением жду появления "1С: Откаты".

2Carro:
Извиняюсь - некорректно делать выводы на основе одной обзорной статьи.
Насчёт разработки легкоадаптирующихся систем - крайне интересно - дошло ли до практической реализации и каковы результаты. Из опыта - проще держать пару мальчиков-программистов, чем учить предметников основам программирования.

Про формальную модель - во что превращались ваши аксиомы - в текстовое описание/диаграммы/логические формулы/программный код/ что-то ещё?

[saovu]

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

Из того, что раздражает меня - ... контингент товарищей - 1с-ников.

Кто ж с этим спорит.

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

В принципе всё уже расписано. Из того, что раздражает меня - крайне низкий уровень кода, непродуманная архитектура

Частично, так.

И хватит об 1С, действительно.
А то приходится выступать в роли 1С:Адвоката.

[Carro]

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

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

Про формальную модель - во что превращались ваши аксиомы - в текстовое описание/диаграммы/логические формулы/программный код/ что-то ещё?

1. на самом деле, когда предметники заинтересованы, то они очнеь даже справляются со многими ситуациями сами. наши заинтересованы - они уже как на игле ) поэтому многие изменения сами отрабатывают в системах меняют процессы, меняют правила, добавляют новые понятия, меняют атрибуты (в основном в сторону увеличения ). и идея вся эта родилась не на пустом месте. у нас 10 программистов и был период, когда все они занимались сопровождением, потому что было слишком много изменений и очень много систем. Пока мы не стали вводить новые методы и не стали сбрасывать на пользователей многие задачи. сейчас большинство у нас занимается разработкой и только часть времени тратит на сопровождение.
2. вопрос про модель интересный и ответ не очевидный . Описание понятий, их атрибутов, отношений между и ограничений выполняется в нашей собственной системе - системе управления понятиями. она поддерживает как создание понятий (тут данные хранятся по модели EAV), так и внешнеи понятия, когда они имеют отношения проекции с таблицами (представлениями) из разных систем. соотвественно пользователи наши - рабоатют в этйо системе плодовторно. есть система управления правами, которая реализует логику аксиом управления правами (например, роль А анследуется от рли В, значит пользователь, имеющий роль А, должен иметь и роль В). Но то, что именно так надо воспринимать транзитивность отношений наследования между ролями - прописано в КОДЕ. Т.е. если где -то еще прописана транзитивность , то та же система сгенерирует новые экземпляры отношений (например, отношения связанности между узлами являются тарннзитивными). Но то, что именно так нужно среагировать на транзитивность отношений, это только в коде. не в декларативном описании. Есть еще системы упарвления бизенес-процессами, гед пользователи меняют процессы и условия движения работы. Есть еще документооборот, сделанный на этом же - где управляют пользователи, есть хранилище полнотектсовой информации =- там те же правила, есть еще множество других систем. (в тмо числе и биллинг , сделанный на правилах и админ сетевой выстьупает в качестве предметника). Но интепретация правил в коде программы, кое где удалось обобщить, но в некоторых случаях код жесткоп ривязан к определенным отношениям.
3. думаю , инпретация действия - это очень интересная тема, но пока реализации ее получить сложно, поэтому мы ограничиваемся тем, что выше описала.

[Sinix]

Огромное спасибо за полный ответ. Приятно поразил объём реализованного. Если не секрет, расскажите что использовалось для реализации (не холивара ради - причины можно и не расписывать - кто их назовёт, настоящие-то ), число машин - серверов и количество постоянных пользователей.

Как пользователи видят и редактируют процессы - как диаграммы последовательностей, текст, кучу комбобоксов?

Насчёт управления правами - действительно, это самая плодотворная область для описания с помощью утверждений. В принципе, при известной ловкости рук, декларативно можно реализовать весь контроль доступа (делали, опыт есть ).

Моё вам уважение

P.S. Совместно с НР решили сосредоточиться только на моделировании и анализе структуры. Эххх. Уже столько литературы перелопатил...

[saovu]

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

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

Значит, реализована какая-то машина вывода.
Ala Пролог ?

[Carro]

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

Если не секрет, расскажите что использовалось для реализации , число машин - серверов и количество постоянных пользователей.

Как пользователи видят и редактируют процессы - как диаграммы последовательностей, текст, кучу комбобоксов?

Насчёт управления правами - действительно, это самая плодотворная область для описания с помощью утверждений. В принципе, при известной ловкости рук, декларативно можно реализовать весь контроль доступа (делали, опыт есть ).

Пишем в основном на двух Java (OAS) и C# - исторически сложилась. Но интегрируемся на уровне данных , приложений (веб-службы), пользователей - тут как раз наша система управленияч правами.
Число серверов - за 60. Постоянных пользователей - около 1,2 тыс. сотрудников - приложений много , поэтому фактически все. и около 15 тыс. студентов-пользователей - тоже фактически все (оубчающие системы, тестирование - 60% дис. с тестами, библиотека полнотекстовая, подача заявление в Общежитие, просмотры успеваемости, планов, оплат за Интернет/обучение и .т.п.).

Редактирование процессов сейчас на уровне кучи комбобоксов ) . Алгоритм преобрахзование описания процесса в графику описан, руки не доходят пока.

Добавлено через 1 минуту 53 секунды

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

Значит, реализована какая-то машина вывода.
Ala Пролог ?

По сути да. но не использовали Пролог.