Web-SynDic Presenters: Mikhail A. Kryshen (junior student) Dmitry G. Korzun (senior lecturer, PhD) Organization: Petrozavodsk State University. Dept. of Computer Science Advisor: Yury A. Bogoyavlenskiy (head of Dept., PhD) Докладчики: Михаил Александрович Крышень (студент III к.) Дмитрий Жоржевич Корзун (ст. преп., к.ф.-м.н.) Организация: Петрозаводский гос. университет, каф. Информатики и математического обеспечения Научный руководитель: Юрий Анатольевич Богоявленский (зав. каф., доцент, к.т.н.)
Software to develop WEB SYSTEM FOR DEMONSTRATING AND TESTING SYNTACTIC ALGORITHMS FOR SOLVING LINEAR DIOPHANTINE EQUATIONS IN NONNEGATIVE INTEGERS WEB СИСТЕМА ДЕМОНСТРАЦИИ И ТЕСТИРОВАНИЯ СИНТАКСИЧЕСКИХ АЛГОРИТМОВ РЕШЕНИЯ НЕОТРИЦАТЕЛЬНЫХ ЛИНЕЙНЫХ ДИОФАНТОВЫХ УРАВНЕНИЙ ПО для разработки
Application Domain Research: Demonstration of the novel syntactic algorithms Education: Sample student team SE project Software Engineering: Technology of distributed testing the syntactic algorithms Научные исследования: Демонстрация оригинальных синтаксических алгоритмов Образование: Пробный студенческий групповой программный проект Технология производства ПО: Технология распределенного тестирования синтаксических алгоритмов Область применения
Objectives Novel algorithms Scientific Internet service Web-based User Interface International SE standards Team project Training for distributed software development (Helsinki University) Cross-platform and portability technologies Оригинальные алгоритмы Научный сервис в Интернет Web интерфейс Стандарты ТППО Коллективная работа Подготовка к распределенной разработке ПО (Хельсинкский ун-т) Кросс-платформенные и переносимые технологии Задачи
Concept Real-problem SE project Web-based application Thin web client Usability Demonstration of algorithms efficiency and comparison No direct access to algorithms Проект по разработке реального ПО Web-приложение Тонкий web-клиент Удобство использования Демонстрация эффективности и сравнение алгоритмов Нет непосредственного доступа к алгоритмам Концепция
Problem domain Предмет. область Sample ANLDE system: x1 + x2 = 2*x1 + 3*x3 x3 + x4 = x1 + 2*x2 + x3 Hilbert basis: h1 = (1,1,0,3); h2 = (0,3,1,6) General solution: x = a*h1 + b*h2 Solution problem: Find a particular solution Search Hilbert basis Complexity NP-complete, overNP Polynomial algorithms Пример системы АНЛДУ: x1 + x2 = 2*x1 + 3*x3 x3 + x4 = x1 + 2*x2 + x3 Базис Гильберта: h1 = (1,1,0,3); h2 = (0,3,1,6) Общее решение: x = a*h1 + b*h2 Задача решения: Поиск частного решения Нахождение базиса Гильберта Сложность NP-полная, overNP Полиномиальные алгоритмы
Architecture and Information flows Архитектура и потоки информации
Algorithms Алгоритмы Solvers: Syntactic (D.Korzun) Slopes (M.Filgueiras, A.-P.Tomás) Lp_solve (Berkelaar): ILP, simplex & branch- and-bound methods Generators: Gauss-based (K.Kulakov) Gordano (K.Kulakov) Решатели: Синтаксический (Корзун) Slopes (М.Филгуеирас, А.-П.Томас) Lp_solve (Беркелаар): ЦЛП, симплекс метод, метод ветвей и границ Генераторы: Гаусс-вариант (К.Кулаков) Жордано-вариант (К.Кулаков)
Project schedule Расписание проекта
The Team Команда Customer: Yury A. Bogoyavlenskiy Management: Dmitry G. Korzun Developers: Kirill A. Kulakov Mikhail A. Kryshen Andrey Y. Salo Andrey A. Ananin Заказчик: Ю.А. Богоявленский Менеджмент: Д.Ж. Корзун Разработчики: К.А. Кулаков М.А. Крышень А.Ю. Сало А.А. Ананьин
Tools Инструменты Portability: Java the web system ANSI C & POSIX the external algorithms (solvers and generators) Modeling: UML Team work: CVS repository Project web site Переносимость: Java web-система ANSI C, C++ и стандарт POSIX внешние алгоритмы (решатели и генераторы) Моделирование: UML Командная работа: CVS репозиторий Web-сайт проекта
Size of artifacts Размер артефактов
Testing Тестирование Unit testing Integration testing Validation testing System testing –Alpha testing –Beta testing Тестирование блоков Интеграционное тестирование Проверка требований Системные тесты –Альфа-тестирование –Бета-тестирование
Features Возможности Solve / generate an ANLDE system or a set of them Efficiency estimate: time and space Compare solvers Backward relation with users User registration and login Work on session basis Решение / генерация одиночной системы АНЛДУ или множества Оценка эффективности: время и память Сравнение решателей Обратная связь с пользователями Система регистрации и входа пользователей Работа на уровне сессий
Microsoft Cross-platform application (required): Windows and UNIX Standard Internet browser for a client, e.g. MS IE 6.0 (required) Portability to MS.NET technology: possible with a CASE tool Java => J# Кросс-платформенное приложение (требовалось): Windows и UNIX Стандартный обозреватель Интернет для клиента, напр. MS IE 6.0 (требовалось) Переносимость под MS.NET технологию: возможно с помощью инструментального средства Java => J#
Conclusion Заключение Composition of Mathematical and Software Engineering problems in the Project Application type: scientific Internet service Educational and training aspects International SE standards Объединение в проекте математических проблем и проблем технологии производства ПО Тип разработанного приложения: научный сервис в сети Интернет Аспекты образования и подготовки специалистов Международные стандарты ТППО