A verification method for web service composition based on discrete event system modeling and simulation

Proceedings of the 2010 Spring Simulation Multiconference on - SpringSim '10 ◽

10.1145/1878537.1878781 ◽

2010 ◽

Author(s):

Seong Yong Lim ◽

Jongmoon Baik ◽

Ho-Jin Choi ◽

Dan Hyung Lee

Keyword(s):

Modeling And Simulation ◽

Web Service ◽

Service Composition ◽

System Modeling ◽

Discrete Event ◽

Web Service Composition ◽

Discrete Event System ◽

Verification Method ◽

Download Full-text

Fundamentals of Discrete-Event System Modeling and Simulation

Modeling and Simulation of Discrete-Event Systems ◽

10.1002/9781118732793.part2 ◽

2013 ◽

pp. 43-44

Keyword(s):

Modeling And Simulation ◽

System Modeling ◽

Discrete Event ◽

Discrete Event System ◽

Download Full-text

Advances in Discrete-Event System Modeling and Simulation

Modeling and Simulation of Discrete-Event Systems ◽

10.1002/9781118732793.part3 ◽

2013 ◽

pp. 253-254

Keyword(s):

Modeling And Simulation ◽

System Modeling ◽

Discrete Event ◽

Discrete Event System ◽

Download Full-text

Basics of Discrete-Event System Modeling and Simulation

Modeling and Simulation of Discrete-Event Systems ◽

10.1002/9781118732793.ch2 ◽

2013 ◽

pp. 17-42 ◽

Keyword(s):

Modeling And Simulation ◽

System Modeling ◽

Discrete Event ◽

Discrete Event System ◽

Download Full-text

Modelica - a general object-oriented language for continuous and discrete-event system modeling and simulation

Proceedings 35th Annual Simulation Symposium. SS 2002 ◽

10.1109/simsym.2002.1000174 ◽

2003 ◽

Author(s):

P. Fritzson ◽

P. Bunus

Keyword(s):

Modeling And Simulation ◽

System Modeling ◽

Discrete Event ◽

Object Oriented ◽

Discrete Event System ◽

Event System ◽

Download Full-text

Detecting Anomalous Behavior in VoIP Systems: A Discrete Event System Modeling

IEEE Transactions on Information Forensics and Security ◽

10.1109/tifs.2016.2632071 ◽

2017 ◽

Vol 12 (3) ◽

pp. 730-745 ◽

Author(s):

Diksha Golait ◽

Neminath Hubballi

Keyword(s):

System Modeling ◽

Discrete Event ◽

Anomalous Behavior ◽

Discrete Event System ◽

Download Full-text

DISCRETE EVENT SYSTEM SPECIFICATION MODELING AND SIMULATION

2018 Winter Simulation Conference (WSC) ◽

10.1109/wsc.2018.8632372 ◽

2018 ◽

Author(s):

Yentl Van Tendeloo ◽

Hans Vangheluwe

Keyword(s):

Modeling And Simulation ◽

Discrete Event ◽

Discrete Event System ◽

System Specification ◽

Discrete Event System Specification ◽

Download Full-text

On the relationship between finite state machine and causal network representations for discrete event system modeling: initial results

Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187) ◽

10.1109/cdc.2000.912727 ◽

2002 ◽

Author(s):

G. Provan ◽

Y.-L. Chen

Keyword(s):

Finite State Machine ◽

System Modeling ◽

Discrete Event ◽

State Machine ◽

Discrete Event System ◽

Causal Network ◽

Event System ◽

Finite State ◽

The Relationship ◽

Initial Results

Download Full-text

Discrete Event System Modeling and Dynamic Service Allocation for REID Networks

IECON 2006 - 32nd Annual Conference on IEEE Industrial Electronics ◽

10.1109/iecon.2006.347249 ◽

2006 ◽

Author(s):

O.P. Gan ◽

J. B. Zhang ◽

T. J. Ng ◽

M. M. Wong

Keyword(s):

System Modeling ◽

Discrete Event ◽

Discrete Event System ◽

Service Allocation ◽

Download Full-text

The advances in the state of the art of modeling and simulation: Discrete event system specification (DEVS)

10.1177/0037549718758429 ◽

2018 ◽

Vol 94 (4) ◽

pp. 279-280

Author(s):

Navonil Mustafee ◽

Saurabh Mittal ◽

Saikou Diallo ◽

Gregory Zacharewicz

Keyword(s):

Modeling And Simulation ◽

State Of The Art ◽

Discrete Event ◽

Discrete Event System ◽

The State ◽

System Specification ◽

Discrete Event System Specification ◽

Download Full-text

Dynamic structure discrete event system specification: a new formalism for dynamic structure modeling and simulation

Winter Simulation Conference Proceedings, 1995. ◽

10.1109/wsc.1995.478858 ◽

2005 ◽

Author(s):

F.J. Barros

Keyword(s):

Modeling And Simulation ◽

Discrete Event ◽

Dynamic Structure ◽

Discrete Event System ◽

Structure Modeling ◽

System Specification ◽

Discrete Event System Specification ◽

New Formalism ◽

Download Full-text