scholarly journals Logic programming as a service

2018 ◽  
Vol 18 (5-6) ◽  
pp. 846-873 ◽  
Author(s):  
ROBERTA CALEGARI ◽  
ENRICO DENTI ◽  
STEFANO MARIANI ◽  
ANDREA OMICINI
Keyword(s):  
Distributed Systems ◽  
Logic Programming ◽  
Systems Engineering ◽  
Intelligent Systems ◽  
The Other ◽  
Service Oriented Architectures ◽  
Pervasive Systems ◽  
Architectural Model ◽  
Service Oriented ◽  
The One

AbstractNew generations of distributed systems are opening novel perspectives for logic programming (LP): On the one hand, service-oriented architectures represent nowadays the standard approach for distributed systems engineering; on the other hand, pervasive systems mandate for situated intelligence. In this paper, we introduce the notion ofLogic Programming as a Service(LPaaS) as a means to address the needs of pervasive intelligent systems through logic engines exploited as a distributed service. First, we define the abstract architectural model by re-interpreting classical LP notions in the new context; then we elaborate on the nature of LP interpreted as a service by describing the basic LPaaS interface. Finally, we show how LPaaS works in practice by discussing its implementation in terms of distributed tuProlog engines, accounting for basic issues such as interoperability and configurability.

From ERP to Enterprise Service-Oriented Architecture

2011 ◽  
pp. 169-180
Author(s):  
Valentin Nicolescu ◽  
Holger Wittges ◽  
Helmut Krcmar
Keyword(s):  
Historical Development ◽  
Service Oriented Architecture ◽  
The Other ◽  
Current Status ◽  
Enterprise Software ◽  
Erp System ◽  
Modern Enterprise ◽  
Flexible Architecture ◽  
Service Oriented ◽  
The One

This chapter provides an overview of past and present development in technical platforms of ERP systems and its use in enterprises. Taking into consideration the two layers of application and technology, we present the classical scenario of an ERP system as a monolithic application block. As the demands of modern enterprise software cannot be met by this concept, the shift to a more flexible architecture like the service-oriented architecture (SOA) is the current status quo of modern companies. Keeping in mind the administrative complexity of such structures, we will discuss the new idea of business Webs. The purpose of our chapter is, on the one hand, to show the historical development of ERP system landscapes and, on the other hand, to show the comparison of the presented concepts with respect to application and technology view.

Modeling Process-Driven SOAs

2011 ◽  
pp. 27-48
Author(s):  
Huy Tran ◽  
Ta’id Holmes ◽  
Uwe Zdun ◽  
Schahram Dustdar
Keyword(s):  
Business Process ◽  
Process Development ◽  
Control Flow ◽  
Levels Of Abstraction ◽  
Service Oriented Architectures ◽  
Model Driven ◽  
Service Oriented ◽  
The One ◽  
Abstraction Levels ◽  
Model Driven Approach

This chapter introduces a view-based, model-driven approach for process-driven, service-oriented architectures. A typical business process consists of numerous tangled concerns, such as the process control flow, service invocations, fault handling, transactions, and so on. Our view-based approach separates these concerns into a number of tailored perspectives at different abstraction levels. On the one hand, the separation of process concerns helps reducing the complexity of process development by breaking a business process into appropriate architectural views. On the other hand, the separation of levels of abstraction offers appropriately adapted views to stakeholders, and therefore, helps quickly re-act to changes at the business level and at the technical level as well. Our approach is realized as a model-driven tool-chain for business process development.

A MODEL-DRIVEN APPROACH TO WEAVE ARCHITECTURAL STYLES INTO SERVICE-ORIENTED ARCHITECTURES

2011 ◽  
Vol 20 (02) ◽  
pp. 201-220 ◽  
Author(s):  
MARCOS LÓPEZ-SANZ ◽  
JUAN MANUEL VARA ◽  
ESPERANZA MARCOS ◽  
CARLOS E. CUESTA
Keyword(s):  
Software Engineering ◽  
Architectural Style ◽  
Service Oriented Architectures ◽  
Model Driven Development ◽  
Model Driven ◽  
Architectural Styles ◽  
Architectural Model ◽  
Service Oriented ◽  
Architectural Models ◽  
Model Driven Approach

Model-driven development is recognized as one of the most promising approaches in software engineering. Recent research in the area highlights the importance of using an explicit architectural model in this context. Since service-oriented architectures have also demonstrated to be adequate to overcome current software needs, the idea of using the model-driven approach to generate service-oriented architectural models has successfully flourished in the last years. However, the emphasis on the Service-Oriented Computing (SOC) paradigm has led to the design of architectures lacking some desirable features. Knowing the benefits provided by architectural styles, we have found that their use can help us to overcome those needs. Our goal is to obtain a service-oriented model which satisfies the requirements of the concrete architecture and complies with the constraints and vocabulary defined for a specific architectural style. To achieve this, here, we propose to use a weaving model which merges the concrete architectural model with a model of the architectural style of choice.

Identification, Specification, and Development of Web-Oriented Architectures

2012 ◽  
Vol 4 (1) ◽  
pp. 1-21 ◽  
Author(s):  
Gunnar Thies ◽  
Gottfried Vossen
Keyword(s):  
Distributed Systems ◽  
Service Oriented Architectures ◽  
Web Architecture ◽  
Black Boxes ◽  
Core Elements ◽  
Service Oriented ◽  
The Cost ◽  
Specific Technology ◽  
The Web

Web-oriented Architectures (WOAs) provide a way of designing an IT system by using a variety of Web Procedures, i.e., procedures (or services) called over the Web. The idea of (typically atomic) components that are black boxes, have interfaces, and can be assembled into a larger process is fundamental and has existed since the early days of distributed systems. Two particular types of modern distributed systems are Service-oriented Architectures and Resource-oriented Architectures, which are built on specific technology stacks and define their own concepts. A WOA uses the best of both worlds plus specifics like Web APIs to build an interconnected IT system in the easiest way possible. In this article, the authors introduce the concept behind a WOA, the topology of a WOA, and possible integration scenarios within an enterprise. More importantly, the authors discuss what a methodology for building a WOA can look like and how control can be achieved, by using a logical software element called the Web Architecture Controller, which specifies the Web-centric core elements of a WOA. Lastly, the cost of implementing and running such a system is briefly addressed.

Reusing Services through Context-Aware Discovery and Adaptation in Pervasive Systems

2014 ◽  
pp. 1956-2013
Author(s):  
Javier Cubo ◽  
Ernesto Pimentel
Keyword(s):  
The Other ◽  
Software Systems ◽  
Adaptation Process ◽  
Context Aware ◽  
Discovery Process ◽  
Standard Practice ◽  
Pervasive Systems ◽  
Develop Software ◽  
The One ◽  
Adaptation Processes

Reusing of software entities, such as components or services, to develop software systems has matured in recent years. However, it has not become standard practice yet, since using pre-existing software requires the selection, composition, adaptation, and evolution of prefabricated software parts. Recent research approaches have independently tackled the discovery, composition, or adaptation processes. On the one hand, the discovery process aims at discovering the most suitable services for a request. On the other hand, the adaptation process solves, as automatically as possible, mismatch cases which may be given at the different interoperability levels among interfaces by generating a mediating adaptor based on an adaptation contract. In this chapter, the authors present the DAMASCo framework, which focuses on composing services in mobile and pervasive systems accessed through their public interfaces, by means of context-aware discovery and adaptation. DAMASCo has been implemented and evaluated on several examples.

Reusing Services through Context-Aware Discovery and Adaptation in Pervasive Systems

2012 ◽  
pp. 90-147
Author(s):  
Javier Cubo ◽  
Ernesto Pimentel
Keyword(s):  
The Other ◽  
Software Systems ◽  
Adaptation Process ◽  
Context Aware ◽  
Discovery Process ◽  
Standard Practice ◽  
Pervasive Systems ◽  
Develop Software ◽  
The One ◽  
Adaptation Processes

Reusing of software entities, such as components or services, to develop software systems has matured in recent years. However, it has not become standard practice yet, since using pre-existing software requires the selection, composition, adaptation, and evolution of prefabricated software parts. Recent research approaches have independently tackled the discovery, composition, or adaptation processes. On the one hand, the discovery process aims at discovering the most suitable services for a request. On the other hand, the adaptation process solves, as automatically as possible, mismatch cases which may be given at the different interoperability levels among interfaces by generating a mediating adaptor based on an adaptation contract. In this chapter, the authors present the DAMASCo framework, which focuses on composing services in mobile and pervasive systems accessed through their public interfaces, by means of context-aware discovery and adaptation. DAMASCo has been implemented and evaluated on several examples.

A systems engineering approach to variable intakes for civil aviation

2019 ◽  
Vol 234 (10) ◽  
pp. 1721-1729 ◽  
Author(s):  
Stefan Kazula ◽  
Klaus Höschler
Keyword(s):  
Systems Engineering ◽  
The Other ◽  
Civil Aviation ◽  
Design Problems ◽  
Engineering Approach ◽  
Other Hand ◽  
Methodical Approach ◽  
Aero Engine ◽  
Aero Engines ◽  
The One

A systems engineering approach to develop variable nacelle intakes for aero engines in civil aviation is presented. The goal of this methodical approach is to find solutions to design problems that can be successfully utilised in aviation without further effort during the certification. By using variable intakes, aircraft and aero engine manufacturers can fulfil their customers’ needs for safe, efficient and fast travelling. Therefore, a system shall be installed which is able to modify the nacelle intake contour between two extrema. On the one hand, a sharp thin contour, which produces low drag and allows to fly faster or more efficiently, is optimal during cruise condition. On the other hand, a round thick intake lip is necessary to avoid flow separations with the potential to cause dangerous events during take-off and climb conditions. The utilised systems engineering approach is introduced. The executed steps and methods used for creating and evaluating concept variants for variable intakes are displayed particularly. Those contain the determination and evaluation of requirements and functions as well as the generation and assessment of concepts. Finally, yet importantly, following tasks are presented.

Diversified Architectural Model: Chinese-and-Western Architectural Style of Residences in Ancient Town of Nanxun

2013 ◽  
Vol 357-360 ◽  
pp. 219-223
Author(s):  
Xin Ke Zhang
Keyword(s):  
Social Climate ◽  
The Other ◽  
The Political ◽  
Architectural Style ◽  
Aesthetic Taste ◽  
Architectural Model ◽  
New Ideas ◽  
The One ◽  
Political Economic ◽  
Opening Up

On the one hand, the opening up of the trading ports in the late 19th century has blocked the way of independent development of national capitalism, but on the other hand, it also exploited a vast market for the development of national capitalism, and promoted its own development. Zhejiang silk traders took this opportunity to go abroad for accepting foreign cultures and new ideas which were also reflected on the architectures. Their residences have broken the styles of the Chinese traditional architectures which are made of wood, stone, pantile, etc. and blended the western architectural culture elements in the roof form and facade material of the buildings. With Chinese style outside and western style inside, with elegance outside and dominance inside, the residences mainly make a perfect combination of Chinese pattern and western pattern. Based on the political, economic and social climate of the time, this article seeks the design features and aesthetic taste of Chinese and Western architectures.

scholarly journals Logic programming with satisfiability

2007 ◽  
Vol 8 (01) ◽  
pp. 121-128 ◽  
Author(s):  
MICHAEL CODISH ◽  
VITALY LAGOON ◽  
PETER J. STUCKEY
Keyword(s):  
Logic Programming ◽  
The Other ◽  
Sat Solving ◽  
Search Problems ◽  
Prolog Program ◽  
Programming Paradigm ◽  
The One ◽  
Satisfiability Solver

AbstractThis paper presents a Prolog interface to the MiniSat satisfiability solver. Logic programming with satisfiability combines the strengths of the two paradigms: logic programming for encoding search problems into satisfiability on the one hand and efficient SAT solving on the other. This synergy between these two exposes a programming paradigm that we propose here as a logic programming pearl. To illustrate logic programming with SAT solving, we give an example Prolog program that solves instances of Partial MAXSAT.

Identification of Vulnerabilities in Web Services using Model-Based Security

2010 ◽  
pp. 1-32 ◽  
Author(s):  
Sebastian Höhn ◽  
Lutz Lowis ◽  
Jan Jürjens ◽  
Rafael Accorsi
Keyword(s):  
Business Processes ◽  
Service Oriented Architecture ◽  
Vulnerability Analysis ◽  
Service Oriented Architectures ◽  
Model Based ◽  
Systems Model ◽  
Protection Mechanisms ◽  
Service Oriented ◽  
Manual Tasks ◽  
The One

In a service-oriented architecture, business processes are executed as composition of services, which can suffer from vulnerabilities. These vulnerabilities in services and the underlying software applications put at risk computer systems in general and business processes in particular. Current vulnerability analysis approaches involve several manual tasks and, hence, are error-prone and costly. Service-oriented architectures impose additional analysis complexity as they provide much flexibility and frequent changes within orchestrated processes and services. Therefore, it is inevitable to provide tools and mechanisms that enable efficient and effective management of vulnerabilities within these complex systems. Model-based security engineering is a promising approach that can help to fill the gap between vulnerabilities on the one hand, and concrete protection mechanisms on the other. The authors present an approach that integrates model-based engineering and vulnerability analysis in order to cope with the security challenges of a service-oriented architecture.

Sign in / Sign up

Export Citation Format

Share Document