WWW.DISSERS.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА

   Добро пожаловать!


Pages:     || 2 | 3 | 4 | 5 |   ...   | 22 |
Проанализированы направления и состояние исследовательских работ в области темпоральных баз данных, выполняемых в настоящее время.

Предисловие В статье С.Д. Кузнецова «Объектно-реляционные базы данных: прошедший этап или недооцененные возможности» обсуждается общее понятие В очередном выпуске «Трудов ИСП РАН», состоящем из двух томов, объектно-реляционных баз данных. Кратко анализируются основные черты и представлены статьи сотрудников Института и аспирантов, посвященные различия первых версий ОРСУБД компаний Informix, Oracle и IBM.

актуальным аспектам направления open source, разным областям применения Рассматриваются предпосылки появления ОРСУБД. Выделяются и технологии тестирования программного обеспечения на основе формальных описываются наиболее важные аспекты языка SQL, имеющие отношение к спецификаций, методам композиции и декомпозиции исполняемых UMLорганизации объектно-реляционных баз данных и управлению ими.

моделей, интеграции методов интеллектуального анализа данных, вывода на Анализируется, как реально используются ОРСУБД в настоящее время, и что основе прецедентов и адаптивного управления, системам классификации, препятствует их более широкому использованию.

технологиям темпоральных и объектно-реляционных баз данных, технологии оптимистической репликации, опыту разработки операционной системы В статье В.А. Семенова, С.Г. Ерошкина и др. «Семантическая реконсиляция реального времени для цифрового сигнального процессора. прикладных данных на основе моделей» рассматривается модельноориентированный подход к семантической реконсиляции данных, Во втором томе представлены семь статей. В статье Е.Д. Волковой и А.Д.

описываемых на языках объектно-ориентированного моделирования Страбыкина «Методы композиции и декомпозиции исполняемых UML EXPRESS, UML/OCL, ODL/OQL. На основе статического анализа моделей» рассматриваются способы трансформации исполняемых UMLформальных спецификаций прикладной модели выявляются отношения моделей, которые основаны на композиции или декомпозиции отдельных зависимости и отношения порядка между операциями в конкурентных частей модели и позволяют облегчить понимание модели и упростить работу с транзакциях и применяется аппарат логического вывода для выработки ней; предлагаются и обсуждаются новые виды таких трансформаций, непротиворечивых (семантически корректных) и полных (обеспечивающих иллюстрируется применение преобразований к различным элементам UMLполноту результирующей транзакции) планов реконсиляции. Обсуждаются моделей.

конкурентные преимущества предложенного модельно-ориентированного В статье Л.Е. Карпов и В.Н. Юдин «Адаптивное управление по прецедентам, подхода, а также особенности его алгоритмической и программной основанное на классификации состояний управляемых объектов» реализации.

предлагается подход к интеграции методов интеллектуального анализа Завершается второй том статьей В.В. Рубанова и К.А. Власова «Разработка ОС данных, вывода на основе прецедентов и адаптивного управления в единой реального времени для цифрового сигнального процессора», в которой самообучающейся системе, позволяющей управлять объектами с плохо описывается конкретная реализация ОСРВ MicroDSP-RTOS, разработанная в формализуемым поведением.

ИСП РАН. Рассматриваются архитектура ОС и предоставляемые ей функции.

В статье Г.Т. Маракаевой «Система классификации химических проб» Обсуждаются доработки в инструментарии кросс-разработки MetaDSP для описывается система классификации, разработанная и реализованная для обеспечения эффективной разработки и отладки многозадачных приложений классификации химических проб. Задача системы классификации состоит в под платформу MicroDSP-RTOS.

определении класса пробы по заданным значениям атрибутов с использованием ранее накопленных экспериментальных знаний и знаний эксперта. Для классификации химических проб использовался алгоритм на Член-корреспондент РАН В.П. Иванников основе разделяющих функций.

Целью статьи Б.Б. Костенко и С.Д. Кузнецова «История и актуальные проблемы темпоральных баз данных» является обеспечение знакомства с темпоральными базами данных, текущим состоянием разработок, а также актуальными задачами и дальнейшими путями развития данного направления.

Кратко представлена история области исследований темпоральных баз данных и перечислены наиболее значимые поворотные моменты. Изложены основные понятия и термины, идеи и подходы, применяемые в рассматриваемой области. Представлены наиболее важные расширения, дополнения и ответвления в области исследований темпоральных баз данных.

5 ориентированной разработки (MDD — Model Drive Development), отводящих моделям главную роль в процессе создания и поддержки системы.

В рамках таких подходов собственно разработка сводится к последовательному уточнению модели системы, начинающемуся с абстрактной модели и, заканчивающемуся готовой программной системой. Таким образом, Методы композиции и декомпозиции при использовании MDD сложность создаваемых моделей будет напрямую исполняемых UML моделей отражать сложность системы, а работа с моделью может создавать такие же трудности, как те, которые возникают при чтении и понимании большого количества исходного кода на традиционных языках программирования.

Е. Д. Волкова, А. Д. Страбыкин Перечисленные выше факторы обуславливают потребность в методах, позволяющих упрощать восприятие сложных моделей и облегчать работу с Аннотация. В статье1 рассматриваются способы трансформации исполняемых UMLними. В то же время применение таких методов не должно затрагивать моделей, которые основаны на композиции или декомпозиции отдельных частей важных для пользователей и разработчиков модели свойств системы, модели и позволяют облегчить понимание модели и упростить работу с ней;



например поведенческих, которые в UML задаются при помощи диаграмм предлагаются и обсуждаются новые виды таких трансформаций, иллюстрируется конечных автоматов (statemachine diagrams), диаграмм последовательностей применение преобразований к различным элементам UML-моделей.

(sequence diagrams) и диаграмм деятельности (activity diagrams). Данное свойство сближает такие методы трансформации моделей с известными 1. Введение приемами рефакторинга объектно-ориентированного программного обеспечения. Однако графическая природа языка UML накладывает свою Известны три интеллектуальные возможности человека, используемые при отпечаток на возникающие проблемы и методы их решения. Кроме того, язык разработке программных средств: способность к перебору, способность к UML продолжает развиваться, и последняя на сегодняшний день версия абстракции и способность к математической индукции. Однако способность стандарта UML 2.0 включает в себя множество новых элементов, многие из человека к перебору, необходимая при создании и модификации сложных которых могут быть использованы для упрощения восприятия моделей.

систем, в том числе и программных комплексов, весьма ограничена — в среднем человек может уверенно, не сбиваясь, перебирать в пределах элементов. Средством преодоления этой ограниченности является 2. Конечные автоматы UML способность человека к абстракции, благодаря которой человек может Конечные автоматы UML могут описывать поведение следующих элементов объединять разные предметы или экземпляры в одно понятие, заменять исполняемых моделей: активный класс (active class), операция (operation), множество элементов одним элементом другого рода, упрощая, тем самым, составное состояние (composite state). В [19] было проведено количественное восприятие. Абстракция лежит в основе моделирования, которое в последнее исследование моделей, используемых в реальных коммерческих проектах.

время получило широчайшее распространение и активно используется в Была составлена представительная выборка таких моделей, анализ которой процессе создания программных систем.

показал, что, несмотря на наличие достаточно легко понимаемой структуры у Наиболее популярным языком моделирования в области разработки почти 90% исследованных элементов модели (диаграмм, автоматов), программного обеспечения на данный момент является графический язык оставшиеся 10% элементов, как правило, весьма сложны и, более того, UML (Unified Modeling Languag — унифицированный язык моделировании) именно они специфицируют основную логику работы системы. Таким — язык, предназначенный для визуализации, специфицирования, образом, любые попытки понять и проанализировать поведенческие стороны конструирования и документирования программных систем. Выразительных сложной системы будут наталкиваться на необходимость изучения сложных средств этого языка в совокупности с мощными механизмами расширения конечных автоматов, описанных посредством громоздких диаграмм достаточно для того, чтобы описать любую программную систему, со всех состояний. А так как для любой относительно нетривиальной модификации, точек зрения, актуальных на различных этапах жизненного цикла. Более того, количество которых за время жизни программной системы может исчисляться все шире становится область применения концепций модельносотнями тысяч, требуется понимание логики работы системы, возникает потребность в методах, упрощающих восприятие системы и облегчающих ее понимание.

Работа выполнена при поддержке РФФИ, проект 05-01-00998-а.

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

Под композицией в данной работе понимается такое преобразование модели, результатом которого является создание единой новой целостной сущности из нескольких имеющихся сущностей. Например, объединение в одной 3. Методы композиции и декомпозиции для конечных диаграмме элементов всех диаграмм, описывающих конкретный автомат, есть автоматов UML примитивное преобразование-композиция. Следует отметить, что такая трансВ результате проведённого исследования разработано несколько методов формация является примером графической композиции, так как затрагивает композиции (декомпозиции) конечных автоматов UML. Предложенные только элементы, описывающие графические сущности модели. Как правило, методы базируются на двух основных идеях: объединение части состояний применение композиции способствует получению целостного представления конечного автомата в структурную единицу конечного автомата — метод, и о каком-либо элементе системы; при этом должны быть приняты меры, формирование иерархической единицы конечного автомата — составного предотвращающие чрезмерное усложнение создаваемого элемента.





состояния.

Под декомпозицией следует понимать преобразование, обратное композиции, то есть такое преобразование, результатом которого является создание 3.1. Трансформация «Выделение метода» для конечных нескольких новых сущностей на основе единственной исходной сущности.

автоматов UML Для приведенного примера графической композиции обратным будет Идея трансформации «Выделение метода» состоит в создании нового метода преобразование, в результате которого элементы одной диаграммы и переносе части исходного автомата в добавленный метод. Данная распределяются между несколькими другими диаграммами.

трансформация во многом аналогична известному рефакторингу «Выделение Применяя композицию и декомпозицию, можно построить иерархическое метода» для объектно-ориентированных языков программирования, описание сложных элементов системы, облегчающее ее восприятие. При этом описанному в каталоге Фаулера [6]. Суть традиционной трансформации понимание работы системы будет происходить сверху вниз по иерархии состоит в выделении участка кода и перемещении его в другой метод. Это описания. Сначала пользователь знакомится с основными компонентами позволяет сделать код исходного метода более понятным и повышает описываемой части модели и принципами их взаимодействия, и далее по вероятность повторного использования выделенного метода.

необходимости углубляется, переходя к более детальному описанию Для корректного выполнения традиционного рефакторинга «Выделение интересующего его компонента. На практике даже для достаточно сложных метода» требуется тщательный анализ потока данных в выделяемом участке конечных автоматов редко требуется больше 4-5 уровней детализации.

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

позволяет графически отделить участки диаграммы состояний, чтобы, Для первичного рассмотрения проблемы выделения метода в автомате эту например, перенести их на другую диаграмму или расположить отдельно на проблему можно обойти следующим образом. Если используемая переменная исходной диаграмме. Кроме того, введение меток способствует повторному является атрибутом автомата или сущности, содержащей автомат, то она использованию фрагментов диаграмм, так как переход на единожды будет видна и в выделенном методе и, следовательно, ее не нужно передавать описанную метку может быть выполнен многократно из различных частей в качестве параметра. Если же используемая переменная является локальной автомата. Однако, так же, как и при написании программ на традиционных для действий, выполняемых в переходе, то при перенесении всех действий языках программирования, использование меток при спецификации автоматов перехода в выделяемый метод определение локальной переменной и все ее заметно усложняет понимание принципов работы автомата. Особенно использования будут также перенесены. Для выделения метода, в который затруднительным становится анализ отдельного перехода в автомате, 9 помещаются не все действия, выполняемые в переходе, требуется для состояния X существует возвратная часть конечного автомата, состоящая дополнительный анализ потока данных. из одного состояния Y.

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

Идея, лежащая в основе традиционного рефакторинга “Выделение метода”, может быть применена к конечным автоматам несколькими способами.

Для конечных автоматов UML можно применить традиционную трансформацию «выделение метода», которая состоит из выделения в метод подпоследовательности действий одного из переходов конечного автомата.

В рамках описываемого исследования был разработан новый вариант трансформации «выделение метода», специфичный только для конечных автоматов UML, — «выделение в метод части конечного автомата», который подразумевает перенос в выделяемый метод не только действий, связанных с переходом, но и самих переходов и состояний.

3.2. Выделение в метод возвратной части конечного автомата Рис. 1. Часть автомата, допускающая выделение метода Назовём возвратной частью конечного автомата для состояния X группу состояний конечного автомата, в которую есть только один вход из некоторого состояния X, и все переходы, выходящие за пределы группы, попадают обратно в X. Между состояниями, входящими в группу, возможны любые переходы, но существует ровно одно состояние, из которого выполняется переход в группу, и куда попадают все переходы, ведущие за пределы выбранной группы состояний.

Согласно исследованию, проведённому в [19], многие конечные автоматы, используемые в промышленных системах, содержат в себе несколько возвратных частей для различных состояний. Многие из них состоят из 1–состояний, однако в каждом третьем конечном автомате с большим количеством состояний встречаются возвратные части из 4 и более состояний.

Pages:     || 2 | 3 | 4 | 5 |   ...   | 22 |










© 2011 www.dissers.ru - «Бесплатная электронная библиотека»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.