ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2012
174
•
решать задачи оптимизации, определения функциональной пра-
вильности, проверки на синтаксическую и семантическую коррект-
ность, автоматической коррекции спроектированного процесса ИМИ
на основе проверки эквивалентности с любым эталонным процессом;
•
осуществлять автоматическую проверку свойств ИМИ;
•
автоматизировать практически все этапы формального проек-
тирования ИМИ;
•
разрабатывать интеллектуальное программное обеспечение, в
частности интеллектуальные мультимодальные интерфейсы.
СПИСОК ЛИТЕРАТУРЫ
1.
Д е в я т к о в В. В., А л ф и м ц е в А. Н. Нечеткая конечно-автоматная мо-
дель интеллектуального мультимодального интерфейса // Проблемы управ-
ления. – 2011. – № 2. – С. 69–77.
2.
FIPA official web site [Электронный ресурс]. URL:
http://www.fipa.org
/ (дата
обращения: 31.05.2012).
3.
A r i a s C. I. S., D a l t r i n i B. M. A Multi-Agent Environment for User Interface
Design // Proc. of the 22nd EUROMICRO Conference. – 1999. – Р. 242.
4.
D e L o a c h S. A. Multiagent Systems Engineering. A Methodology and Lan-
guage for Designing Agent Systems// In Proc. of Agent Oriented Information
Systems. – 1999. – Р. 45–57.
5.
W o o l d r i d g e M. J., J e n n i n g s N. R. and K i n n y D. The Gaia methodolo-
gy for agent-oriented analysis and design // Autonomous Agents and Multi-Agent
Systems. September 2000. – Nо. 3(3). – P. 285–312.
6.
D e p k e R., H e c k e l R. FormaliZing the Development of Agent-Based Sys-
tems Using Graph Processes // In Proc. of the ICALP’2000 Satellite Workshops,
Workshop on Graph Transformation and Visual Modelling TechniQues
(
GTVMT’00). – 2000. – P. 419–426.
7.
A r i d o r Y., L a n g e D. B. Agent Design Patterns: Elements of Agent Applica-
tion Design // In Proc. of the second international conference on Autonomous
agents, 1997. – P. 108–115.
8.
B r a Z i e r , F. M. T., J o n k e r , C. M., T r e u r , J.: Principles of Component-
Based Design of Intelligent Agents. Data and Knowledge Engineering 41, 2002. –
Р. 1–27.
9.
А л ф и м ц е в А. Н., Д е в я т к о в В. В. Интеллектуальные мультимодаль-
ные интерфейсы. – Калуга: ООО «Полиграф-Информ», 2011. – 328 с.
10.
Б у ч Г., Я к о б с о н А., Р а м б о Дж. UML. Классика CS.: Пер. с англ.; под
общей редакцией проф. С. Орлова. – СПб.: Питер, 2000. – 736 с.
11.
Г р и ф М. Г. Автоматизация проектирования процессов функционирова-
ния человеко-машинных систем по вероятностным и нечетким показателям:
Дис. ... д-ра техн. наук. Новосибирск, 2002.
12.
Г р и б о в а В. В. Автоматизация проектирования, реализации и сопровож-
дения пользовательского интерфейса на основе онтологического подхода:
дис. ... д-ра техн. наук. Владивосток, 2007.
13.
И в а н о в а Г. С. Методология и средства разработки алгоритмов решения
задач анализа и синтеза структур программного обеспечения и устройств
вычислительной техники: автореферат дис. ... д-ра техн. наук. Москва, 2007.
14.
И л ю ш к о В., К а л м ы к о в А. Формализация бизнес-процессов на основе
аппаратов РСА и π-исчисления // Компьютерные системы и информацион-
ные технологии. – 2011. – С. 144–152.