Nothing Special   »   [go: up one dir, main page]

van der Aalst et al., 2000 - Google Patents

Ex Spect 6.4 An Executable Specification Tool for Hierarchical Colored Petri Nets

van der Aalst et al., 2000

Document ID
13408349611048768992
Author
van der Aalst W
de Crom P
Goverde R
van Hee K
Hofman W
Reijers H
van der Toorn R
Publication year
Publication venue
International Conference on Application and Theory of Petri Nets

External Links

Snippet

Abstract Ten years ago Ex Spect became available on the market. Since then a lot of modeling and simulation projects in logistics, workflow and electronic commerce have been performed using Ex Spect. In the past ten years the heart of Ex Spect, the simulation engine …
Continue reading at link.springer.com (other versions)

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for programme control, e.g. control unit
    • G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
    • G06F9/46—Multiprogramming arrangements
    • G06F9/54—Interprogramme communication; Intertask communication
    • G06F9/542—Event management; Broadcasting; Multicasting; Notifications
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for programme control, e.g. control unit
    • G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
    • G06F9/44—Arrangements for executing specific programmes
    • G06F9/4443—Execution mechanisms for user interfaces
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/34—Graphical or visual programming
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/50—Computer-aided design
    • G06F17/5009—Computer-aided design using simulation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/38—Implementation of user interfaces
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/36—Software reuse
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06Q—DATA PROCESSING SYSTEMS OR METHODS, SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q10/00—Administration; Management
    • G06Q10/10—Office automation, e.g. computer aided management of electronic mail or groupware; Time management, e.g. calendars, reminders, meetings or time accounting
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06Q—DATA PROCESSING SYSTEMS OR METHODS, SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q10/00—Administration; Management
    • G06Q10/06—Resources, workflows, human or project management, e.g. organising, planning, scheduling or allocating time, human or machine resources; Enterprise planning; Organisational models
    • G06Q10/063—Operations research or analysis
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/10—Requirements analysis; Specification techniques
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/20—Software design
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/70—Software maintenance or management
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/30—Monitoring
    • G06F11/34—Recording or statistical evaluation of computer activity, e.g. of down time, of input/output operation; Recording or statistical evaluation of user activity, e.g. usability assessment
    • G06F11/3457—Performance evaluation by simulation

Similar Documents

Publication Publication Date Title
Van Tendeloo et al. An evaluation of DEVS simulation tools
Brooks et al. Heterogeneous concurrent modeling and design in java (volume 1: Introduction to ptolemy ii)
Apvrille et al. TURTLE: A real-time UML profile supported by a formal validation toolkit
Hunt Guide to the Unified Process featuring UML, Java and design patterns
van der Aalst et al. Ex Spect 6.4 An Executable Specification Tool for Hierarchical Colored Petri Nets
Zdun et al. Emerging trends, challenges, and experiences in devops and microservice apis
van Hoorn Model-driven online capacity management for component-based software systems
Marzolla Simulation-based performance modeling of UML software architectures.
Funka-Lea et al. Interactive visual modeling for performance
Copstein et al. SIMOO-An environment for the object-oriented discrete simulation
Xu et al. Modeling the Execution Architecture of a Mobile Phone Software System by Colored Petri Nets
Melamed The performance analysis workstation: An interactive animated simulation package for queueing networks
Design et al. MIT Architecture
Schattkowsky et al. Uml model mappings for platform independent user interface design
Borshchev et al. Systems modeling, simulation and analysis using COVERS active objects
Palanque et al. Towards an integrated proposal for Interactive Systems design based on TLIM and ICO
Crain et al. Industrial strength simulation using GPSS/H
Arief A framework for supporting automatic simulation generation from design
Smith et al. Industrial strength simulation using GPSS/H
Feng et al. Ptera: An event-oriented model of computation for heterogeneous systems
Gaudin Experimenting low code with SDL and BPMN
Brunette et al. A modeling paradigm for integrated modular avionics design
Brumbulli Model-driven development and simulation of distributed communication systems
Ammerlahn et al. A geographically distributed enterprise simulation system
HEIM Integrating distributed models: the architecture of ENVISION