Sciweavers

93 search results - page 2 / 19
» Exogenous Connectors for Software Components
Sort
View
FMCO
2007
Springer
196views Formal Methods» more  FMCO 2007»
13 years 11 months ago
Coordinating Object Oriented Components Using Data-Flow Networks
We propose a framework for component-based modeling of distributed systems. It provides separation of concerns between computation (in object oriented components), coordination (vi...
Mohammad Mahdi Jaghoori
CBSE
2009
Springer
14 years 2 months ago
Control Encapsulation: A Calculus for Exogenous Composition of Software Components
Abstract. In current software components models, components do not encapsulate control, and are composed by connection mechanisms which pass control from component to component. Co...
Kung-Kiu Lau, Mario Ornaghi
EWSA
2006
Springer
13 years 11 months ago
Eliminating Execution Overhead of Disabled Optional Features in Connectors
Connectors are used to realize component interactions in component systems. Apart from their primary function, which is mediating the communication, their implementation can also s...
Lubomír Bulej, Tomás Bures
COMPSAC
2007
IEEE
14 years 1 months ago
An Automatic Connector Generation Method for Dynamic Architecture
In a component-based system components are basic computation units implementing specific business functions, and their interactions are explicitly represented by connectors. If th...
Yiming Yang, Xin Peng, Wenyun Zhao
TASE
2009
IEEE
14 years 2 months ago
Fault-Based Test Case Generation for Component Connectors
The complex interactions appearing in service-oriented computing make coordination a key concern in serviceoriented systems. In this paper, we present a fault-based method to gene...
Bernhard K. Aichernig, Farhad Arbab, Lacramioara A...