Mashups: An Approach to Overcoming the Business/IT Gap in Service-Oriented Architectures

For quite a long time already, great importance has been attached to the concept of Service-Oriented Architectures for future IT-architectures. However, a major challenge in implementing this concept lies in the gap between the functional department and IT department. Mashups, an architecture also based on services, try to avoid this gap by letting the user himself integrate the services. The following article analyzes similarities and differences between both architecture approaches, and explains to what extent and in which cases Mashups could complement a Service-Oriented Architecture

Standards for Web Service Choreography and Orchestration: Status and Perspectives

Web service composition has been the subject of a number of standardisation initiatives. These initiatives have met various difficulties and had mixed degrees of success, and none of them has yet attained both de facto and de jure status. This paper reviews two of these initiatives with respect to a framework wherein service composition is approached from multiple interrelated perspectives. One conclusion is that standardisation initiatives in this area have not been built on top of an explicitly defined overarching conceptual foundation. The paper outlines a research agenda aimed at identifying requirements and concepts that should be addressed by and incorporated into these standards

JASMine: Accessing Java Code from CoreASM

In this paper we introduce JASMine, a CoreASM plug-in providing means to access Java objects and classes from inside an ASM specification. We discuss why this access is desirable, and provide a formal specification of the new rule forms as well as some notes on the actual implementation. JASMine ensures that the ability to access the “Java world” does not pollute the mathematical purity of the basic ASM computation model; differences between the JASMine approach and the other major research effort in the same direction, namely the way AsmL interacts with the .NET framework, are also discussed

CoreASM: An extensible ASM execution engine

In this paper we introduce a new research effort in making abstract state machines executable. The aim is to specify and implement an execution engine for a language that is as close as possible to the mathematical definition of pure ASM. The paper presents the general architecture of the engine, together with a high-level description of the extensibility mechanisms that are used by the engine to accommodate arbitrary backgrounds, scheduling policies, and new rule forms

CoreASM: An extensible ASM execution engine

In this paper we introduce a new research effort in making abstract state machines (ASMs) executable. The aim is to specify and implement an execution engine for a language that is as close as possible to the mathematical definition of pure ASMs. The paper presents the general architecture of the engine, together with a high-level description of the extensibility mechanisms that are used by the engine to accommodate arbitrary backgrounds, scheduling policies, and new rule forms

Design exploration and experimental validation of abstract requirements

How can one cope with the notorious problem of establishing the correctness and completeness of abstract functional requirements in the design of control-intensive software systems prior to actually building the system? The answer given here explores the abstract state machine (ASM) paradigm: a versatile semantic framework for computational modeling of virtually all kinds of discrete dynamic systems. Combining common abstraction principles from computational logic and discrete mathematics, abstract state machines provide a universal model of computation and an effective instrument for analyzing and reasoning about complex semantic properties of real-world systems. In this paper we introduce a novel ASM tool environment for making ASM ground models executable on real machines. We present the CoreASM language and the general architecture of the CoreASM engine together with a high-level description of its extensibility mechanisms

CoreASM plug-in architecture

Abstract State Machines are known for their versatility in modeling of algorithms, architectures, languages, protocols, and virtually all kinds of sequential, parallel, and distributed systems. CoreASM is a novel executable ASM language which emphasizes freedom of experimentation and supports the evolutionary nature of design as a product of creativity. The CoreASM engine, the heart of the CoreASM tool suite, is based on an extensible architecture which supports various extensions through plug-ins. In this paper, we explore the plug-in architecture of the CoreASM engine and demonstrate its potentials by looking into two implemented plug-ins