10,585 research outputs found
Explorative R&D collaboration: Searching for effective and efficient governance mechanisms.
Explorative R&D collaboration is an important alternative for the internal development of new technologies. The high failure rate of this type of inter-organizational collaboration, however, indicates that governing explorative R&D collaboration is not a straightforward task. Moreover, we argue that different theoretical perspectives have formulated contradictory advice of how to govern explorative R&D collaboration. Given high risks of opportunistic behavior and high coordination costs within explorative R&D collaboration, Transaction Cost Economics and Organization Theory emphasize the need for formal governance mechanisms. The innovation literature, however, stresses that formal governance mechanisms prohibit the carrying out of explorative activities which are necessary to develop new technologies. We also suggest two alternatives to address these paradoxical requirements. In specific, we argue that effective and efficient governance of explorative R&D collaboration can be achieved by 1) collecting second-hand information about potential partners, allowing for the substitution of formal governance by relational governance, and 2) combining formal and relational governance mechanisms. Based on these theoretical findings, we emphasize the importance of longitudinal, multi-level research to study the characteristics and dynamics of different governance mechanisms within inter-organizational collaboration.Behavior; Characteristics; Coordination; Cost; Costs; Dynamics; Economics; Governance; Information; Innovation; Organization theory; R&D; Requirements; Research; Risk; Studies; Substitution; Technology; Theory; Transaction cost;
An algebraic semantics for QVT-relations check-only transformations
Fundamenta Informaticae, 114 1, Juan de Lara, Esther Guerra, An algebraic semantics for QVT-relations check-only transformations, 73-101, Copyright 2012, with permission from IOS PressQVT is the standard for model transformation defined by the OMG in the context of the Model-Driven Architecture. It is made of several transformation languages. Among them, QVT-Relations is the one with the highest level of abstraction, as it permits developing bidirectional transformations in a declarative, relational style. Unfortunately, the standard only provides a semiformal description of its semantics, which hinders analysis and has given rise to ambiguities in existing tool implementations. In order to improve this situation, we propose a formal, algebraic semantics for QVT-Relations check-only transformations, defining a notion of satisfaction of QVT-Relations specifications by models.This work has been supported by the Spanish Ministry of Science and Innovation with projects METEORIC (TIN2008-02081) and Go Lite (TIN2011-24139), and by the R&D program of the Community of Madrid with project “e-Madrid” (S2009/TIC-1650)
TEMPOS: A Platform for Developing Temporal Applications on Top of Object DBMS
This paper presents TEMPOS: a set of models and languages supporting the manipulation of temporal data on top of object DBMS. The proposed models exploit object-oriented technology to meet some important, yet traditionally neglected design criteria related to legacy code migration and representation independence. Two complementary ways for accessing temporal data are offered: a query language and a visual browser. The query language, namely TempOQL, is an extension of OQL supporting the manipulation of histories regardless of their representations, through fully composable functional operators. The visual browser offers operators that facilitate several time-related interactive navigation tasks, such as studying a snapshot of a collection of objects at a given instant, or detecting and examining changes within temporal attributes and relationships. TEMPOS models and languages have been formalized both at the syntactical and the semantical level and have been implemented on top of an object DBMS. The suitability of the proposals with regard to applications' requirements has been validated through concrete case studies
Toward Semantics-aware Representation of Digital Business Processes
An extended enterprise (EE) can be described by a set of models each representing a specific aspect of the EE.
Aspects can for example be the process flow or the value description. However, different models are done by different
people, which may use different terminology, which prevents relating the models. Therefore, we propose a framework
consisting of process flow and value aspects and in addition a static domain model with structural and relational
components. Further, we outline the usage of the static domain model to enable relating the different aspects
CREOLE: a Universal Language for Creating, Requesting, Updating and Deleting Resources
In the context of Service-Oriented Computing, applications can be developed
following the REST (Representation State Transfer) architectural style. This
style corresponds to a resource-oriented model, where resources are manipulated
via CRUD (Create, Request, Update, Delete) interfaces. The diversity of CRUD
languages due to the absence of a standard leads to composition problems
related to adaptation, integration and coordination of services. To overcome
these problems, we propose a pivot architecture built around a universal
language to manipulate resources, called CREOLE, a CRUD Language for Resource
Edition. In this architecture, scripts written in existing CRUD languages, like
SQL, are compiled into Creole and then executed over different CRUD interfaces.
After stating the requirements for a universal language for manipulating
resources, we formally describe the language and informally motivate its
definition with respect to the requirements. We then concretely show how the
architecture solves adaptation, integration and coordination problems in the
case of photo management in Flickr and Picasa, two well-known service-oriented
applications. Finally, we propose a roadmap for future work.Comment: In Proceedings FOCLASA 2010, arXiv:1007.499
Formal Analysis of Linear Control Systems using Theorem Proving
Control systems are an integral part of almost every engineering and physical
system and thus their accurate analysis is of utmost importance. Traditionally,
control systems are analyzed using paper-and-pencil proof and computer
simulation methods, however, both of these methods cannot provide accurate
analysis due to their inherent limitations. Model checking has been widely used
to analyze control systems but the continuous nature of their environment and
physical components cannot be truly captured by a state-transition system in
this technique. To overcome these limitations, we propose to use
higher-order-logic theorem proving for analyzing linear control systems based
on a formalized theory of the Laplace transform method. For this purpose, we
have formalized the foundations of linear control system analysis in
higher-order logic so that a linear control system can be readily modeled and
analyzed. The paper presents a new formalization of the Laplace transform and
the formal verification of its properties that are frequently used in the
transfer function based analysis to judge the frequency response, gain margin
and phase margin, and stability of a linear control system. We also formalize
the active realizations of various controllers, like
Proportional-Integral-Derivative (PID), Proportional-Integral (PI),
Proportional-Derivative (PD), and various active and passive compensators, like
lead, lag and lag-lead. For illustration, we present a formal analysis of an
unmanned free-swimming submersible vehicle using the HOL Light theorem prover.Comment: International Conference on Formal Engineering Method
- …