A Service-Oriented Algebra for Optimizing the Management of Service Requests

2015 ◽  
pp. 337-365
Author(s):  
Roman Vaculín ◽  
Yi-Min Chee ◽  
Daniel V. Oppenheim ◽  
Lav R. Varshney
Keyword(s):  
Specific Information ◽  
Distributed Coordination ◽  
Meta Model ◽  
Loosely Coupled ◽  
Domain Specific ◽  
Service Oriented ◽  
Work Coordination ◽  
Definition Of ◽  
Centralized Coordination

The Work-as-a-Service (WaaS) paradigm models work engagements as compositions of service requests, with the intention of separating the work coordination and enactment. In this chapter we present a definition of the WaaS conceptual meta-model a WaaS protocol, based on algebraic ideas from the area of business artifacts, that enables work decomposition, delegation, control, and enactment. The meta-model supports management and coordination during planning and enactment of work. The essential part is a coordination lifecycle, consisting of loosely coupled milestones, domain-specific information attributes, and sets of abstract observable activities to be performed. The presented service-oriented algebra consists of operations for coordination lifecycles when encapsulated service requests are torn, merged, paused, and resumed. The meta-model and protocol presented in this chapter are independent from the specific coordination enactment model which may employ centralized coordination, fully distributed coordination, or other models of coordination between requestors and providers under various optimization objectives.

Service-Oriented Agents and Meta-Model Driven Implementation

2005 ◽  
pp. 270-291 ◽  
Author(s):  
Yinsheng Li ◽  
Hamada Ghenniwa ◽  
Weiming Shen
Keyword(s):  
Web Services ◽  
Software Agents ◽  
Software Modeling ◽  
Semantic Description ◽  
Implementation Framework ◽  
Meta Model ◽  
Model Driven ◽  
Loosely Coupled ◽  
Dynamic Composition ◽  
Service Oriented

Current efforts have not enforced Web services as loosely coupled and autonomous entities. Web services and software agents have gained different focuses and accomplishments due to their development and application backgrounds. This chapter proposes service-oriented agents (SOAs) to unify Web services and software agents. Web services features can be well realized through introducing software agents’ sophisticated software modeling and interaction behaviors. We present a natural framework to integrate their related technologies into a cohesive body. Several critical challenges with SOAs have been addressed. The concepts, system and component structures, a meta-model driven semantic description, agent-oriented knowledge representation, and an implementation framework are proposed and investigated. They contribute to the identified setbacks with Web services technologies, such as dynamic composition, semantic description, and implementation framework. A prototype of the proposed SOAs implementation framework has been implemented. Several economic services are working on it.

National Interoperability Approach for Social Services Information Management in Finland

2012 ◽  
pp. 851-874
Author(s):  
Juha Mykkänen ◽  
Konstantin Hyppönen ◽  
Pekka Kortelainen ◽  
Antero Lehmuskoski ◽  
Virpi Hotti ◽  
...  
Keyword(s):  
Information Management ◽  
Social Services ◽  
Information Needs ◽  
Success Factors ◽  
National Level ◽  
Management Approach ◽  
Specific Information ◽  
Domain Specific ◽  
National Initiative ◽  
Definition Of

In this chapter, the authors introduce and discuss the approach for defining IT interoperability solutions on national level for social services in Finland. Goals and phases of the national initiative are presented, and various projects related to the transformation and unification of various aspects of supporting social services via interoperability solutions are illustrated. In addition, the path from general e-Government requirements through the definition of domain-specific information and documentation down to the development of technology solutions and dissemination plan is presented. The authors highlight several success factors and issues for the organization of multipartite collaboration, the specification of architectural and information management approach, the selection and definition of technology standards to support the domain-specific information needs and specifications and strategic alternatives for central information repositories.

National Interoperability Approach for Social Services Information Management in Finland

2011 ◽  
pp. 254-278 ◽  
Author(s):  
Juha Mykkänen ◽  
Konstantin Hyppönen ◽  
Pekka Kortelainen ◽  
Antero Lehmuskoski ◽  
Virpi Hotti
Keyword(s):  
Information Management ◽  
Social Services ◽  
Information Needs ◽  
Success Factors ◽  
National Level ◽  
Management Approach ◽  
Specific Information ◽  
Domain Specific ◽  
National Initiative ◽  
Definition Of

In this chapter, the authors introduce and discuss the approach for defining IT interoperability solutions on national level for social services in Finland. Goals and phases of the national initiative are presented, and various projects related to the transformation and unification of various aspects of supporting social services via interoperability solutions are illustrated. In addition, the path from general e-Government requirements through the definition of domain-specific information and documentation down to the development of technology solutions and dissemination plan is presented. The authors highlight several success factors and issues for the organization of multipartite collaboration, the specification of architectural and information management approach, the selection and definition of technology standards to support the domain-specific information needs and specifications and strategic alternatives for central information repositories.

scholarly journals A domain-specific language for defining static structure of database applications

2010 ◽  
Vol 7 (3) ◽  
pp. 409-440 ◽  
Author(s):  
Igor Dejanovic ◽  
Gordana Milosavljevic ◽  
Branko Perisic ◽  
Maja Tumbas
Keyword(s):  
Source Code ◽  
Domain Specific Language ◽  
Static Structure ◽  
Code Generator ◽  
Specific Language ◽  
Meta Model ◽  
Model Driven ◽  
Domain Specific ◽  
Definition Of ◽  
Execution Semantics

In this paper we present DOMMLite - an extensible domain specific language (DSL) for static structure definition of data base oriented applications. The model-driven engineering (MDE) approach, an emerging software development paradigm, has been used. The language structure is defined by the means of a meta model supplemented by validation rules based on Check language and extensions based on Extend language, which are parts of the openArchitectureWare framework [1]. The meta model has been defined along with the textual syntax, which enables creation, update and persistence of DOMMLite models using a common text editor. DSL execution semantics has been defined by the specification and implementation of the source code generator for a target platform with an already defined execution semantics. In order to enable model editing, a textual Eclipse editor has also been developed. DSL, defined in this way, has the capability of generating complete source code for GUI forms with CRUDS (Create-Read-Update-Delete-Search) and navigation operations [2,3,4,5].

WEB SERVICE CHOREOGRAPHY CONFORMANCE VERIFICATION THROUGH THE piX-MODEL

2010 ◽  
Vol 19 (01n02) ◽  
pp. 1-30 ◽  
Author(s):  
GREGORY VAN SEGHBROECK ◽  
BRUNO VOLCKAERT ◽  
FILIP DE TURCK ◽  
BART DHOEDT ◽  
PIET DEMEESTER
Keyword(s):  
Service Oriented Architecture ◽  
Turnaround Time ◽  
Distributed Coordination ◽  
Conformance Checking ◽  
Loosely Coupled ◽  
The Past ◽  
Service Oriented ◽  
Service Choreography ◽  
Π Calculus ◽  
Constrained Devices

As the adoption of the Service Oriented Architecture paradigm has dramatically increased over the past few years, proper coordination of loosely coupled services becomes an important issue when building state-of-the-art applications. This coordination is typically organized through orchestration (requiring a central coordinating entity) or through choreographies. While the latter approach allows for a fully distributed coordination, the need also arises for a distributed conformance check, ensuring that each participant of the choreography behaves according to the general choreography. In this paper, a formalism is presented to ensure this conformance at design time, with possible extensions to deploy time and to runtime conformance checking. This formalism is referred to as the piX-model and it will be shown that the approach taken is inherently less complex, both in time and space, than the conventional π-calculus-based approach, whilst offering the same conformance guarantees. This gain in performance allows for a small design turnaround time, and also opens the avenue to runtime conformance checking by resource constrained devices.

Towards Open Graphical Tool-Building Framework

2011 ◽  
Vol 43 (1) ◽  
pp. 80-87 ◽  
Author(s):  
Edgars Rencis ◽  
Janis Barzdins ◽  
Sergejs Kozlovics
Keyword(s):  
Deep Understanding ◽  
Easy Task ◽  
Domain Specific ◽  
Activity Diagrams ◽  
Graphical Tool ◽  
One Step ◽  
Uml Activity Diagrams ◽  
Definition Of ◽  
Tool Building

Towards Open Graphical Tool-Building Framework Nowadays, there are many frameworks for developing domain-specific tools. However, if we want to create a really sophisticated tool with specific functionality requirements, it is not always an easy task to do. Although tool-building platforms offer some means for extending the tool functionality and accessing it from external applications, it usually requires a deep understanding of various technical implementation details. In this paper we try to go one step closer to a really open graphical tool-building framework that would allow both to change the behavior of the tool and to access the tool from the outside easily. We start by defining a specialization of metamodels which is a great and powerful facility itself. Then we go on and show how this can be applied in the field of graphical domain-specific tool building. The approach is demonstrated on an example of a subset of UML activity diagrams. The benefits of the approach are also clearly indicated. These include a natural and intuitive definition of tools, a strict logic/presentation separation and the openness for extensions as well as for external applications.

Knowledge Enhanced LSTM for Coreference Resolution on Biomedical Texts

2021 ◽  
Author(s):  
Yufei Li ◽  
Xiaoyong Ma ◽  
Xiangyu Zhou ◽  
Pengzhen Cheng ◽  
Kai He ◽  
...  
Keyword(s):  
Information Integration ◽  
Short Term Memory ◽  
Superior Performance ◽  
Supplementary Information ◽  
Specific Information ◽  
Coreference Resolution ◽  
Fine Grained ◽  
Domain Specific ◽  
Memory Network ◽  
Biomedical Texts

Abstract Motivation Bio-entity Coreference Resolution focuses on identifying the coreferential links in biomedical texts, which is crucial to complete bio-events’ attributes and interconnect events into bio-networks. Previously, as one of the most powerful tools, deep neural network-based general domain systems are applied to the biomedical domain with domain-specific information integration. However, such methods may raise much noise due to its insufficiency of combining context and complex domain-specific information. Results In this paper, we explore how to leverage the external knowledge base in a fine-grained way to better resolve coreference by introducing a knowledge-enhanced Long Short Term Memory network (LSTM), which is more flexible to encode the knowledge information inside the LSTM. Moreover, we further propose a knowledge attention module to extract informative knowledge effectively based on contexts. The experimental results on the BioNLP and CRAFT datasets achieve state-of-the-art performance, with a gain of 7.5 F1 on BioNLP and 10.6 F1 on CRAFT. Additional experiments also demonstrate superior performance on the cross-sentence coreferences. Supplementary information Supplementary data are available at Bioinformatics online.

PROTEIN STRUCTURE ALIGNMENT AND FAST SIMILARITY SEARCH USING LOCAL SHAPE SIGNATURES

2004 ◽  
Vol 02 (01) ◽  
pp. 215-239 ◽  
Author(s):  
TOLGA CAN ◽  
YUAN-FANG WANG
Keyword(s):  
Protein Structure ◽  
Protein Structures ◽  
Structure Alignment ◽  
Protein Structure Alignment ◽  
Specific Information ◽  
Alignment Algorithm ◽  
Screening Process ◽  
Domain Specific ◽  
Local Sequence ◽  
Shape Signatures

We present a new method for conducting protein structure similarity searches, which improves on the efficiency of some existing techniques. Our method is grounded in the theory of differential geometry on 3D space curve matching. We generate shape signatures for proteins that are invariant, localized, robust, compact, and biologically meaningful. The invariancy of the shape signatures allows us to improve similarity searching efficiency by adopting a hierarchical coarse-to-fine strategy. We index the shape signatures using an efficient hashing-based technique. With the help of this technique we screen out unlikely candidates and perform detailed pairwise alignments only for a small number of candidates that survive the screening process. Contrary to other hashing based techniques, our technique employs domain specific information (not just geometric information) in constructing the hash key, and hence, is more tuned to the domain of biology. Furthermore, the invariancy, localization, and compactness of the shape signatures allow us to utilize a well-known local sequence alignment algorithm for aligning two protein structures. One measure of the efficacy of the proposed technique is that we were able to perform structure alignment queries 36 times faster (on the average) than a well-known method while keeping the quality of the query results at an approximately similar level.

scholarly journals Reliable Learning with PDE-Based CNNs and DenseNets for Detecting COVID-19, Pneumonia, and Tuberculosis from Chest X-Ray Images

Mathematics ◽  
2021 ◽  
Vol 9 (4) ◽  
pp. 434
Author(s):  
Anca Nicoleta Marginean ◽  
Delia Doris Muntean ◽  
George Adrian Muntean ◽  
Adelina Priscu ◽  
Adrian Groza ◽  
...  
Keyword(s):  
Transfer Learning ◽  
Negative Impact ◽  
X Ray ◽  
Domain Specific ◽  
Direct Training ◽  
Public Data ◽  
Normal Chest ◽  
Chest X Ray ◽  
The Stability ◽  
Definition Of

It has recently been shown that the interpretation by partial differential equations (PDEs) of a class of convolutional neural networks (CNNs) supports definition of architectures such as parabolic and hyperbolic networks. These networks have provable properties regarding the stability against the perturbations of the input features. Aiming for robustness, we tackle the problem of detecting changes in chest X-ray images that may be suggestive of COVID-19 with parabolic and hyperbolic CNNs and with domain-specific transfer learning. To this end, we compile public data on patients diagnosed with COVID-19, pneumonia, and tuberculosis, along with normal chest X-ray images. The negative impact of the small number of COVID-19 images is reduced by applying transfer learning in several ways. For the parabolic and hyperbolic networks, we pretrain the networks on normal and pneumonia images and further use the obtained weights as the initializers for the networks to discriminate between COVID-19, pneumonia, tuberculosis, and normal aspects. For DenseNets, we apply transfer learning twice. First, the ImageNet pretrained weights are used to train on the CheXpert dataset, which includes 14 common radiological observations (e.g., lung opacity, cardiomegaly, fracture, support devices). Then, the weights are used to initialize the network which detects COVID-19 and the three other classes. The resulting networks are compared in terms of how well they adapt to the small number of COVID-19 images. According to our quantitative and qualitative analysis, the resulting networks are more reliable compared to those obtained by direct training on the targeted dataset.

Sign in / Sign up

Export Citation Format

Share Document