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.
This paper describes how a commercial legacy tool originally developed for a centralized computing environment has been reengineered for a heterogeneous distributed computing environment which allows the tool to be accessed remotely. In addition, we discuss how the tool was further enhanced to componentize customers' business applications in a heterogeneous distributed computing environment
Web technologies are gaining increased importance in automation control systems, especially in slow control systems. Alternatively, the requirements to exchange the complex data between the cooperating applications and the applications-based non-Microsoft Platforms are widely increasing in the industrial systems. The applications-based OPC (OLE for Process Control) technique to exchange data between...
Minimally invasive procedures are highly effective when performed by well trained surgeons. However, with the subjective nature of surgical training and performance assessment, it is difficult to determine when a trainee surgeon has attained a satisfactory level of competency. We propose a computer-based training and performance assessment system where we apply configuration space based techniques...
Currently, general-purpose modelling tools are often only used to draw diagrams for the documentation. The introduction of model-driven software development approaches involves the definition of domain-specific modelling languages that allow code generation. Although graphical representations of the involved models are important for documentation, the development of required visualisations and editors...
In model-based development (MBD), developers analyze, validate, implement, and test a system with based on the model of system. In the development of embedded system, MBD becomes more popular since the complexity of embedded system has been increasing nowadays. However, the produced software through MBD often diverges from the original model and even results in an erroneous situation because the model...
Traceability refers to the ability to link information in a process chain. This paper proposes the integration of ontologies into the Unified Process (UP) (Jacobson et al., 1999) to provide concept-based traceability throughout the software lifecycle. This approach allows the integration of the different models of a software system including business, requirements, analysis and design models in a...
Selection of the most appropriate RE techniques for a software project based on the project's characteristics is a non-trivial process and a common challenge faced by software developers. In order to facilitate RE techniques selection, we propose a model for RE technique suitability assessment (RETSA) based on project attributes. This model was developed based on surveys and interviews of experienced...
This paper introduces an approach for the development of families of embedded control processes using process family engineering techniques, exemplarily in the automotive domain, based on UML. The feasibility of our approach is validated by means of a tool chain, which is applied to a windshield wiper case study
Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based systems. One such concern lacking significant research deals with the validation of quality-of-service (QoS) properties of component-based systems throughout their development lifecycle instead of waiting until system integration...
Model transformation has applications in many areas as, e.g., in model-driven software development or automated knowledge exchange. When applied, model transformations usually have in common that the transformation process shall preserve certain properties. In model-driven software development, e.g., abstract models are transformed into more specific ones while preserving the behavior of the specified...
Microsoft's .NET platform was developed to simplify development of Windows applications. At the core of the .Net platform is a virtual machine known as the Common Language Runtime (CLR). Virtual machines do not allow for optimal performance, and a full hardware implementation is not always feasible. The goal of this paper is to present a preliminary partitioning scheme upon which future refinements...
This paper describes how UML sequence diagrams can be supported using an executable processor net. Distributed real time transaction processing systems require validation, verification and performance analysis. A method for doing this is presented creating a processor net for a flight reservation. Some advantages of this approach are the creation of executable models, schemas, formalization and performance...
Frameworks are an important technology to reduce software development costs and shorten the time-to-market. However, framework complexity presents reuse problems that limit its success as an application development alternative. It has been widely recognized that is necessary to effectively communicate frameworks and provide appropriate tool support, but we argue that difficulties are also related...
Heuristics have long been a popular and effective mechanism for capturing the knowledge of experts. In recent times, however, the more common use of heuristics has been as a means for communicating ideas at an abstract level, with little consideration to their potential as a structured approach to design improvement. With this paper we present the issues surrounding, and a structured method for, formally...
In this paper we propose the application of weak bisimulation for enterprise application integration verification. Formal verification is carried out by taking the system specification and design models of an integrated system and converting them into value passing CCS (calculus of communicating systems) processes. If a weak bisimulation relation is found between the two models, then it could be concluded...
Stakeholders' expectations and technology constantly evolve during the lengthy development cycles of a large-scale computer based system. Consequently, the traditional approach of baselining requirements results in an unsatisfactory system because it is ill-equipped to accommodate such change. In contrast, systems constructed on the basis of capabilities are more change-tolerant; capabilities are...
Today, many software-based, reactive systems offer a multitude of functionality. One way to master the development of such a system is to model its functionality on an abstract level and derive a system architecture and an implementation out of this functionality model. In this paper, we present an approach to model the functionality by means of related, interacting services. For us, a service represents...
Myoelectric prosthesis control is difficult to achieve, because the optimal selection of features from a set, extracted from a myoelectric signal, is known as being a very challenging problem in prosthetic control. Dimensionality reduction means to retain MES information, that is important for class discrimination and to discard irrelevant data. Dimensionality reduction strategies can be categorized...
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.