The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Much larger flexibility of software adaptability is necessary to the destination platform and the user requirement in distributed systems. Component-based models are becoming increasingly ubiquitous as enabling technology for modern distributed system applications. Software modules and components have always played a key role in the systems. The fundamental contribution of component-based models lies...
Developing software systems that are complicated and critical gives challenges to software engineers and the software industry. Intelligent software agent design is one such application domain that imposes challenges. The application of formal methods in software engineering, specifically with executable software specification languages, can involve much learning among the users of the system. Although...
Separation of Concern is a fundamental principle of software engineering. Considering that SystemC/TLM models are in fact software programs that simulating hardware behavior, this principal should also be followed in SystemC/TLM modeling and one of its applications is the Separation of Communication and Computation (CC separation). However, plenty of existing SystemC/TLM models haven't actually separated...
Behavior adaptation of Software component is a crucial problem in component-based software engineering. A general approach is proposed to solve the behavior mismatch. Firstly, the synchronous vector between component behaviors according to the abstract specification of component behavior is calculated, and the specification of the adaptor is given. Then, in order to detect automatically deadlock mismatch,...
The behavior adaptation of Software component is a crucial problem in component-based software engineering. Software Adaptation aims at generating, as automatically as possible, adaptors to compensate mismatch between component interfaces, and ensure the deadlock-freedom of component interaction at the architectural level. A general and safe approach is proposed to solve the behavior mismatch. Firstly,...
The recent evolution of mobile smart devices and their convergence with pervasive computing and software as a service raises new challenges. Developers of applications targeted to these environments have to face at least three major challenges: dynamicity, heterogeneity, and distribution. In this paper, we propose a service oriented component framework which addresses these challenges by automatically...
Component-based development is a useful approach for building large, complex software systems. However, component discovery and component composition are quite complex and expensive tasks, due to the ever growing number of components in the market. This article proposes to model component providers and consumers as a multi-agent system, allowing providers to advertise their offerings and consumers...
The behavior adaptation of Software component is a crucial problem in component-based software engineering. Software component adaptation aims at generating, as automatically as possible, adaptors to compensate behavior mismatch during components interaction, and ensure the deadlock-freedom of components interaction at the architectural level. A general and safe approach is proposed to solve the behavior...
Nowadays technologies, frameworks and architectures are forced to be service driven, platform independent, reliable and scalable. Application markets, Service Oriented Architectures and Cloud Computing are currently in focus of the new upcoming business models. Based on an analysis of service life cycle management and composition standards the following article illustrates an architecture for a service...
The adoption of IT-based interfaces to monitor and control telco capabilities is a consolidated approach. In such a scenario the end-users design composite services that orchestrate functions implemented through one or more resources managed by telecom operators. In addition to the issues that have to be faced to support the design of composite services in general, in this case it is also necessary...
One of the principal goal of Component-Based Software Engineering (CBSE) is to allow the reuse of components in diverse situations without affecting their codes. To reach this goal, it is necessary to propose approaches to adapt a component with its environment when behavioural mismatches occur during their interactions. In this paper, we present a formal approach based on interface automata to adapt...
Objects in software are mapping of the real word, and can be defined by relations to others. Relation is the difference, association, interaction and constraint among objects, which can be defined by the interface of objects. Every object treats itself as subject, while the other as objects. To design an object, we need a way to decompose it into orthogonal member objects, thus get orthogonal software.
In this paper we present an approach of using model-driven technologies for testing of service component interactions. We report on an industrial experiment with a novel combination of existing UML standards, i.e., the UML Testing Profile (U2TP), in conjunction with proprietary domain specific languages (DSLs). Many model-based testing (MBT) approaches use the UML 2 standard, but very few of them...
ASEME is an emerging Agent Oriented Software Engineering (AOSE) methodology. The Model-Driven Engineering (MDE) paradigm encourages software modelers to automate the transition of one type of software model to another and eventually the code generation process. This paper builds on previous work that describes the model-driven development of agent systems using ASEME and creating a Platform Independent...
Previous works on formal development for component-based systems usually equate refinement relations as behaviors containment. This setting facilitates verifying safety properties, but can't capture the intuition that a refined component should more easily react to the environment and is not convenient from a point view of design. To address this issue, we argue in favor of defining refinement of...
Legacy applications are still widely spread. If a need to change deployment or update its functionality arises, it becomes difficult to estimate the performance impact of such modifications due to absence of corresponding models. In this paper, we present an extendable integrated environment based on Eclipse developed in the scope of the Q-Impress project for reverse engineering of legacy applications...
In this paper, we use the object-oriented programming (OOP) techniques to design an information and communication technology (ICT) application framework for the Zigbee application system development. And we provide an example to explain how this framework works with Zigbee ICT application systems. The OOP is a programming paradigm, and has already become a more and more popular programming technology...
A new network application programming framework, called Sttyciar, is designed and implemented. Sttyciar is developed to be re-usable and easily extensible, wrapping the procedural pcap library to provide an intuitive object-oriented interface to the receiving and transmitting functionality of network interfaces attached to a host computer. The framework's layered architecture, which includes features...
Component-based software development is necessity current of software engineering and industrialization and components achieve interaction by interfaces. At present the main interface definition languages are designed initially for closure environment to satisfy the requirement of C/S application, only describe static syntax level information of component interaction which can not meet the need of...
Autonomous smart sensor is a highly integrated turn-key device, operates independently and owns itself life cycle. Networked sensors exchange information with protocols; we designed an application-layer protocol named AgileSN making sensor nodes interoperable and interchangeable. AgileSN sensor node itself and captured data that protocol carried are self-descriptive, with these smart capabilities,...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.