On a Model for Integrated Information

In this paper we give a thorough presentation of a model proposed by Tononi et al. for modeling \emph{integrated information}, i.e. how much information is generated in a system transitioning from one state to the next one by the causal interaction of its parts and \emph{above and beyond} the information given by the sum of its parts. We also provides a more general formulation of such a model, independent from the time chosen for the analysis and from the uniformity of the probability distribution at the initial time instant. Finally, we prove that integrated information is null for disconnected systems

An integrated urban systems model with GIS

The purpose of the research is to develop an integrated urban systems model, which will assist in formulating a better land use-transportation policy by simulating the relationships between land use patterns and travel behavior, integrated with geographic information systems (GISs). In order to make an integrated land use-transportation model possible with the assistance of GISs technologies, the following four sub-systems have been developed: (1) an effective traffic analysis zone generation system; (2) an iterative land use and transportation modeling system; (3) efficient interfaces between GIS and land use, and GIS and transportation models; and (4) a user-friendly graphic user interface (GUI) system. By integrating these sub-systems, a variety of alternative land use-transportation policies can be evaluated through the modification of input parameters in each simulation. Eventually, the developed model using a GIS will assist in formulating an effective land use policy by obtaining robust simulation results for both land use-transportation planners and decision makers. The model has been applied to the Urbana-Champaign area as well as to the Seoul region in Korea for a demonstration of the workings of the model.

A petri net formalization of a publish-subscribe process system.

Publish/subscribe systems are getting more and more integrated into the execution of business processes in process aware information systems. This integration enables the distribution of the process logic and increases the scalability and adaptability of the process enactment infrastructure. A consequence is however that the original specified process model doesn't accurately represent the actual running process anymore, as the publish/subscribe specific operations are not incorporated into the original model. In this paper we propose a formal model of a publish/subscribe system that can be integrated into a business process model, creating in this way an accurate representation of the actual runtime process. The resulting model can be used for model checking the executable process: inspect system properties, discover problems and validate changes.

Analysis of methods

Information is one of an organization's most important assets. For this reason the development and maintenance of an integrated information system environment is one of the most important functions within a large organization. The Integrated Information Systems Evolution Environment (IISEE) project has as one of its primary goals a computerized solution to the difficulties involved in the development of integrated information systems. To develop such an environment a thorough understanding of the enterprise's information needs and requirements is of paramount importance. This document is the current release of the research performed by the Integrated Development Support Environment (IDSE) Research Team in support of the IISEE project. Research indicates that an integral part of any information system environment would be multiple modeling methods to support the management of the organization's information. Automated tool support for these methods is necessary to facilitate their use in an integrated environment. An integrated environment makes it necessary to maintain an integrated database which contains the different kinds of models developed under the various methodologies. In addition, to speed the process of development of models, a procedure or technique is needed to allow automatic translation from one methodology's representation to another while maintaining the integrity of both. The purpose for the analysis of the modeling methods included in this document is to examine these methods with the goal being to include them in an integrated development support environment. To accomplish this and to develop a method for allowing intra-methodology and inter-methodology model element reuse, a thorough understanding of multiple modeling methodologies is necessary. Currently the IDSE Research Team is investigating the family of Integrated Computer Aided Manufacturing (ICAM) DEFinition (IDEF) languages IDEF(0), IDEF(1), and IDEF(1x), as well as ENALIM, Entity Relationship, Data Flow Diagrams, and Structure Charts, for inclusion in an integrated development support environment

STUDY ON A MODEL OF THE EQUIPMENT MRO SERVICE INFORMATION SYSTEMS

The MRO(Maintenance、Repair and Operations) System for the Large Equipment has been becoming a strong support pattern for the agile service support. To build agile service system and identify a portfolio of computer-based integrated applications, a cross-enterprise strategic information systems planning (SISP) is a key concern. An integrated framework for a large equipment support system service chain is analyzed and Strategic information systems planning task is discussed. Integrated the cross-enterprise business process component and inter-organization management policy, the strategic information systems model for a large equipment MRO service support system is proposed. Key words: Strategic information systems, MRO, Service chai

An architecture and methodology for the design and development of Technical Information Systems

In order to meet demands in the context of Technical Information Systems (TIS) pertaining to reliability, extensibility, maintainability, etc., we have developed an architectural framework with accompanying methodological guidelines for designing such systems. With the framework, we aim at complex multiapplication information systems using a repository to share data among applications. The framework proposes to keep a strict separation between Man-Machine-Interface and Model data, and provides design and implementation support to do this effectively.\ud The framework and methodological guidelines have been developed in the context of the ESPRIT project IMPRESS. The project also provided for ldquotesting groundsrdquo in the form of a TIS for the Spanish Electricity company Iberdrola.\ud This work has been conducted within the ESPRIT project IMPRESS (Integrated, Multi-Paradigm, Reliable and Extensible Storage System), ESPRIT No. 635

Temperature dependence of optical spectral weights in quarter-filled ladder systems

The temperature dependence of the integrated optical conductivity I(T) reflects the changes of the kinetic energy as spin and charge correlations develop. It provides a unique way to explore experimentally the kinetic properties of strongly correlated systems. We calculated I(T) in the frame of a t-J-V model at quarter-filling for ladder systems, like NaV_2O_5, and show that the measured strong T dependence of I(T) for NaV_2O_5 can be explained by the destruction of short range antiferromagnetic correlations. Thus I(T) provides detailed information about super-exchange and magnetic energy scales.Comment: 4 pages, 5 figure

IT and the NHS: Investigating different perspectives of IT using soft systems methodology

The UK NHS National Programme for IT has been criticized for a lack of clinical engagement. This paper uses a soft systems methodology (SSM) analysis of a case study from the use of electronic systems within a National Health Service (NHS) Mental Health Trust in the United Kingdom (UK) to explore the legal and ethical implications of the failure to develop clinical systems which are fit for purpose. Soft systems methodology (SSM) was used as a theoretical model both to derive deeper insights into the survey data and suggest how communication between those producing information and those using it, could be improved. Multiple methods were employed which included a postal survey and participant interviews to triangulate the data The use of SSM reinforced the concept that the national IT programme is based on a 'hard' systems view and does not take local factors (which are related to 'soft systems' thinking) into account. The study found administrative staff to be a crucial link between clinicians and information departments and highlighted the need for a joint-up information strategy and integrated systems. The article concludes with a discussion of the legal and ethical implications of the findings and the lessons for the broader UK national programme. It argues that the failure to deliver systems that are fit for purpose is not value neutral but an ethical issue

Reliability Analysis of Complex NASA Systems with Model-Based Engineering

The emergence of model-based engineering, with Model- Based Systems Engineering (MBSE) leading the way, is transforming design and analysis methodologies. The recognized benefits to systems development include moving from document-centric information systems and document-centric project communication to a model-centric environment in which control of design changes in the life cycles is facilitated. In addition, a single source of truth about the system, that is up-to-date in all respects of the design, becomes the authoritative source of data and information about the system. This promotes consistency and efficiency in regard to integration of the system elements as the design emerges and thereby may further optimize the design. Therefore Reliability Engineers (REs) supporting NASA missions must be integrated into model-based engineering to ensure the outputs of their analyses are relevant and value-needed to the design, development, and operational processes for failure risks assessment and communication