tool support for systematic development of well-behaved and efficient bidirectional model transformation prevents it from being widely used. In this paper, we solve this problem by proposing an integrated framework called GRoundTram, which is carefully designed and implemented for compositional

tool support for systematic development of well-behaved and efficient bidirec-tional model transformation prevents it from being widely used. In this paper, we solve this problem by proposing an integrated framework called GRoundTram, which is carefully designed and implemented for compositional

supporting for systematic development prevents it from being widely used. In this paper, we solve this problem by proposing an integrated framework called GRoundTram (Graph Roundtrip Transformation for Models), which is carefully designed and implemented for compositional development of well-behaved

Negation in logic programming differs a lot from classic logic. Many semantics have been suggested...

the mission of improving DoD’s understanding of the national security implications of the Information Age. Focusing upon improving both the state of the art and the state of the practice of command and control, the CCRP helps DoD take full advantage of the opportunities afforded by emerging technologies. The CCRP pursues a broad program of research and analysis in information superiority, information operations, command and control theory, and associated operational concepts that enable us to leverage shared awareness to improve the effectiveness and efficiency of assigned missions. An important aspect of the CCRP program is its ability to serve as a bridge between the operational, technical, analytical, and educational communities. The CCRP provides leadership for the command and control research community by: n n

This thesis is part of the programme aimed at finding a mathematical theory of well-behaved structural operational semantics. General and basic results shown in 1997 in a seminal paper by Turi and Plotkin are extended in two directions, aiming at greater expressivity of the framework. The so

Abstract | Fundamental and advanced developments in neuro-fuzzy synergisms for modeling and control are reviewed. The essential part of neuro-fuzzy synergisms comes from a common framework called adaptive networks, which uni es both neural networks and fuzzy models. The fuzzy models under

This paper presents a new approach to data integration, which combines the previous approaches of local as view (LAV) and global as view (GAV) into a single method we termboth as view (BAV). Our method is based on the use of reversible transformation sequences, and combines the respective

and Information Systems,

the essential properties of well-behaved transformations; it would contra-dict the principle of separation of concerns; and it would require users to write and maintain a different transforma-tion for every subject they would like to share a view with. In this paper, we explore a solution to enforce ABAC