Net Verifier of Discrete Event System models expressed by UML Activity Diagrams

2006 ◽  
Author(s):  
Tomasz Kowalski
Keyword(s):  
Discrete Event ◽  
Discrete Event System ◽  
System Models ◽  
Activity Diagrams ◽  
Event System ◽  
Uml Activity Diagrams

Discrete Event Models for Web Service Processes

2012 ◽  
pp. 91-132
Author(s):  
Yuhong Yan ◽  
May Haydar
Keyword(s):  
Web Service ◽  
Business Processes ◽  
Discrete Event ◽  
Expressive Power ◽  
Discrete Event System ◽  
Service Process ◽  
System Models ◽  
Event System ◽  
Process Engine ◽  
Description Languages

Web service processes are business processes composed of individual Web services. Web service process description languages, used in both choreography and orchestration, are influenced by techniques from workflow modeling, formal methods and software engineering. Since such languages are based on software scripts to be executed by a process engine, their expressive power indeed is beyond classic discrete event system models, such as process algebra and Petri nets. This chapter analyzes and compares different Web service process description languages, discusses the issues in using discrete event system models to model Web service processes, and also compares Web service processes with workflow processes. The chapter also discusses the suitable methods based on the formal models for various computing tasks, such as verification and validation.

scholarly journals Algebraic Specification of Discrete Event System Models and Their Refinements

1994 ◽  
Vol 30 (1) ◽  
pp. 79-87
Author(s):  
Xiaohua HU ◽  
Akihiro KANESHIGE ◽  
Katsuaki ONOGI ◽  
Yoshiyuki NISHIMURA
Keyword(s):  
Discrete Event ◽  
Discrete Event System ◽  
Algebraic Specification ◽  
System Models ◽  
Event System

scholarly journals Discrete Event System Control in Max-Plus Algebra: Application to Manufacturing Systems

2020 ◽  
Vol 53 (4) ◽  
pp. 143-150
Author(s):  
Gabriel Freitas Oliveira ◽  
Renato Markele Ferreira Candido ◽  
Vinicius Mariano Gonçalves ◽  
Carlos Andrey Maia ◽  
Bertrand Cottenceau ◽  
...  
Keyword(s):  
Manufacturing Systems ◽  
Discrete Event ◽  
Discrete Event System ◽  
System Control ◽  
Event System
Sign in / Sign up

Export Citation Format

Share Document