XJ DOME is a set of tools and techniques for those who wish to speed up development of Distributed COM applications and improve their quality. DOME supports graphical modeling, code generation, simulation, deployment, monitoring and management. The simulation mode enables the developer to simulate the entire distributed application in virtual time on a single machine. After simulation step the application can be deployed onto the target network and managed via DOME Application Viewer. During...
XJ DOME is a set of tools and technologies for those who wish to speed up development of distributed COM applications and improve their quality and manageability. DOME supports several development phases (graphical modeling, code generation, simulation and deployment), as well as run-time (monitoring and management). DOME is tuned to work with MS Visual C++. While distributed computing platforms such as CORBA and DCOM are now used industry-wise, there still are no corresponding high-level...
We consider a modeling language and a simulation environment based on objectoriented principles and aimed to help in the design of reactive systems. The language framework includes diagrams of object structure and interconnection, statecharts as a behavior description, and C++ for data objects and functions. Timed Transition Systems are used as a semantical model. COVERS enables the user to perform the whole modeling-simulation-analysis cycle within a single MS Windows-based graphical...
We present a case study which demonstrates a methodology of using modeling language and simulation environment for reactive system design and analysis. We describe how a distributed algorithm can be modeled and investigated on the base of a compact set of carefully selected concepts and methods offered by COVERS - an MS Windows-based object-oriented modeling and simulation tool. COVERS modeling language framework includes diagrams of object structure and interconnection, statecharts as a...
We consider a modeling language and a simulation environment based on object-oriented principles and aimed to help in the design of reactive systems. The language framework includes diagrams of object structure and interconnection, statecharts as a behavior description, and C-I+ for data objects and functions. Timed Transition Systems are used as a semantical model. COVERS enables the user to perform the whole modeling-simulation-analysis cycle within a single MS Windows-based graphical...
We give an overview of COVERS 3.0 - an MS Windowsbased modeling and simulation environment for concurrent real-time systems. COVERS offers an objectoriented modeling methodology based on C-F+ and Statecharts behavioral notation. Timed Transition Systems are used as a model semantics. COVERS enables the user to perform the whole modeling and simulation cycle within a single graphical environment, where every bit of the specification is animated and accessible. Extendible libraries of frequently...
We give an overview of the existing commercial tools for the design of real-time concurrent systems and propose a list of features the ideal design environment should have. Then the COVERS tool is described. Its underlying abstract model is a derivative of the Timed Transition System. The concrete modelling language is based upon the structural, behavioral and data processing views on the real-time concurrent system. COVERS supports a sequential subset of Statecharts and ANSI C. The formal...
Research in biogerontology has largely focused on the complex relationship between mitochondrial dysfunction and biological aging. In particular, the mitochondrial free radical theory of aging (MFRTA) has been well accepted. However, this theory has been challenged by recent studies showing minimal increases in reactive oxygen species (ROS) as not entirely deleterious in nature, and even beneficial under the appropriate cellular circumstances. To assess these significant and nonintuitive...
This paper describes a simple educational simulation tool to teach about agent-based modeling (ABM) and land use and transportation (LUT) interactions in urbanized regions. The relationship between land use and transportation in urban areas shows a dynamic complexity which is difficult to model with static or very aggregated approaches. Agent-based simulation is becoming a standard to model certain complex systems including LUT interactions. The LUT modeling with agent-based simulation...
We consider time critical supply chains in the Australia dairy industry and re-covery policies in the presence of the ripple effect. Ripple effect is the impact of a dis-ruption on supply chain economic performance and disruption-based scope of changes needed in the supply structures and parameters to preserve the resilience. First, we de-scribe the ripple effect in general and one example of the ripple effect in the dairy supply chain in Australia. Second, we present a model for reactive...