Sciweavers

684 search results - page 2 / 137
» Model Bus: Towards the Interoperability of Modelling Tools
Sort
View
WOTUG
2007
13 years 6 months ago
Modeling and Analysis of the AMBA Bus Using CSP and B
Abstract. In this paper, we present a formal model and analysis of the AMBA Advanced High-performance Bus (AHB) on-chip bus. The model is given in CSP B—an integration of the pro...
Alistair A. McEwan, Steve Schneider
CAD
2006
Springer
13 years 5 months ago
Towards mass customized interoperability
This paper describes an approach to interoperability in design projects that is based on computational agents customizing the representation of product data to individual design to...
Udo Kannengiesser, John S. Gero
ENTCS
2006
96views more  ENTCS 2006»
13 years 5 months ago
Verification of AMBA Using a Combination of Model Checking and Theorem Proving
The Advanced Microcontroller Bus Architecture (AMBA) is an open System-onChip bus protocol for high-performance buses on low-power devices. We demonstrate the combined use of mode...
Hasan Amjad
ICSM
2006
IEEE
13 years 11 months ago
Supporting Collaborative Development in an Open MDA Environment
The MDA approach aims to ease software maintenance faced with platform and business evolution. In this approach, main development artifacts, i.e. models, are defined with the Meta...
Prawee Sriplakich, Xavier Blanc, Marie-Pierre Gerv...
STEP
2005
IEEE
13 years 11 months ago
Using Metamodels in Service Interoperability
Interoperability in service oriented environments is heavily inuenced by the view that the cooperating services have on their data. e term service for the abstract contract concl...
Andreas Winter, Jürgen Ebert