Flexible coordination techniques for dynamic cloud service collaboration

The provision of individual, but also composed services is central in cloud service provisioning. We describe a framework for the coordination of cloud services, based on a tuple‐space architecture which uses an ontology to describe the services. Current techniques for service collaboration offer limited scope for flexibility. They are based on statically describing and compositing services. With the open nature of the web and cloud services, the need for a more flexible, dynamic approach to service coordination becomes evident. In order to support open communities of service providers, there should be the option for these providers to offer and withdraw their services to/from the community. For this to be realised, there needs to be a degree of self‐organisation. Our techniques for coordination and service matching aim to achieve this through matching goal‐oriented service requests with providers that advertise their offerings dynamically. Scalability of the solution is a particular concern that will be evaluated in detail

Meta SOS - A Maude Based SOS Meta-Theory Framework

Meta SOS is a software framework designed to integrate the results from the meta-theory of structural operational semantics (SOS). These results include deriving semantic properties of language constructs just by syntactically analyzing their rule-based definition, as well as automatically deriving sound and ground-complete axiomatizations for languages, when considering a notion of behavioural equivalence. This paper describes the Meta SOS framework by blending aspects from the meta-theory of SOS, details on their implementation in Maude, and running examples.Comment: In Proceedings EXPRESS/SOS 2013, arXiv:1307.690

KLAIM: A Kernel Language for Agents Interaction and Mobility

We investigate the issue of designing a kernel programming language for mobile computing and describe KLAIM, a language that supports a programming paradigm where processes, like data, can be moved from one computing environment to another. The language consists of a core Linda with multiple tuple spaces and of a set of operators for building processes. KLAIM naturally supports programming with explicit localities. Localities are first-class data (they can be manipulated like any other data), but the language provides coordination mechanisms to control the interaction protocols among located processes. The formal operational semantics is useful for discussing the design of the language and provides guidelines for implementations. KLAIM is equipped with a type system that statically checks access rights violations of mobile agents. Types are used to describe the intentions (read, write, execute, etc.) of processes in relation to the various localities. The type system is used to determine the operations that processes want to perform at each locality, and to check whether they comply with the declared intentions and whether they have the necessary rights to perform the intended operations at the specific localities. Via a series of examples, we show that many mobile code programming paradigms can be naturally implemented in our kernel language. We also present a prototype implementaton of KLAIM in Java

S-Net for multi-memory multicores

Copyright ACM, 2010. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Proceedings of the 5th ACM SIGPLAN Workshop on Declarative Aspects of Multicore Programming: http://doi.acm.org/10.1145/1708046.1708054S-Net is a declarative coordination language and component technology aimed at modern multi-core/many-core architectures and systems-on-chip. It builds on the concept of stream processing to structure dynamically evolving networks of communicating asynchronous components. Components themselves are implemented using a conventional language suitable for the application domain. This two-level software architecture maintains a familiar sequential development environment for large parts of an application and offers a high-level declarative approach to component coordination. In this paper we present a conservative language extension for the placement of components and component networks in a multi-memory environment, i.e. architectures that associate individual compute cores or groups thereof with private memories. We describe a novel distributed runtime system layer that complements our existing multithreaded runtime system for shared memory multicores. Particular emphasis is put on efficient management of data communication. Last not least, we present preliminary experimental data

Modeling Adaptation with Klaim

In recent years, it has been argued that systems and applications, in order to deal with their increasing complexity, should be able to adapt their behavior according to new requirements or environment conditions. In this paper, we present an investigation aiming at studying how coordination languages and formal methods can contribute to a better understanding, implementation and use of the mechanisms and techniques for adaptation currently proposed in the literature. Our study relies on the formal coordination language Klaim as a common framework for modeling some well-known adaptation techniques: the IBM MAPE-K loop, the Accord component-based framework for architectural adaptation, and the aspect- and context-oriented programming paradigms. We illustrate our approach through a simple example concerning a data repository equipped with an automated cache mechanism

Modeling adaptation with a tuple-based coordination language

In recent years, it has been argued that systems and applications, in order to deal with their increasing complexity, should be able to adapt their behavior according to new requirements or environment conditions. In this paper, we present a preliminary investigation aiming at studying how coordination languages and formal methods can contribute to a better understanding, implementation and usage of the mechanisms and techniques for adaptation currently proposed in the literature. Our study relies on the formal coordination language Klaim as a common framework for modeling some adaptation techniques, namely the MAPE-K loop, aspect- and context-oriented programming

Towards a Formal Framework for Mobile, Service-Oriented Sensor-Actuator Networks

Service-oriented sensor-actuator networks (SOSANETs) are deployed in health-critical applications like patient monitoring and have to fulfill strong safety requirements. However, a framework for the rigorous formal modeling and analysis of SOSANETs does not exist. In particular, there is currently no support for the verification of correct network behavior after node failure or loss/addition of communication links. To overcome this problem, we propose a formal framework for SOSANETs. The main idea is to base our framework on the \pi-calculus, a formally defined, compositional and well-established formalism. We choose KLAIM, an existing formal language based on the \pi-calculus as the foundation for our framework. With that, we are able to formally model SOSANETs with possible topology changes and network failures. This provides the basis for our future work on prediction, analysis and verification of the network behavior of these systems. Furthermore, we illustrate the real-life applicability of this approach by modeling and extending a use case scenario from the medical domain.Comment: In Proceedings FESCA 2013, arXiv:1302.478

Аналітичні інструменти ERP-систем у моніторингу діяльності суб’єкта господарювання

З метою досягнення високих результатів з оптимальними прогнозованими витратами, сучасне бізнес-середовище вимагає від менеджменту ефективного прийняття управлінських рішень, що передбачає постійний моніторинг цільових показників-індикаторів, важливих для оцінювання напрямів розвитку підприємства. Об’єктом дослідження науковців є теоретичні та практичні аспекти функціонування ERP-систем. Але слід зауважити, що поза увагою залишаються рекомендації з використання ERP-систем для кінцевих користувачів, недостатньо вивчені аналітичні інструменти, які існують у цих системах, особливості їх застосування. На сьогодні на ринку програмного забезпечення для управління бізнесом активно використовуються системи комплексної автоматизації управління підприємством – ERP-системи. Такі системи дозволяють розрахувати короткотермінові (місяці) та довготермінові (роки) показники розвитку підприємства, а також порівняти прогнозні значення з фактичними. Функціональність таких ІС відповідає стандартам ERP, MRP, CRM, SCM. Запровадження ERP-системи змінює систему менеджменту та організацію роботи персоналу підприємства, що виражається у застосуванні інноваційних навичок реєстрації, опрацювання, узагальнення та аналізу даних. Виконання в ERP-системі бухгалтерами та топ-менеджерами своїх функцій передбачає застосування ними професійних суджень відповідно до завдань, які зумовлені зростанням ефективності діяльності підприємства. Вони відповідають за обрання складу показників, які повинні аналізуватись, формування стратегії досягнення цільових показників, вибір варіанта аналізу тощо. Правильність постановки цілей розвитку підприємства, обрання показників-індикаторів результатів діяльності та методики їх моніторингу має важливе значення для системи менеджменту суб’єкта господарювання, підвищує ефективність прийнятих рішень. Для оптимізації цього процесу ми пропонуємо модель цільових показників та їх моніторингу в ERP-системі, яка дозволить оптимізувати прийняття управлінських рішень, підвищить їх оперативність та ефективність. Запропонована модель цільових показників та їх моніторингу у ERP-системі є інструментом налагодження програми, зумовлює застосування управлінцями нових навичок з оцінки, моніторингу результатів діяльності та прийняття оперативних рішень з управління бізнесом, охоплює ключові категорії цілей розвитку бізнесу, залучає до оцінювання результатів діяльності та участі в процесах управління відповідальних осіб усіх підрозділів суб’єкта господарювання, що узгоджується з результатами попередніх досліджень.In order to achieve high results with optimal projected costs, the modern business environment requires of management the effective managerial decision-making, which involves continuous monitoring of goal indicators important to assess the direction of enterprise development. The object of the scientists research is theoretical and practical aspects of ERP-systems functioning, but it should be noted that recommendations on ERP application for end-users still remain out of consideration, analytical tools existing in these systems and the peculiarities of their application are not studied sufficiently. Today, the systems of complex enterprise management automation – ERP-systems are widely used in the market of software for business management. Such systems make it possible to calculate the short-term (months) and long-term (years) indicators of enterprise development, as well as compare projected values with actual ones. The functionality of such IS meets the standards of ERP, MRP, CRM, and SCM. The introduction of ERP-system changes the management system and the enterprise staff activity management proved by the application of innovative skills of registration, processing, synthesis and analysis of data. The execution of their functions by accountants and top managers in ERP-system involves the use of their professional judgments in accordance with the tasks determined by the increase of the enterprise activity efficiency. They are responsible for the selection of the indicators composition to be analyzed, the formation of strategy for goals achieving, the choice of analysis option, etc. The correctness of setting goals for enterprise development, the selection of the activity results indicators and the methodology for their monitoring is of great importance for business entity management system and increases the efficiency of decision-making. In order to optimize this process, we propose the model of goal indicators and their monitoring in ERP-system making it possible to optimize the management decision-making, increase their efficiency and productivity. The proposed model of goal indicators and their monitoring in ERP-system is the tool for program setting enabling the managers to use new skills for evaluation, monitoring the activity results and making immediate business managerial decisions, to cover the key categories of business development goals, and to engage the responsible individuals of all entity departments into evaluation of the activity results and participation of the management processes which is in conformity with the results of previous investigations