A rational design process: How and why to fake it
IEEE Transactions on Software Engineering
A recommended practice for describing software designs: IEEE standards project 1016
IEEE Transactions on Software Engineering
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
An introduction to Trellis/Owl
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Programming constructs for database system implementation in EXODUS
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Software processes are software too
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Foundations for the Arcadia environment architecture
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
A graph transform model for configuration management environments
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Enactable models for quantitative evolutionary software processes
ISPW '88 Proceedings of the 4th international software process workshop on Representing and enacting the software process
Integrating testing techniques through process programming
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
APPL/A: a prototype language for software-process programming
APPL/A: a prototype language for software-process programming
Process programming and process models
ISPW '90 Proceedings of the 5th international software process workshop on Experience with software process models
A software process model based on unit workload network
ISPW '90 Proceedings of the 5th international software process workshop on Experience with software process models
The architecture of the EXODUS extensible DBMS
OODS '86 Proceedings on the 1986 international workshop on Object-oriented database systems
The Cactis Project: Database Support for Software Environments
IEEE Transactions on Software Engineering
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Cecil/cesar: specification and static evaluation of sequencing constraints
Cecil/cesar: specification and static evaluation of sequencing constraints
Communications of the ACM - Special issue on analysis and modeling in software development
Reconciling environment integration and software evolution
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software evolution through iterative prototyping
ICSE '92 Proceedings of the 14th international conference on Software engineering
Concepts and implementation of a rule-based process engine
ICSE '92 Proceedings of the 14th international conference on Software engineering
Developing and integrating ProDAG in the Arcadia environment
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
An architecture for multi-user software development environments
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
Coordinating rule-based software processes with ESP
ACM Transactions on Software Engineering and Methodology (TOSEM)
Toward tools to support the Gries/Dijkstra design process
ACM SIGSOFT Software Engineering Notes
PLEIADES: an object management system for software engineering environments
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
A case study in process definition
TRI-Ada '93 Proceedings of the conference on TRI-Ada '93
An object-oriented approach to software process modeling and definition
TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
Orthogonal persistence and Ada
TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
Multilanguage interoperability in distributed systems
Proceedings of the 18th international conference on Software engineering
User interface development and software environments: the Chiron-1 system
ICSE '91 Proceedings of the 13th international conference on Software engineering
Metric-driven analysis and feedback systems for enabling empirically guided software development
ICSE '91 Proceedings of the 13th international conference on Software engineering
Programming heterogeneous transactions for software development environments
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Adding implicit invocation to traditional programming languages
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Software process description using LOTOS and its enaction
ICSE '94 Proceedings of the 16th international conference on Software engineering
An Ada95 basis for propagation modeling
Proceedings of the conference on TRI-Ada '97
Engineering Software Design Processes to Guide Process Execution
IEEE Transactions on Software Engineering
Towards a distributed object-oriented propagation model using Ada95
Proceedings of the 1999 annual ACM SIGAda international conference on Ada
Supporting software maintenance evolution processes in the Adele system
ACM-SE 30 Proceedings of the 30th annual Southeast regional conference
An IDL to Ada95 mapping to support propagation modeling
ACM SIGAda Ada Letters
Apel: A Graphical Yet Executable Formalism forProcess Modeling
Automated Software Engineering
A View of Software Development Environments Based on Activity Theory
Computer Supported Cooperative Work
Software Process Model Evolution in the SPADE Environment
IEEE Transactions on Software Engineering
Techniques for Process Model Evolution in EPOS
IEEE Transactions on Software Engineering
Experience with an Approach to Comparing Software Design Methodologies
IEEE Transactions on Software Engineering
Experiences With an Object Manager for a Process-Centered Environment
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
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
The IBM-McGill project on software process
CASCON '91 Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research
Towards a computer-aided process engineering environment
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
IBM Journal of Research and Development
Dealing with changes in service orchestrations
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Hi-index | 0.00 |
Change is pervasive during software development, affecting objects, processes, and environments. In process centered environments, change management can be facilitated by software-process programming, which formalizes the representation of software products and processes using software-process programming languages (SPPLs). To fully realize this goal SPPLs should include constructs that specifically address the problems of change management. These problems include lack of representation of inter-object relationships, weak semantics for inter-object relationships, visibility of implementations, lack of formal representation of software processes, and reliance on programmers to manage change manually.APPL/A is a prototype SPPL that addresses these problems. APPL/A is an extension to Ada.. The principal extensions include abstract, persistent relations with programmable implementations, relation attributes that may be composite and derived, triggers that react to relation operations, optionally-enforceable predicates on relations, and five composite statements with transaction-like capabilities.APPL/A relations and triggers are especially important for the problems raised here. Relations enable inter-object relationships to be represented explicitly and derivation dependencies to be maintained automatically. Relation bodies can be programmed to implement alternative storage and computation strategies without affecting users of relation specifications. Triggers can react to changes in relations, automatically propagating data, invoking tools, and performing other change management tasks. Predicates and the transaction-like statements support change management in the face of evolving standards of consistency. Together, these features mitigate many of the problems that complicate change management in software processes and process-centered environments.