Wyznaczanie scenariuszy testowych dla pewnej klasy procesów definiowanych za pomocą języka BPEL
Explore this paper's citation graph
Summary
It is showed that under some assumptions BPEL process may be considered as an embedded system, in which communication between tasks is like coordination of the services according to task graph of the system and tasks are like coordinator’s functions.
- Type
- article
- Published
- 2008-01-01
- Cited by
- 1
- References
- 8
- Access
- Open access
- OpenAlex
- https://openalex.org/W70777782
- Semantic Scholar
- https://api.semanticscholar.org/CorpusID:59772143
Keywords
Business Process Execution Language, Computer science, Programming language, Web service
References
- Breaking Down Complexity for Reliable System-Level Timing Validation
- Kreator scenariuszy testowych do walidacji reaktywnych systemów zamkniętych
- Automatic test case generation from requirements specifications for real-time embedded systems
- The SCR Method for Formally Specifying, Verifying, and Validating Requirements: Tool Support
- Automatic design validation framework for HDL descriptions via RTL ATPG
- Validation of reactive embedded systems against temporal requirements
- Automatic test bench generation for simulation-based validation
- Validation of reactive embedded systems against specification requirements
Cited by
Related papers
No related papers recorded.