A Strategy for Managing Complexity of the Global Market and Prototype Real-time Scheduler for LEGO Supply Chain

ABSTRACT The paper describes main features of a strategy for managing complexity of the global market and real-time scheduling multi-agent system designed for the LEGO Company. The design is based on Multi-Agent Technology Group (MATech) own strategy blueprint and multi-agent platform, which provide real-time adaptive event-driven scheduling to replenish products to LEGO Branded Retail stores. The prototype system has been used to schedule 20 US-based LEGO retail outlets for a yearlong trial period and has achieved the following results: • Reduction of lost sale from 40% to 16%; • Increase in service level from 66% to 86%; • Increase in profitability 56% to 81%. The results show a considerable potential value for full scale LEGO supply chain multi-agent solution which would be able to dynamically and adaptively re-schedule deliveries in real time

Верификация алгоритмов мультиагентного анализа данных с помощью системы проверки моделей SPIN

The paper presents an approach to formal verification of multi-agent data analysis algorithms for ontology population. The system agents correspond to information items of the input data and the rule of ontology population and data processing. They determine values of information objects obtained at the preliminary phase of the analysis. The agents working in parallel check the syntactic and semantic consistency of tuples of information items. Since the agents operate in parallel, it is necessary to verify some important properties of the system related to it, such as the property that the controller agent correctly determines the system termination. In our approach, the model checking tool SPIN is used. The protocols of agents are written in Promela language (the input language of the tool) and the properties of the multi-agent data analysis system are expressed in the liner time logic LTL. We carried out several experiments to check this model in various modes of the tool and various numbers of agents.В статье представлен подход к формальной верификации алгоритмов мультиагентного анализа данных для пополнения онтологий. Агенты системы на основе входных данных устанавливают значения элементов объектов, полученных на предварительной стадии анализа. Агенты параллельно осуществляют проверку семантической и синтаксической согласованности, используя правила пополнения онтологий и обработки данных. Поскольку агенты действуют параллельно, необходимо верифицировать некоторые важные свойства системы, связанные с этим, например, свойство корректности определения завершения работы системы. В нашем подходе используется инструмент проверки моделей SPIN. Протоколы агентов записаны на языке Promela, а свойства мультиагентной системы анализа данных выражены в логике LTL. Мы провели ряд экспериментов по проверке данной модели

CREAMINKA: An Intelligent Ecosystem for Supporting Management and Information Discovery in Research and Innovation Fields in Universities

This chapter presents a new proposal for supporting the management of research processes in universities and higher education centers. To this aim, the authors have developed a comprehensive ecosystem that implements a knowledge model that addresses three innovative aspects of research: (i) acceleration of knowledge production, (ii) research valorization and (iii) discovery of improbable peers. The ecosystem relies on ontologies and intelligent modules and is able to automatically retrieve information of major scientific databases such as SCOPUS and Science Direct to infer new information. Currently, the system is able to provide guidelines to create improbable research peers as well as automatically generate resilience graphics and reports from more than 17,000 tuples of the ontological database. In this work, the authors describe in detail an important aspect of support systems for research management in higher education: the development and valorization of competences of students collaborating in research process and startUPS of universities. Furthermore, a knowledge model of entrepreneurship (startUPS) as well as an analyzer of general and specific competences based on data mining processes is presented

Applying agent technology to constructing flexible monitoring systems in process automation

The dissertation studies the application of agent technology to process automation monitoring and other domain specific functions. Motivation for the research work derives from the development of industrial production and process automation, and thereby the work load of operating personnel in charge of these large-scale processes has become more complex and difficult to handle. At the same time, the information technology infrastructure in process automation domain has developed ready to accept and utilise novel software engineering solutions. Agent technology is a new programming paradigm which has attractive properties like autonomy, flexibility and a possibility to distribute functions. In addition, agent technology offers a systematic methodology for designing goal based operations. This enables parts of the monitoring tasks to be delegated to the system. In this research, new agent system architecture is introduced. The architecture specifies a structure that enables the use of agents in the process monitoring domain. In addition, an introductory internal layered design of an agent aiming to combine Semantic Web and agent technologies is presented. The developed agent architecture is used in conjunction with the systematic agent design methodology to construct and implement four test cases. Each case has industrially motivated interest and illustrates various aspects of monitoring functionalities. These tests provide evidence that by utilising agent technology it is possible to develop new monitoring features for process operators, otherwise infeasible as such within current process automation systems. As a result of the research work, it can be stated that agent technology is a suited methodology to realise monitoring functionalities in process automation. It is also shown, that by applying solutions gained from the agent technology research, it is possible to define an architecture that enables to utilise the properties offered by agents in process automation environment. The proposed agent architecture supports features that are of generic interest in monitoring tasks. The developed architecture and research findings provide ground to import novel software engineering solutions to process automation monitoring

Організація експедирування вантажів на міжнародному ринку

Робота публікується згідно наказу ректора від 27.05.2021 р. №311/од "Про розміщення кваліфікаційних робіт вищої освіти в репозитарії НАУ" . Керівник проекту: доцент, к. е. н. Василенко Ігор ВолодимировичУспіх торгівлі між країнами та ефективна робота транспорту залежать від стану та розвитку сектору експедиторських послуг, адже приблизно 80% світового вантажообігу організовується експедиторами. Саме тому серед низки заходів, які спрямовані на покращання доставки вантажів, чільне місце займає вирішення питань з розвитку транспортно-експедиторського обслуговування. ТЕО є невід'ємною частиною процесу транспортування вантажів. Транспортно-експедиторські і експедиторські компанії організовують перевезення вантажів від виробника до споживача. Описуючи специфіку даного бізнесу на сучасному етапі, можна відзначити, що, в нинішніх умовах, це бізнес безлічі невеликих компаній з досить обмеженими ресурсами. Сферу транспортного експедирування відрізняє низька капіталомісткість, що під час відсутності державного ліцензування, дозволяє без особливих витрат і зусиль створювати нові компанії. Саме для даного бізнесу існує високий ризик частого переходу корпоративних клієнтів до конкурентів, втрата ключових співробітників разом з клієнтською базою з метою створення власних підприємств. Сьогодні на ринку транспортних та логістичних послуг функціонує величезна кількість підприємств різного масштабу і спеціалізації, що належать до сфери транспортно-експедиторської діяльності. Ступінь їх важливості для цього ринку неможливо переоцінити. За оцінками FIATA, близько 80% обсягів світового вантажообігу здійснюється за участю транспортно-експедиторських компаній. Транспортно-експедиторська діяльність пов'язує продавців і покупців, що діють в глобальних ланцюгах поставок, як на внутрішньому, так і на міжнародному ринках, з перевізниками, операторами транспортної інфраструктури, а також з державними органами, контролюючими торгівлю і транспорт. Масштаби світової торгівлі, які ми спостерігаємо сьогодні, припускають швидке переміщення товарів і ресурсів між різними країнами. Світовий транспортний комплекс, пов'язуючи виробників із споживачами товарів і сировини, забезпечує ефективне функціонування ринкової економіки. Наприклад, за статистичними даними Світового Банку, ємність світового ринку транспортних послуг оцінюється більш ніж в 2200 млрд. дол.. США

Eine Analyse der Literatur zur Referenzmodellierung im Geschäftsprozessmanagement unter Berücksichtigung quantitativer Methoden

Im Geschäftsprozessmanagement nimmt die Referenzmodellierung bei der Gestaltung von Geschäftsprozessen eine große Bedeutung ein, da auf bereits existierende Modelle zurückgegriffen werden kann. So kann Zeit für die Entwicklung der Prozesse eingespart und von bereits etabliertem Wissen profitiert werden. Die vorliegende Masterarbeit analysiert die Literatur im Bereich der Referenzmodellierung im Geschäftsprozessmanagement unter Berücksichtigung quantitativer Methoden. Es werden insbesondere die Forschungsrichtungen bzw. Themenbereiche, Entwicklungen und der aktuelle Stand der Literatur in diesem Bereich ermittelt. Zunächst werden deutsch- und englischsprachige Artikel nach bestimmten Kriterien ausgewählt. Anschließend folgt eine quantitativ orientierte Analyse der Literatur. Dabei kommt die Latente Semantische Analyse zum Einsatz, mit deren Hilfe Themenbereiche ermittelt werden und die einzelnen Beiträge den ermittelten Themenbereichen zugeordnet werden können. Darüber hinaus wird die Entwicklung der Anzahl der Artikel in den Themenbereichen im Zeitverlauf betrachtet und auf Unterschiede zwischen der deutsch- und englischsprachigen Literatur eingegangen. In der darauf folgenden qualitativ orientierten Analyse werden die Artikel der einzelnen Themenbereiche inhaltlich analysiert und der aktuelle Stand der Forschung dargestellt. Nicht zuletzt werden die Ergebnisse der qualitativen Analyse in Bezug zu den Ergebnissen der quantitativen Analyse gesetzt

A platform-independent domain-specific modeling language for multiagent systems

Associated with the increasing acceptance of agent-based computing as a novel software engineering paradigm, recently a lot of research addresses the development of suitable techniques to support the agent-oriented software development. The state-of-the-art in agent-based software development is to (i) design the agent systems basing on an agent-based methodology and (ii) take the resulting design artifact as a base to manually implement the agent system using existing agent-oriented programming languages or general purpose languages like Java. Apart from failures made when manually transform an abstract specification into a concrete implementation, the gap between design and implementation may also result in the divergence of design and implementation. The framework discussed in this dissertation presents a platform-independent domain-specific modeling language for MASs called Dsml4MAS that allows modeling agent systems in a platform-independent and graphical manner. Apart from the abstract design, Dsml4MAS also allows to automatically (i) check the generated design artifacts against a formal semantic specification to guarantee the well-formedness of the design and (ii) translate the abstract specification into a concrete implementation. Taking both together, Dsml4MAS ensures that for any well-formed design, an associated implementation will be generated closing the gap between design and code.Aufgrund wachsender Akzeptanz von Agentensystemen zur Behandlung komplexer Problemstellungen wird der Schwerpunkt auf dem Gebiet der agentenorientierten Softwareentwicklung vor allem auf die Erforschung von geeignetem Entwicklungswerkzeugen gesetzt. Stand der Forschung ist es dabei das Agentendesign mittels einer Agentenmethodologie zu spezifizieren und die resultierenden Artefakte als Grundlage zur manuellen Programmierung zu verwenden. Fehler, die bei dieser manuellen Überführung entstehen, machen insbesondere das abstrakte Design weniger nützlich in Hinsicht auf die Nachhaltigkeit der entwickelten Softwareapplikation. Das in dieser Dissertation diskutierte Rahmenwerk erörtert eine plattformunabhängige domänenspezifische Modellierungssprache für Multiagentensysteme namens Dsml4MAS. Dsml4MAS erlaubt es Agentensysteme auf eine plattformunabhängige und graphische Art und Weise darzustellen. Die Modellierungssprache umfasst (i) eine abstrakte Syntax, die das Vokabular der Sprache definiert, (ii) eine konkrete Syntax, die die graphische Darstellung spezifiziert sowie (iii) eine formale Semantik, die dem Vokabular eine präzise Bedeutung gibt. Dsml4MAS ist Bestandteil einer (semi-automatischen) Methodologie, die es (i) erlaubt die abstrakte Spezifikation schrittweise bis hin zur konkreten Implementierung zu konkretisieren und (ii) die Interoperabilität zu alternativen Softwareparadigmen wie z.B. Dienstorientierte Architekturen zu gewährleisten