In this paper we propose a methodology for the modelling, verification and performance evaluation of communication components of software for enterprise information systems. The methodology is centered upon model-driven development using a subset of UML 2.0 diagrams. It is supported by the proSPEX model processing tool which offers a simulation-based executable verification environment. The mod...

In 36 climate change simulations associated with phases 3 and 5 of the Coupled Model Intercomparison Project (CMIP3 and CMIP5), changes in marine low cloud cover (LCC) exhibit a large spread, and may be either positive or negative. Here we develop a heuristic model to understand the source of the spread. The model’s premise is that simulated LCC changes can be interpreted as a linear combinatio...

This paper deals with an approach to the optimization of enterprise information system(EIS) based on the object-based knowledge mesh (OKM) and binary tree. Firstly, to explore the optimization of EIS by the user’s function requirements, an OKM expression representation based on the user’s satisfaction and binary tree is proposed. Secondly, based on the definitions of the fuzzy function-satisfac...

Multi-walled carbon nanotubes (MWCNT) modified DNA based biosensors were prepared by immobilizing dsDNA over MWCNT coated graphite electrode. The film forming abilities of MWCNT coated graphite electrodes were studied using Electrochemical Impedance Spectroscopy (EIS) and Cyclic Voltammetry (CV) by placing the electrodes in electrolyte containing redox couple. Differential Pulse Voltammetry (DP...

We propose a model in which real interest rates respond to both expected consumption growth and time preferences. Exposures to future consumption growth and time preference interest rate shocks are both priced relative to the Capital Asset Pricing Model (CAPM) and the Consumption Capital Asset Pricing Model (CCAPM). However, the two types of interest rate risk have different prices, and when el...

This position paper provides a short summary of results obtained so far on an application-driven approach for mediation-based EIS development. This approach has significant advantages over the conventional, information source driven approach. Basic methods for the application-driven approach are discussed including synthesis methods of canonical information models, unifying languages of various...

Lone L. Thomsen Aalborg University (Denmark) Workshop Background and Goals It is the aim of this workshop to stimulate the exchange of ideas/experiences of practitioners, researchers, and engineers working in the area of validating/verifying software for enterprise information systems (EIS). We will welcome both practical and theoretical papers, including case studies, from all areas related to...