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.
In spite of recent and constant researches in the component-based development (CBD) area, there is still a lack of patterns, approaches and methodologies that effectively support the development "for reuse" as much as "with reuse". Considering the accelerated growth of the Internet over the last decade, where distribution has become an essential non-functional requirement of most...
TiViPE is a component based visual programming environment (VPE) that enables users to build programs by construction of a network of components interactively. A single module (component), represented by a graphical icon, is a computational unit. Multiple icons can be connected to each other to yield a directed graph (a network) that represent a program. TiViPE is, in appearance similar to programs...
We discuss what constitutes a 'software service model' and propose a framework that can accommodate both component-based and service-based systems, while also distinguishing between 'static' and 'dynamic' forms of service delivery. We then draw upon this, and upon our own experiences of developing service-based forms, to consider what characteristics a service architecture might possess
Component based software development focuses on building software systems by assembling existing software components. This makes the systems more maintainable, reduces development time and minimizes development as well as maintenance costs. The Java programming language supports component based software development through JavaBeanstrade. Specifying JavaBeans in a natural language is ambiguous to...
An assessment is a complex, labor-intensive process in which a number of things can go awry. This can cause the assessment team to waste time and may result in the presentation of an inaccurate picture of compliance status. By identifying and responding to risks and issues which can negatively impact upon the efficiency of the assessment process, an organization can maximize the opportunity for assessors...
In the business world, the conformance of respective business processes plays a significant role in the collaboration of business partners. Today, e-commerce technologies such as BPELAWS and ebXML have enabled enterprises to collaborate at the business process level. But there is little work on the study of conformance assessment of business processes in them. In this paper we extend the ebXML framework...
We propose a new dynamic slicing technique for object-oriented programs that is more efficient than the related algorithms. We use an extended system dependence graph (ESDG) as the intermediate program representation. Our dynamic slicing algorithm is based on marking and unmarking the edges in the ESDG as and when dependencies arise and cease during runtime
Program slicing is widely used in applications such as program comprehension, software testing, debugging, measurement, and reengineering. This paper proposes a new approach for program slicing, called modular monadic slicing, basing on modular monadic semantics of the program analysed. We abstract the computation of program slicing as a language-independence entity: slice monad transformer. On the...
Combinatorial testing is a specification-based testing criterion, which requires that for each t-way combination of input parameters of a system, every combination of valid values of these t parameters be covered by at least one test case. This approach is motivated by the observation that in many applications a significant number of faults are caused by interactions of a smaller number of parameters...
Adaptive random testing is a black box testing method based on the intuition that random testing failure-finding efficiency can be improved upon, in certain situations, by ensuring a more widespread and evenly distributed spread of test cases in the input domain. One way of achieving this distribution is through the use of exclusion zones and restriction, resulting in a method called restricted random...
As electronic commerce becomes increasingly popular, more business data are being stored in digital form and processed by software systems, rather than being stored in paper form and handled by human beings. Consequently, loss of company secrets via the electronic media is becoming a greater threat to organizations. This paper gives a brief analysis of the risk associated with losing corporate confidential...
Many developers who could benefit from building and analysing formal models of their systems are deterred from doing so by the process algebra style input languages of formal modelling languages which they find difficult to read and understand. This barrier to the adoption of formal modelling techniques can be significantly reduced if the process algebra is replaced with a graphical notation supported...
This paper presents the use of situation theory for scenario modelling. The concepts of situation theory are used to propose a form of scenario description in which not only the scenarios episodes, but also their contexts and their pre and postconditions are viewed as situations. Reasoning with situation theory allows the investigation of scenarios consequences and the identification of inconsistencies...
This paper is concerned with Boolean satisfiability (SAT) problem. Many researchers are devoted into seeking for new ideas as well as developing more efficient SAT solvers which will improve the development of EDA (electronic design automation). In this paper, we try to solve the SAT problem by fuzzy genetic algorithm with partitioning-based initial process, namely PFGASAT. Some heuristic mechanisms...
In model-driven software development, inconsistency of a model must be detected and eliminated to ensure the quality of the model. This paper investigates the consistency check in the modelling of multi-agent systems (AMS). Consistency constraints are formally defined for the CAMLE language, which was proposed in our previous work for modelling MAS. Uses of the consistency constraints in the implementation...
Using gateway proxies is one important approach to facilitating adaptation across wireless and mobile environments. Importantly, augmented service entities deployed within the gateway proxy residing on the wired network can be composed and deployed to shield mobile clients from the effects of poor network characteristics. The usual approach to the static composition of service entities on the gateway...
Autonomic computing middleware is a promising way to enable middleware based systems to cope with the rapid and continuous changes in the era of Internet. Technically, there have been three fundamental and challenging capabilities to an autonomic computing middleware, including how to monitor, reason and control middleware platform and applications. This position paper presents a reflection-based...
The publish/subscribe paradigm provides a loosely coupled form of interaction that is well suitable for the large-scale distributed systems. In this paper, we introduce the semantic Web technologies into the publish/subscribe systems and propose a new type of publish/subscribe system. In the system, concept models are represented as ontologies, events are represented as RDF graphs, and subscriptions...
Temporal behaviors prediction is very critical for real-time control systems. This paper presents a method to analyse the worst-case response time of OSEK/VDX compliant hard real-time distributed control systems. OSEK/VDX is an industry standard for an open-ended architecture for distributed control units in vehicles. Traditional time analysis methods based on the fixed priority preemptive scheduling...
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.