1728 search results - page 140 / 346 » Formal Modeling of Process Migration |
IHM
2004
ACM
15 years 6 months ago
2004
ACM
This paper describes an approach for the participatory design. After describing the trends in the domain, a formalization of the design process is expressed based on « phase »...
114
click to vote
BPM
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Business Process Execution Language (BPEL), or Web Services BPEL (WS-BPEL), is the standard for specifying workflow process definition using web services. Research on for...
FSTTCS
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. In [12] we started a research on a distributed-timed extension of Petri nets where time parameters are associated with tokens and arcs carry constraints that qualify the ...
ENC
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper explores the process of validation for the syntax of a graphical notation. We define a unified specification for five of the UML diagrams used by the Discovery Method a...
ACRI
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Cellular Automata are a powerful formal model for describing physical and computational processes. Qualitative analysis of Cellular Automata is in general a hard problem....