Simulator: AnyLogic is a Java-based, object oriented simulation tool for continuous, discrete and hybrid applications, based on UML notation and active objects.
Model: The simulated emergency department comprises different facilities, which are all represented as connected Active Object Classes.
Simulator: AnyLogic is a general-purpose simulation environment for discrete, continuous and hybrid systems. It employs UML-RT structure diagrams for building hierarchical models in object-oriented way and hybrid statecharts for behaviour specification. The generated model is Java and can be extended with user’s Java code. The simulation engine handles discrete events and dynamically changing sets of algebraic-differential equations. It automatically detects “change” (or “state”) events. Debugging and visualization facilities are present.
Simulator: AnyLogic is a general- purpose simulator for discrete but also for continuous and hybrid applications. The modelling technology of AnyLogic is based on Java so that building simulation models using AnyLogic should be easy for experienced programmers. Model: According to the task of the comparison there are three Active Object Classes. The customer class corresponds to the wholesaler; the wholesaler class corresponds to the distributor class and to the factory class. In addition there is built a Message class that represents the movable goods as well as the orderings in the supply chain.
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 run-time DOME platform enables the developer to collect and watch statistics, inspect threads and synchronization objects, view logs. DOME platform supports building of mobile agent systems on top of DCOM services. It provides for agent migration and employs DCOM security.
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++.
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 environment. We overview the code generation, model execution and visualization of results. The correspondence between COVERS language and the Unified notation is outlined.
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 behavior description, and C++ for data objects and functions. Timed Transition Systems are used as a semantic model. COVERS enables the user to perform the whole modeling-simulation-analysis cycle within a single graphical environment. In the paper we overview our experience in using the tool for analysis of a distributed election algorithm which has been described elsewhere.
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 environment. We overview the code generation, model execution and visualization of results. The correspondence between COVERS language and the Unified notation is outlined.
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 used objects are supplied, as well as models of classical systems for educational purposes. COVERS 3.0 is free software available over the Internet for non-commercial use.
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 semantics of the concrete model is presented. We describe a method of testing the real time temporal properties using spy processes, and, briefly, debugging and performance analysis means.