Results 271 to 280 of about 27,406,507 (306)
Some of the next articles are maybe not open access.
Information and Software Technology, 1993
Abstract As the use of formal methods for computer systems development is now widely taught and commonly practised, their use for business process modelling is now considered. In the same way that formal system models are used to rationalize the implementations of complex computer systems, formal process models may be used to rationalize system ...
openaire +1 more source
Abstract As the use of formal methods for computer systems development is now widely taught and commonly practised, their use for business process modelling is now considered. In the same way that formal system models are used to rationalize the implementations of complex computer systems, formal process models may be used to rationalize system ...
openaire +1 more source
1999
Until recently, the body of research in process modelling has been focused on different linguistic paradigms for the core PML in order to find the correct one. Our position now is that the idea of one standard, all-encompassing PML, is utopia. Theoretical problems and interoperability requirements (discussed in Section 3.3.8) have made this solution ...
Reidar Conradi, Maria Letizia Jaccheri
openaire +2 more sources
Until recently, the body of research in process modelling has been focused on different linguistic paradigms for the core PML in order to find the correct one. Our position now is that the idea of one standard, all-encompassing PML, is utopia. Theoretical problems and interoperability requirements (discussed in Section 3.3.8) have made this solution ...
Reidar Conradi, Maria Letizia Jaccheri
openaire +2 more sources
1996
Knowledge is connected to a subject (a theory, a lesson) but Process Knowledge is connected to an object and to its production process. This leads to the need for a specific approach to the actual use of process knowledge models while carrying out processes. Models may then be constructed to guide, support and provide advice or instructions to users.
Pierre Maret, Jean-Marie Pinon
openaire +1 more source
Knowledge is connected to a subject (a theory, a lesson) but Process Knowledge is connected to an object and to its production process. This leads to the need for a specific approach to the actual use of process knowledge models while carrying out processes. Models may then be constructed to guide, support and provide advice or instructions to users.
Pierre Maret, Jean-Marie Pinon
openaire +1 more source
A Model of the Refinement Process
1992It is increasingly accepted that the top-down model of the design process is not realistic. Designers often work at many levels of abstraction simultaneously, applying insights gained at one level to modify both specifications and designs at other levels. A development method which will accommodate such opportunistic insights must allow the designer to
openaire +1 more source
Modelling replicated processing
1993Our approach here (extending [2,3]) is to introduce an implementation relation that must hold between a target or base system and its intended replicated implementation. Moreover, such a relation is defined independently of replication. This enables a uniform treatment both of other implementation techniques than replication, and of different fault ...
Maciej Koutny +2 more
openaire +1 more source
Models of processing: discourse
WIREs Cognitive Science, 2010AbstractThis article discusses models of discourse processing, primarily from a psycholinguistic perspective, though considerations from the other cognitive sciences are mentioned where appropriate. It also touches on issues of discourse representation, because questions about representation and questions about process are closely intertwined.
openaire +2 more sources
On Dual- and Single-Process Models of Thinking
Perspectives on Psychological Science, 2021Wim De Neys
exaly
Process Programming And Process Models
[1989] Proceedings of the 5th International Software Process Workshop, 2005openaire +2 more sources