Programming in Prolog (2nd ed.)
Programming in Prolog (2nd ed.)
Common LISP: the language
An architecture for intelligent assistance in software development
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Compiling complex database transition triggers
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Software evolution through iterative prototyping
ICSE '92 Proceedings of the 14th international conference on Software engineering
The why and wherefore of the Cornell Program Synthesizer
Proceedings of the ACM SIGPLAN SIGOA symposium on Text manipulation
On the efficient implementation of production systems.
On the efficient implementation of production systems.
Preliminary Ada reference manual
ACM SIGPLAN Notices - Preliminary Ada reference manual
Engineering Software Design Processes to Guide Process Execution
IEEE Transactions on Software Engineering
Scheduling under Uncertainty: Planning for the Ubiquitous Grid
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Hi-index | 0.00 |
As more and more programming environments incorporate explicit process descriptions, generic process capabilities will become crucial to the convenient instantiation and maintenance of process description. However, partly because process modeling languages have followed the example of programming languages in general, they are surprisingly weak in supporting generic process descriptions.We propose mechanisms whereby generic process capability can be added to any process formalism. The generic portions of the process description can then be refined through instantiation. We define a system architecture in which a generic process description can be refined gradually during its enactment. Such capabilities will be crucial to incorporating explicit process descriptions into the program environments of the future.