169,449 research outputs found
Recommended from our members
Enterprise application reuse: Semantic discovery of business grid services
Web services have emerged as a prominent paradigm for the development of distributed software systems as they provide the potential for software to be modularized in a way that functionality can be described, discovered and deployed in a platform independent manner over a network (e.g., intranets, extranets and the Internet). This paper examines an extension of this paradigm to encompass ‘Grid Services’, which enables software capabilities to be recast with an operational focus and support a heterogeneous mix of business software and data, termed a Business Grid - "the grid of semantic services". The current industrial representation of services is predominantly syntactic however, lacking the fundamental semantic underpinnings required to fulfill the goals of any semantically-oriented Grid. Consequently, the use of semantic technology in support of business software heterogeneity is investigated as a likely tool to support a diverse and distributed software inventory and user. Service discovery architecture is therefore developed that is (a) distributed in form, (2) supports distributed service knowledge and (3) automatically extends service knowledge (as greater descriptive precision is inferred from the operating application system). This discovery engine is used to execute several real-word scenarios in order to develop and test a framework for engineering such grid service knowledge. The examples presented comprise software components taken from a group of Investment Banking systems. Resulting from the research is a framework for engineering servic
A Pattern Language for High-Performance Computing Resilience
High-performance computing systems (HPC) provide powerful capabilities for
modeling, simulation, and data analytics for a broad class of computational
problems. They enable extreme performance of the order of quadrillion
floating-point arithmetic calculations per second by aggregating the power of
millions of compute, memory, networking and storage components. With the
rapidly growing scale and complexity of HPC systems for achieving even greater
performance, ensuring their reliable operation in the face of system
degradations and failures is a critical challenge. System fault events often
lead the scientific applications to produce incorrect results, or may even
cause their untimely termination. The sheer number of components in modern
extreme-scale HPC systems and the complex interactions and dependencies among
the hardware and software components, the applications, and the physical
environment makes the design of practical solutions that support fault
resilience a complex undertaking. To manage this complexity, we developed a
methodology for designing HPC resilience solutions using design patterns. We
codified the well-known techniques for handling faults, errors and failures
that have been devised, applied and improved upon over the past three decades
in the form of design patterns. In this paper, we present a pattern language to
enable a structured approach to the development of HPC resilience solutions.
The pattern language reveals the relations among the resilience patterns and
provides the means to explore alternative techniques for handling a specific
fault model that may have different efficiency and complexity characteristics.
Using the pattern language enables the design and implementation of
comprehensive resilience solutions as a set of interconnected resilience
patterns that can be instantiated across layers of the system stack.Comment: Proceedings of the 22nd European Conference on Pattern Languages of
Program
Bounded Refinement Types
We present a notion of bounded quantification for refinement types and show
how it expands the expressiveness of refinement typing by using it to develop
typed combinators for: (1) relational algebra and safe database access, (2)
Floyd-Hoare logic within a state transformer monad equipped with combinators
for branching and looping, and (3) using the above to implement a refined IO
monad that tracks capabilities and resource usage. This leap in expressiveness
comes via a translation to "ghost" functions, which lets us retain the
automated and decidable SMT based checking and inference that makes refinement
typing effective in practice.Comment: 14 pages, International Conference on Functional Programming, ICFP
201
From New London to Norwood: A Year in the Life of Eminent Domain
A little more than a year after the U.S. Supreme Court\u27s decision in Kelo v. City of New London upheld the use of eminent domain for economic development, the Ohio Supreme Court became the first state supreme court to address a factual situation raising the same issues. In City of Norwood v. Horney, the Ohio court repudiated the Kelo rationale and rejected Norwood\u27s proposed takings. Property rights advocates quickly hailed Norwood as a model for other state courts to follow in defending individual land owners from eminent domain abuse. This Note argues that Norwood\u27s holding is incoherent and does nothing to resolve the language-based quagmire that inflames the eminent domain debate. This Note instead contends that the Connecticut Supreme Court\u27s more nuanced Kelo v. City of New London opinion is a superior state court model, which better captures the necessary balance between individual property rights and urban revitalization plans involving eminent domain
Automating SLA-Driven API Development with SLA4OAI
The OpenAPI Specification (OAS) is the de facto standard
to describe RESTful APIs from a functional perspective. OAS has been
a success due to its simple model and the wide ecosystem of tools supporting the SLA-Driven API development lifecycle. Unfortunately, the
current OAS scope ignores crucial information for an API such as its
Service Level Agreement (SLA). Therefore, in terms of description and
management of non-functional information, the disadvantages of not having a standard include the vendor lock-in and prevent the ecosystem to
grow and handle extra functional aspects.
In this paper, we present SLA4OAI, pioneering in extending OAS not
only allowing the specification of SLAs, but also supporting some stages
of the SLA-Driven API lifecycle with an open-source ecosystem. Finally,
we validate our proposal having modeled 5488 limitations in 148 plans
of 35 real-world APIs and show an initial interest from the industry with
600 and 1900 downloads and installs of the SLA Instrumentation Library
and the SLA Engine.Ministerio de EconomÃa y Competitividad TIN2015-70560-RMinisterio de Ciencia, Innovación y Universidades RTI2018-101204-B-C21Ministerio de Educación, Cultura y Deporte FPU15/0298
Introduction to Microservice API Patterns (MAP)
The Microservice API Patterns (MAP) language and supporting website premiered under this name at Microservices 2019. MAP distills proven, platform- and technology-independent solutions to recurring (micro-)service design and interface specification problems such as finding well-fitting service granularities, rightsizing message representations, and managing the evolution of APIs and their implementations. In this paper, we motivate the need for such a pattern language, outline the language organization and present two exemplary patterns describing alternative options for representing nested data. We also identify future research and development directions
Limiting the Business Method Patent: A Comparison and Proposed Alignment of European, Japanese and United States Patent Law
That ideas should freely spread from one to another over the globe, for the moral and mutual instruction of man, and improvement of his condition…
- …