A graphical interval logic for specifying concurrent systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software architecture critics in Argo
IUI '98 Proceedings of the 3rd international conference on Intelligent user interfaces
Little-JIL/Juliette: a process definition language and interpreter
Proceedings of the 22nd international conference on Software engineering
Architectural Mismatch: Why Reuse Is So Hard
IEEE Software
Architectural Mismatch: Why Reuse Is So Hard
IEEE Software
An Architecture for Flexible, Evolvable Process-Driven User Guidance Environments
An Architecture for Flexible, Evolvable Process-Driven User Guidance Environments
Logically Central, Physically Distributed Control in a Process Runtime Environment
Logically Central, Physically Distributed Control in a Process Runtime Environment
Understanding process and the quest for deeper questions in software engineering research
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Process support to help novices design software faster and better
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
| Hi-index | 0.00 |
We seek to facilitate development of high quality software designs and architectures by using rigorous process definitions to guide application of the complex structure of relations and constraints that define well formedness. We identify various types of constraints and demonstrate specific instances of these types. We endorse the value of maintaining the integrity of these constraints by reacting to their violation with diagnostics and remedies. The sheer number and diversity of these constraints, however, indicates the desirability of a mechanism for controlling the scope and effect of their enforcement. Thus, we propose to use proactive process specifications to control the enforcement of, and reaction to, the various constraints. This will result in a process driven system that supports designers and architects by guiding them through orderly development and rework processes, disciplined by the application of constraint enforcement at the right times and in the right ways. This work entails research in defining both types and instances of constraints with programmable enforcement strategies, in embedding such constraints in processes, and in appropriate process definition formalisms.