scholarly journals Carmen: Software Component Model Checker

2008 ◽  
pp. 71-85
Author(s):  
Aleš Plšek ◽  
Jiří Adámek
Keyword(s):  
Software Component ◽  
Component Model ◽  
Model Checker

Extended software component model for testing and reuse

2010 ◽  
Author(s):  
Ying Jiang ◽  
Yu-Ke Lu ◽  
Hai-Rui Wang ◽  
Ying-Na Li ◽  
Xiao-Dong Fu
Keyword(s):  
Software Component ◽  
Component Model

The Rapid Modeling and Application of Optimization in Management and Organization for Mini Harbour

2011 ◽  
Vol 422 ◽  
pp. 310-313
Author(s):  
Fa Ming Li ◽  
You Xin Zheng
Keyword(s):  
Software Component ◽  
Component Model ◽  
Software Enterprise ◽  
Component Software ◽  
Enterprise Model ◽  
Enterprise Models ◽  
Model Components ◽  
Rapid Modeling

In order to optimize the managing mechanism and setup organization, With the help of the concept of software component and component software, enterprise model components and component-based enterprise models were presented in this paper. In this way, Acomponent-based port model can be created rapidly and efficiently, the celerity managing component model of library is establish .

Mixing Workflows and Components to Support Evolving Services

2010 ◽  
Vol 1 (4) ◽  
pp. 60-84 ◽  
Author(s):  
Françoise Baude ◽  
Virginie Legrand ◽  
Ludovic Henrio ◽  
Paul Naoumenko ◽  
Heiko Pfeffer ◽  
...  
Keyword(s):  
Timed Automata ◽  
General Purpose ◽  
Software Component ◽  
Component Model ◽  
Business Logic ◽  
Distributed Software ◽  
Distributed Services ◽  
Composite Services ◽  
Remote Services ◽  
Logic Level

Composite distributed services involve local and remote services that get orchestrated according to specific business logic. This logic can be programmed by applying a traditional general-purpose programming language, but is generally described using a workflow language that coordinates a set of given services. The services involved in the composition, or the composition may need to evolve both at the business logic level (workflow level) and the global architecture level. This paper presents a solution to ease such evolution for compound distributed services and the authors’ proposal enables the evolution of both the business logic and the underlying architecture. This paper suggests relying on a distributed software component model to represent and easily manage the set of local or remote software entities (services) involved in the composition. Composite services are represented in a model that combines the use of a distributed and hierarchical software component model and new timed-automata based workflow language. This combination makes explicit the separation between functional and non-functional concerns, and as a consequence this approach helps in defining the required and various evolution procedures in context to compound services.

Research and Design of Task-Oriented Software Component

2012 ◽  
Vol 198-199 ◽  
pp. 338-342
Author(s):  
Chuan Sheng Zhou
Keyword(s):  
Software Engineering ◽  
Software Component ◽  
Component Model ◽  
Software Components ◽  
Business Systems ◽  
Component Design ◽  
Component Based Software Engineering ◽  
Task Oriented ◽  
Research And Design ◽  
And Task

Alone with the Component-Based Software Engineering (CBSE) has been becoming the mainstream in applications development, there are a lot of people has been used software components to build their applications and business systems. But in practice, how to create a reusable and easy customized component and can be easily integrated into users’ application is still a headache problem to many designers and developers. Here by study and analyzing the interface-oriented software component model and research on the XML and task-oriented technologies, it illustrates a task-oriented software component design and try to improve the CBSE in practice

Sign in / Sign up

Export Citation Format

Share Document