Цена доставки диссертации от 500 рублей 
Поиск:

Каталог / ТЕХНИЧЕСКИЕ НАУКИ

Архитектура программных агентов для проверки соответствия распределенных документов

Диссертация

Автор: Смолко, Данила Станиславович

Заглавие: Архитектура программных агентов для проверки соответствия распределенных документов

Справка об оригинале: Смолко, Данила Станиславович. Архитектура программных агентов для проверки соответствия распределенных документов : диссертация ... кандидата технических наук : 05.00.00 Б.м., 2001 328 c. : 61 04-5/1685

Физическое описание: 328 стр.

Выходные данные: Б.м., 2001




Стоимость Доставки
500 руб.


Содержание:

СОДЕРЖАНИЕ
ГЛАВА] ВВЕДЕНИЕ
11 Введение
12 мотивация сценария
13 Ссылки
14 Структура работы
ГЛАВА 2 АНАЛИЗ РАБОТ, СВЯЗАННЫХ С ПРОВЕРКОЙ СООТВЕТСТВИЯ
21 Происхождение Viewpoints
22 Viewpoints - ориентированная разработка программного обеспечения (VOSE)
221 Viewpoints
222 Непротиворечивость ViewPoints
223 Возможности управления соответствием
224 Политика
23 Программные среды разработки
24 Грамматики атрибутов
25 CENTAUR- язык спецификаций
26 ПРОГРЕСС-универсальный язык спецификаций
27 GOODSTEP - язык спецификаций инструментов
28 XLINKIT- язык отношений соответствия
281 Порождение Связей
282 XLinkit и дистрибутивная поддержка
29 резюме
ГЛАВА 3 ТРЕБОВАНИЯ ДЛЯ СИСТЕМЫ РАСПРЕДЕЛЕННОЙ ПРОВЕРКИ СООТВЕТСТВИЯ
31 Пользователи
32 Спецификация междокументных связей
33 Местоположение правил соответствия и их применимость
34 Мониторинг распределенных документов и идентификация изменений
35 Синхронизация проверок
36 Инкрементальные проверки
37 Уместность правил соответствия
38 Локальный доступ к документам
39 Представление результатов проверок
310 Обновление результатов проверок
311 Регистрация и обработка событий
312 Резюме
ГЛАВА 4 ПРОГРАММНЫЕ АГЕНТЫ И ПАРАДИГМА МОБИЛЬНОГО АГЕНТА
41 что такое - программный агент?
42 Характеристики программных агентов
421 Слабое агентство
422 Сильное агентство
43 мобильность агента
44 Структура распределенной системы с мобильными агентами
441 Традиционные распределенные системы
442 Мобильные агенты
443 Использование Мобильных Агентов: "за" и "против"
45 Меж-агентная связь
451 Примитивы связи
452 Язык Связей
453 Миогоагентное сотрудничество
454 Служба местоположения для распределенных агентов
46 Классификация систем мобильных агентов
461 Классификация систем
462 Комментарии
47 Система мобильных агентов Aglets
471 Агенты
472 Серверы
473 Связь
474 Функции защиты 74 4 75 Модель событий Aglets - Пример клонирования агентов 74 4 7 б Модель событий - Мобильность агента
48 выбор системы мобильных агентов для архитектуры распределенной проверки соответствия
481 Требования к системе мобильных программных агентов
482 Комментарии
49 резюме
ГЛАВА 5 ИНКРЕМЕНТНАЯ ПРОВЕРКА СООТВЕТСТВИЯ
51 правила соответствия
511 Пример правша
512 Проверка правша устойчивости
513 Результирующие связи соответствия
514 Хрупкость связей соответствия XLink локаторов
52 исчерпывающая проверка соответствия
521 Схема алгоритма
522 Прикладная область для исчерпывающих проверок
53 инкрементная проверка соответствия
531 Инициализация
532 Выбор уместных правш соответствия
533 Выполнение отобранных правил
54 Распределение проверок соответствия
541 Мобильные агенты
542 Распределенная инкрементная проверка соответствия
55 Инкрементная проверка: Выводы
56 Резюме
ГЛАВА 6 АРХИТЕКТУРА ПРОГРАММНЫХ АГЕНТОВ ДЛЯ РАСПРЕДЕЛЕННОЙ ПРОВЕРКИ
СООТВЕТСТВИЯ
61 Введение
62 Описание архитектуры
621 Агент ресурсного интерфейса
622 Доменный агент
623 Шлюзовой доменный агент
624 I!обильный агент проверки соответствия
625 Агент пользовательского интерфейса
63 Иерархическая информационная структура
631 Таблица имен и типов документов
632 Распределение правш соответствия
633 Подходы к распределению правил соответствий
634 Предложенные решения для распределения правил соответствия
635 Таблица поиска агента
636 Таблица списка событий
637 Политика системы
64 Развитие системы
65 Удовлетворение функциональных требований с помощью компонентов архитектуры
651 Ресурсный агент интерфейса
652 Агент домена
653 Шлюзовой агент домена
654 Мобильный агент проверки соответствия
655 Агент пользовательского интерфейса
66 Резюме
ГЛАВА 7 МОДЕЛИРОВАНИЕ АРХИТЕКТУРЫ И ОЦЕНКА БЫСТРОДЕЙСТВИЯ
71 введение
72 Приближения моделирования
721 Выбор моделирования состояний в качестве предмета оценки
722 Инструмент моделирования - Covers
73 модель архитектуры
731 Документ активного объекта
732 Активный объект Агента Интерфейса Ресурсов
733 Активный объект Мобильного Агента Проверки Соответствия
734 Активный объект Агента Домена
735 Активный объект Промежуточного Агента
74 результаты обследования
75 резюме
ГЛАВА 8 СЦЕНАРИИ: РАСПРЕДЕЛЕННАЯ РАЗРАБОТКА ПРИЛОЖЕНИЯ "ПЛАНИРОВЩИК
ПЕРЕМЕН"
81 Введение
82 Прикладная область
83 Краткий обзор Сценариев
84 Команда разработки Приложения
85 Начальный анализ и проект Приложения "Планировщик перемен"
86 Сценарий I: Местная проверка соответствия в хосте в пределах одиночного домена
861 Событие: Создание нового документа
862 Ответ: Проверка соответствия
863 Результат: Сгенерированная связь соответствия
864 Обработка События
87 Сценарий II: Распределенная проверка соответствия в пределах одиночного домена 170 ^ 871 Распределенная проверка: Порождение связей соответствия
872 Событие: Изменение документа
873 Обработка события архитектурой программных агентов
88 Сценарий III: Распределение Приложения "Планировщик перемен"
881 Распределение UML элементов
882 Междоменная политика перемещения агента
883 Распределенная междоменная проверка соответствия
884 Междоменное открытие местоположения документа
885 Мультиагентское сотрудничество
886 Межсетевые защиты и защита мобильного агента
887 Разъединенная операция
888 Дублирование
89 Резюме
ГЛАВА 9 ВЫПОЛНЕННЫЙ ПРОТОТИП
91 Введение
92 агент ресурсного интерфейса
921 Запуск
922 Дескрипторы сообщений
93 Агенты домена
931 Запуск
932 Дескрипторы сообщений
94 Мобильный агент проверки соответствия
941 Запуск
942 Дескрипторы сообщений
943 Процедура клонирования
944 Перемещение
945 Проверка избыточности
95 межсетевой агент домена
951 Запуск
952 Дескрипторы сообщений
96 Агент интерфейса пользователя
961 Запуск
962 Дескрипторы сообщений
97 Защита 218 9 71 Защита на уровне пользователя
972 Уровень безопасности работы мобилы/ых агентов внутри домена
973 Защита на уровне перемещения мобильного агента
974 Уровень защиты сообщений
98 Резюме
ГЛАВА 10 ОЦЕНКА
101 Качественные особенности
1011 Элегантность
1012 Управляемость
1013 Политика применимости правил
1014 Гибкость и динамическая реконфигурация
1015 Объединение ресурсов в домены и поддержка иерархии доменов
1016 Операции с отключенным пользователем
1017 Поддержка транзакций
1018 Баланс требований
102 Количественные оценки быстродействия 235 / 021 Сравнение полной проверки достоверности и инкрементной проверки
1022 Сравнение распределенной проверки с централизованной проверкой
1023 Сравнение централизованной исчерпывающей и распределенной инкрементной проверок
103 Резюме

Введение:
E.9 Теорема о многоагентной распределенной и локальной централизованной проверках соответствия 310
Щ ПРИЛОЖЕНИЕ F ИНКРЕМЕНТНАЯ ПРОВЕРКА: ТЕХНИЧЕСКИЕ ПРОБЛЕМЫ 313
F.1 Выбор релевантного правила соответствия 313 F.2 Метод выбора простого правила 314 F.3 Усовершенствованный метод: Выборочное выполнение ХРатн выражений 317 F.4 Слияние множества связей соответствия 318 F.5 Распределение в UML моделях 323
Это преднамеренно чистая страница
Список литературы:

1. Armitage, et al. 1998. Armitage, S., Stevens, R., and Finkelstein, A., Implementing a Compliance Manager, In Requirements Engineering, 3(2): 98-106, 1998.
2. Asperti and Busi 1996. Asperti, A. and Busi, N., Mobile Petri Nets. Technical Report UBLCS-96-10, Department of Computer Science, University of Bologna, 1996.
3. Baldwin 1993. Baldwin, D., Applying Multiple Views To Information Systems: A Preliminary Framework, In. Database, 24(4): 15-30, 1993.
4. Balzer 1991. Balzer, R., Tolerating Inconsistency. In Proc. of 13th Int. Conference on Software Engineering, Austin, Texas, USA, pp. 158-165, IEEE Computer Society Press, 1991.
5. Bergner, et al. 1997. Bergner, K., Rausch, A., and Sihling, M., Using UML for Modeling a Distributed Java Application. TUM-I9735, Techniche Universit?t M?nchen, M?nchen, July 1997.
6. Booch 1991. Booch, G., Object-Oriented Design With Applications, The Benjamin/Cummings Publishing Company, Inc., 1991.
7. Booch 1994. Booch, G., Object-Oriented Analyis And Design With Applications, 2nd ed. The Benjamin Cummings Publishing Company, Inc., 1994.
8. Booch, et al. 1999. Booch, G., Jacobson, I., and Rumbaugh, J., The Unified Modelling Language User Guide: UML, Addison Wesley, 1999.
9. Bowman, et al. 1995. Bowman, H. A., Derrick, J., and Steen, M. W. A., Some Results On Cross Viewpoint Consistency Checking. In Open Distributed Processing 111, Raymond, K. and Armstrong, L., Eds., pp. 399-412. Chapman & Hall, 1995.
10. Box 1998. Box, D., Essential COM, Addison Wesley Longman, 1998.
11. Bray, et al. 1998. Bray, Т., Paoli, J., Sperberg-McQueen, С. M., and Maler, E., Extensible Markup Language. Recommendation. Wold Wide Web Consortium. http://www.w3.org/TR/2000/REC-xml-20001006, 1998.
12. Caribou 1997. Caribou, Lake Software, Remote Observer Classes. http://www.cariboulake.com/products/products.html, 1997.
13. Cerutti and Pierson 1993. Cerutti, D. and Pierson, D., Distributed computing environments, McGraw-Hill, 1993.
14. Chin 1991. Chin, D. N., Intelligent Interfaces As Agents. In Intelligent User Interfaces, Sullivan, J. W. and Tyler, S. W., Eds., pp. 177-206. ACM Press, 1991.
15. Clark and DeRose 1999. Clark, J. and DeRose, S., XML Path Language (XPath) Version 1.0. Recommendation. World Wide Web Consortium. http: //www. w3. org/TR/1999/REC-xpath-19991116, 1999.
16. Coloaris, et al. 2000. Colouris, G., Dollimore, J., and Kindberg, T., Distributed Systems: Concepts And Design, 3nd ed. Addison-Wesley, 2000.
17. Covers 1998. Covers, Covers Tool for Construction of State Transition Models. http://www.xjtek.com, 1998.
18. Cowen, et al. 1993. Cowen, G., Derrick, J., Gill, M., Girling, G., Herbert, A., Linington, P. F., Rayner, D., Schulz, F., and Soley, R., Prost Report Of the Study On Testing For Open Distributed Processing. Girling, G., Ed., APM Ltd., 1993.
19. DeRose, et al. 2000. DeRose, S., Maler, E., and Orchard, D., XML Linking Language (XLink). Version 1.0. Candidate Recommendation. World Wide Web Consortium, 20 December 2000. www.w3.org/TR/xlink/.
20. Despeyroux 1988. Despeyroux, T., TYPOL A Framework to Implement Natural Semantics. Technical Report 94, INRIA, Roquencourt, 1988.
21. Emmerich 2000. Emmerich, W., Engineering Distributed Objects, John Wiley & Sons, 2000.
22. Emmerich, et al. 1999. Emmerich, W., Finkelstein, A., Montangero, C., Antonelli, S., Armitage, S., and Stevens, R., Managing Standards Compliance, In Transactions on Software Engineering, 25(6) 1999.
23. Finkelstein, et al. 1994. Finkelstein, A., Kramer, J., and Nuseibeh, B., Inconsistency Handling in Multi-Perspective Specifications, In IEEE Transactions on Software Engineering, 20(8): 569-578, 1994.
24. Finkelstein, et al. 1996. Finkelstein, A., Spanoudakis, G., and Till, D., Managing Interference. In Proceedings of ACM SIGSOFT 96 Workshop, Viewpoints 96, pp. 172-174, ACM Press,
25. Frappier, et al. 1995. Frappier, M., Mili, A., and Desharnais, J., Program Construction By Parts. In Mathematics of Program Construction, B., M?ller, Ed., Lecture Notes in Computer Science, vol. 947, pp. 257-281. Springer-Verlag, 1995.
26. Fuggetta, et al. 1998. Fuggetta, A., Picco, G. P., and Vigna, G., Understanding Code Mobility, In IEEE Transactions on Software Engineering, 24(5): 342-361, 1998.
27. Genesereth and Fikes 1992. Genesereth, M. R. and Fikes, R. E., Knowledge Interchange Format Version 3.0 Reference Manual. Interlingua Working Group of the DARPA Knowledge Sharing Initiative,available from http: // lo gic. Stanford, edu/kif/.
28. Genesereth and Ketchpel 1994. Genesereth, M. R. and Ketchpel, S. P., Software Agents, In Communications of the ACM, 37(7): 48-53, 1994.
29. Giladi and Shoval 1994. Giladi, R. and Shoval, P., An Architecture Of an Intelligent System for Routing User Requests In a Network Of Heterogeneous Databases, In Journal of Intelligent Information Systems, 3: 205-219, 1994.
30. Goose 1995. Goose, S., Distributed Open Hypermedia Systems. PhD Thesis, Department of Electronics and Computer Science, University of Southampton, 1995.
31. Gray 1996. Gray, R. S., Rus, D. and Kotz, D., Transportable Information Agents. Technical Report TR96-278, Department of Computer Science, Dartmouth College, USA, 1996.
32. Habermann and Notkin 1986. Habermann, A. N. and Notkin, D., Gandalf: Software Development Environments, In IEEE Transactions on Software Engineering, 12(12): 1117-1127, 1986.
33. Harel 1987. Harel, D., Statecharts: A Visual Formalism for Complex Systems, In Science of Computer Programming, 8(3): 231-274, 1987.
34. Haugeneder and Steiner 1998. Haugeneder, H. and Steiner, D., Co-operating Agents: Concepts and Applications. In Agent Technology: Foundation, Applications and Markets, Jennings, R. and Wooldridge, M., Eds., Springer, 1998.
35. M 1997. IBM, TabiCan. IBM Corporation, 1997. http://www.tabican.ne.jp.
36. M 1998. IBM, Aglets SDK. IBM Corporation, July 1998.http://www.trl.ibm.co.jp/aglets/.
37. Johnson and Fisher 1982. Johnson, G. F. and Fisher, C. N., Non-syntactic attribute ow in language based editors. In Proc. of the 9th Annual ACM Symposium on Principles of Programming Languages, pp. 185-195, ACM Press, 1982.
38. Karjoth, et al. 1997. Karjoth, G., Lange, D. B., and Oshima, M., A Security Model for Aglets, In IEEE Internet Computing, 1(4): 68-77, 1997.
39. Karnik and Tripathi 1998. Karnik, N. and Tripathi, A., Design Issues in MobileAgent Programming Systems, In IEEE Concurrency, 6(3): 52-61, 1998.
40. Kastens 1980. Kastens, U., Ordered Attributed Grammars, In Acta Inform?tica,, 13(3): 229-256, 1980.
41. Kay 1984. Kay, A., Computer Software, In Scientific American, 251(3):  191207 , 1984.
42. Kiniry and Zimmerman 1997. Kiniry, J. and Zimmerman, D., A Hands-On Look at Java Mobile Agents, In IEEE Internet Computing, 1(4) 1997.
43. Knuth 1968. Knuth, D. E., Semantics of Context-Free Languages, In Mathematical Systems Theory, 2(2): 127-145, 1968.
44. Papazoglou, M., and Schlageter, G., Eds., pp. 89-97, IEEE Computer Society Press, 1993.
45. Meyers 1991. Meyers, S., Difficulties in Integrating Multiview Development Systems, In IEEE Software, 8(1): 49-57, 1991.
46. Milojicic 1999. Milojicic, D., Trend Wars: Mobile Agent Applications, In IEEE Concurrency, 7(3): 80-90, 1999.
47. Mobility 2001. Mobility, The Mobility Mailing List for discussion of mobility. http://mobility.lboro.ac.uk, 2001.
48. Mullery 1979. Mullery, G. P., CORE a Method for Controlled Requirement Specification. In Proceedings of the 4th International Conference on Software Engineering, pp. 126-135, IEEE Computer Society, 1979.
49. Nagl 1985. Nagl, M., An Incremental and Integrated Software Development Environment, In Computer Physics Communications, 38: 245-276, 1985.
50. Navathe, et al. 1986. Navathe, S., Elmasri, R., and Larson, J., Integrating user views in database design, In IEEE Computer, 19(1): 50-62, 1986.
51. Nentwich, et al. 2000a. Nentwich, C., Capra, L., Emmerich, W., and Finkelstein, A., www.xlinkit.com. 2000a.
52. Nentwich, et al. 2000b. Nentwich, C., Capra, L., Emmerich, W., and Finkelstein, A., xlinkit: a Consistency Checking and Smart Link Generation Service. Research Note RN/00/66. Submitted for Publication., University College London, London, December 2000.
53. Nentwich, et al. 2001a. Nentwich, C., Emmerich, W., and Finkelstein, A., Checking Distributed Software Engineering Content. Department of Computer Science Research Note RN/01/11. Submitted for publication, University College London, UK, March 2001.
54. Nentwich, et al. 2001b. Nentwich, C., Emmerich, W., and Finkelstein, A., xlinkit: links that make sense. Department of Computer Science Research Note RN/01/6, University College London, UK, 2001.
55. Nuseibeh 1994. Nuseibeh, B. A., A Multi-Perspective Framework for Method Integration. PhD thesis, Imperial College, University of London, 1994.
56. Nwana and Wooldridge 1996. Nwana, H. S. and Wooldridge, M., Software Agent Technologies, In British Telecom Technology Journal, 14(4): 68-78, 1996.
57. ObjectSpace 1997. ObjectSpace, Voyager, General Magic Odyssey, IBM Aglets: A Comparison. Technical White Paper. ObjectSpace, Incorporated, June 1997.
58. OMG 1995. OMG, Object Management Group, The Common Object Request Broker: Architecture and Specification Revision 2.0. OMG, 492 Old Connecticut Path, Framingham, MA 01701, USA, 1994.
59. Oshima and Karjoth 1997. Oshima, M. and Karjoth, G., Aglets Specification (1.0). IBM Tokio Research Laboratory, May 1997.
60. Panurak 1998. Panurak, V. D. H., Practical and Industrial Applications of Agent-Based Systems. Available at http://www.erim.org/van/apps98.pdf.
61. Papaioannou 2000. Papaioannou, T., On the Structuring of Distributed Systems: The Argument for Mobility. Ph.D. Thesis, Loughborough University, 2000.
62. Papaioannou and Edwards 1999. Papaioannou, T. and Edwards, J. M., Using Mobile Agents To Improve the Alignment Between Manufacturing and its IT Support Systems, In International Journal of Robotics and Autonomous Systems, 27: 45-57, 1999.
63. Picco 1998. Picco, G. P., Understanding, Evaluating, Formalizing, and Exploiting Code Mobility. Polit?cnico di Torino: 1998.
64. Prestegard, et al. 1999. Prestegard, G., Hanssen, A. A., Brandstadmoen, S., and Nymoen, B. S., DIAS Distributed Intelligent Agent System. Project report. NTNU, Trondheim, Norway, 1999.
65. Rational 1998. Rational, Insurance Network Fees and Claims System, Rational1.c.http://www.rational.com/support/downloadcenter/addins/media/rose/insurance.zip,1998.
66. Reeves, et al. 1995. Reeves, A., Marashi, M., and Budgen, D., A software design framework or how to support real designers, In IEE/BCS Software Engineering Journal, 10(4): 141-155, 1995.
67. Reps and Teitelbaum 1981. Reps, T. W. and Teitelbaum, T., The Cornell Program Synthesizer: A syntax-directed programming environment., In Communications of the ACM, 24(9): 449-477, 1981.
68. Reps and Teitelbaum 1988. Reps, T. W. and Teitelbaum, T., The Synthesizer Generator a system for constructing language based editors, Springer, 1988.
69. Revheim 2000. Revheim, T., Consistency Checking of Heterogeneous Distributed Documents. Master Thesis. University College London, 2000.
70. RMI 1998. RMI, Java Remote Method Invocation Specification. JavaSoft, Revision 1.50, JDK 1.20 Edition. 1998.
71. Seregeundo, et al. 1996. Seregeundo, G. D. M., Muhugusa, M., Tschudin, C., and Harms, J., Formalization of Agents and Multi-Agent Systems. The Special Case of Category Theory. Technical Report 109, Teleinformatics, University of Geneva, 1996.
72. Sibertin-Blanc 1994. Sibertin-Blanc, C., Cooperative nets. In LCNS, vol. 815, Valette, R., Ed., Springer-Verlag, 1994. pp. 471-490.
73. Simon 1996. Simon, E., Distributed Information Systems from client/server to distributed multimedia, McGraw-Hill, 1996.
74. Sloman and Kramer 1987. Sloman, M. and Kramer, J., Distributed Systems and Computer Networks, Prentice Hall, 1987.
75. Smolko 2001. Smolko D., Mobile Agent Arhitecture For Portfolio Management In Proceeding of Internation Conference SCM' 2001, S.Petersburg, Russia, 2001.V.1. pp 208-211.
76. Smolko 2001. Smolko, D., Design and Evaluation of the Mobile Agent Architecture for Distributed Consistency Management. In Proc. 23rd Int. Conference on Software Engineering, Toronto, Canada, Computer Society IEEE, 2001. pp. 799801.
77. Smolko 2002. Smolko D., A Novel approach to consistency checking of distributed documents and processing of measurement results in a control systems In Proceeding of Internation Conference S&S 2002, S.Petersburg, Russia, 2002.V.III. pp 154-158.
78. Smolko 2002. Smolko D., State Transition Model of a Distributed Mobile Agent Architecture. In Proceedings of International Conference SCM' 2002, St.Petersburg, Russia,2002. Vol.2, pp. 172-176.
79. Spanoudakis, et al. 1997. Spanoudakis, G., Finkelstein, A., and Emmerich, W., Viewpoints 96: International workshop on multiple perspectives in software development (SIGSOFT 96)., In ACM SIGSOFT Software Engineering Notes, 22(1): 39-41, 1997.
80. Steels 1990. Steels, L., Cooperation between distributed agents through self-organisation. In Decentralized AI, Demazeau, Y. and Muller, J. P., Eds., pp. 175-196. Amsterdam: Elsevier Science Publishers B.V. (North Holland), 1990.
81. Steen 1998. Steen, M., Consistency And Composition Of Process Specifications. Ph. D. Thesis, University of Kent at Canterbury. 1998.
82. Vigna 1997. Vigna, G., Mobile Code Technologies, Paradigms, and Applications. Ph.D. Thesis Polit?cnico di Milano, Italy, 1997.
83. Waldo, et al. 1994. Waldo, J., Wyant, G., Wollrath, A., and Kendall, S., A note on distributed computing. Sun Microsystems Technical Report SML 94-29, Sun Microsystems, 1994.
84. Westfechtel 1989. Westfechtel, B., Revision Control in an Integrated Software Development Environment, In ACM SIGSOFT Software Engineering Notes, 17(7): 96-105,1989.
85. Wooldridge and Jennings 1995. Wooldridge, M. and Jennings, N. R., Intelligent Agents: Theory and Practice, In Knowledge Engineering Review, 10(2): 115—152, 1995.
86. Zave and Jackson 1996. Zave, P. and Jackson, M., Where do operations come from : A multi-paradigm specification technique, In IEEE Transactions on Software Engineering, 22(7): 508-528, 1996.