MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Process Specification and Verification." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

18 documents found, showing 1 through 10. Next 10 →

ATOM

A Model for Abstract Process Specification, Verification and Composition
by Ziyang Duan, Arthur Bernstein, Philip Lewis, Shiyong Lu — 2004 — In Proceedings of the Second International Conference on Service Oriented Computing (ICSOC’04
…A Model for Abstract Process Specification, Verification and Composition ∗ Ziyang Duan, Arthur…
Cited by 5 (0 self) – Add To MetaCart

On The Use of Petri Nets for Business Process Modeling
by Eswar Sivaraman, Manjunath Kamath — Proceeding of the 11th Annual Industrial Engineering Research Conference
… in Business Process Specifications Verification Issues Example Deadlock: When control flow from one of several…
Cited by 2 (0 self) – Add To MetaCart

using Logic Programming
by Marco Montali, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni, Marco Montali, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni — 2008
…-SCIFF, declarative specifications, formal verification, DecSerFlow, business process managementContents 1…
Add To MetaCart

MODEL CHECKING TIMED SAFETY INSTRUMENTED SYSTEMS
by Jussi Lahtinen, Ab Teknillinen Korkeakoulu, Jussi Lahtinen
…. If the language is regular, it is possible to use finite automata in the process of specification and verification…
Add To MetaCart

Specifying and Verifying Parametric Processes
by Pawel Paczkowski, Stefan Sokolowski — 1994
… specification and verification. As a starting point we adopt a process algebra and logic for specifying…
Add To MetaCart

Specifying and Verifying Parametric Processes
by Wies Law
… is to apply the methodology sketched above in the context of concurrent process specification and verification…
Add To MetaCart

Specifying and Verifying Parametric Processes
by Wies Law Paw
… is to apply the methodology sketched above in the context of concurrent process specification and verification…
Add To MetaCart

Process Algebra with Language Matching
by Jos van Wamel — 1994
… can be represented as a graph. It often happens in process specification and verification in ACP…
Cited by 1 (1 self) – Add To MetaCart

Time Limited Model Checking
by M. Falaschi, A. Policriti, A. Villanueva — In Proceedings of International Workshop on Specification Analysis and Validation for Emerging Technologies in Computational Logic (SAVE’01
… and implementation languages, thus simplifying the process of specification, verification, validation, and synthesis…
Cited by 1 (1 self) – Add To MetaCart

Modeling and Analysis: Reasoning t3. Make main Threads-of-Reasoning SMART Quantify in terms of Key Performance Indicators, Key Performance Measures, Critical Resources
by Gerrit Muller
… Modeling is supportive to the processes of specification, verification and decision making. Step 1, shown…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB