137,572 research outputs found
Transitioning Applications to Semantic Web Services: An Automated Formal Approach
Semantic Web Services have been recognized as a promising technology that exhibits huge commercial potential, and attract significant attention from both industry and the research community. Despite expectations being high, the industrial take-up of Semantic Web Service technologies has been slower than expected. One of the main reasons is that many systems have been developed without considering the potential of the web in integrating services and sharing resources. Without a systematic methodology and proper tool support, the migration from legacy systems to Semantic Web Service-based systems can be a very tedious and expensive process, which carries a definite risk of failure. There is an urgent need to provide strategies which allow the migration of legacy systems to Semantic Web Services platforms, and also tools to support such a strategy. In this paper we propose a methodology for transitioning these applications to Semantic Web Services by taking the advantage of rigorous mathematical methods. Our methodology allows users to migrate their applications to Semantic Web Services platform automatically or semi-automatically
Contingent Information Systems Development
Situated approaches based on project contingencies are becoming more and more an important research topic for information systems development organizations. The Information Services Organization, which was investigated, has recognized that it should tune its systems development approaches to the specific situation. A model has been developed, dealing with the matching between prevailing contingency factors and the preconditions of already existing situated approaches. Furthermore, a generic process model for systems development, including the information systems operations stage, is proposed. This model makes it possible to derive from it specific systems development strategies. A number of basic development strategies, specific for the Information Services Organization, are described. Preconditions, specific for this organization, are added to the standard situated approaches
Complex Neuro-Cognitive Systems
Cognitive functions such as a perception, thinking and acting are based on the working of the brain, one of the most complex systems we know. The traditional scientific methodology, however, has proved to be not sufficient to understand the relation between brain and cognition. The aim of this paper is to review an alternative methodology – nonlinear dynamical analysis – and to demonstrate its benefit\ud
for cognitive neuroscience in cases when the usual reductionist method fails
Recovering Grammar Relationships for the Java Language Specification
Grammar convergence is a method that helps discovering relationships between
different grammars of the same language or different language versions. The key
element of the method is the operational, transformation-based representation
of those relationships. Given input grammars for convergence, they are
transformed until they are structurally equal. The transformations are composed
from primitive operators; properties of these operators and the composed chains
provide quantitative and qualitative insight into the relationships between the
grammars at hand. We describe a refined method for grammar convergence, and we
use it in a major study, where we recover the relationships between all the
grammars that occur in the different versions of the Java Language
Specification (JLS). The relationships are represented as grammar
transformation chains that capture all accidental or intended differences
between the JLS grammars. This method is mechanized and driven by nominal and
structural differences between pairs of grammars that are subject to
asymmetric, binary convergence steps. We present the underlying operator suite
for grammar transformation in detail, and we illustrate the suite with many
examples of transformations on the JLS grammars. We also describe the
extraction effort, which was needed to make the JLS grammars amenable to
automated processing. We include substantial metadata about the convergence
process for the JLS so that the effort becomes reproducible and transparent
On relating functional modeling approaches: abstracting functional models from behavioral models
This paper presents a survey of functional modeling approaches and describes a strategy to establish functional knowledge exchange between them. This survey is focused on a comparison of function meanings and representations. It is argued that functions represented as input-output flow transformations correspond to behaviors in the approaches that characterize functions as intended behaviors. Based on this result a strategy is presented to relate the different meanings of function between the approaches, establishing functional knowledge exchange between them. It is shown that this strategy is able to preserve more functional information than the functional knowledge exchange methodology of Kitamura, Mizoguchi, and co-workers. The strategy proposed here consists of two steps. In step one, operation-on-flow functions are translated into behaviors. In step two, intended behavior functions are derived from behaviors. The two-step strategy and its benefits are demonstrated by relating functional models of a power screwdriver between methodologies
A Practical Environment to Apply Model-Driven Web Engineering
The application of a model-driven paradigm in the development of Web Systems has yielded very good research
results. Several research groups are defining metamodels, transformations, and tools which offer a suitable environment,
known as model-driven Web engineering (MDWE). However, there are very few practical experiences in real
Web system developments using real development teams. This chapter presents a practical environment of MDWE
based on the use of NDT (navigational development techniques) and Java Web systems, and it provides a practical
evaluation of its application within a real project: specialized Diraya.Ministerio de Educación y Ciencia TIN2007-67843-C06-03Ministerio de Educación y Ciencia TIN2007-30391-
- …