2050 search results - page 187 / 410 » A formal foundation for process modeling |
197
click to vote
ISSA
2004
15 years 8 months ago
2004
Web Services technology enables organisations to exploit software as a service. Services are accessed by method invocations. Method interfaces are described and published, and may...
137
click to vote
IHM
2004
ACM
16 years 5 hour 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 »...
189
click to vote
BPM
2006
Springer
15 years 8 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...
154
click to vote
ENC
2005
IEEE
16 years 5 days 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...
140
click to vote
ACRI
2004
Springer
15 years 12 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....