Foundations for the Arcadia environment architecture
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
A software development environment for law-governed systems
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Computer
Software process modelling in EPOS
CAiSE '90 Proceedings of the second Nordic conference on Advanced information systems engineering
Design and distributed implementation of the parallel logic language shared Prolog
PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
Prism = methodology + process-oriented environment
ICSE '90 Proceedings of the 12th international conference on Software engineering
Using Logic Databases in Software Development Environments
PLILP '88 Proceedings of the 1st International Workshop on Programming Language Implementation and Logic Programming
Supporting cooperation in the Marvel process-centered SDE
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
Concepts and implementation of a rule-based process engine
ICSE '92 Proceedings of the 14th international conference on Software engineering
An architecture for multi-user software development environments
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
A Logic-Based Approach to Reverse Engineering Tools Production
IEEE Transactions on Software Engineering - Special issue on software maintenance
Coordinating rule-based software processes with ESP
ACM Transactions on Software Engineering and Methodology (TOSEM)
Process and measurement support in SEEs
ACM SIGSOFT Software Engineering Notes
Emerging technologies that support a software process life cycle
IBM Systems Journal
APPL/A: a language for software process programming
ACM Transactions on Software Engineering and Methodology (TOSEM)
A bi-level language for software process modeling
ICSE '93 Proceedings of the 15th international conference on Software Engineering
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Assessing process-centered software engineering environments
ACM Transactions on Software Engineering and Methodology (TOSEM)
Engineering Software Design Processes to Guide Process Execution
IEEE Transactions on Software Engineering
Software engineering tools and environments: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Process Management in Practice Applying the FUNSOFT NetApproach to Large-Scale Processes
Automated Software Engineering
Rule Chaining in Marvel: Dynamic Binding of Parameters
IEEE Expert: Intelligent Systems and Their Applications
Techniques for Process Model Evolution in EPOS
IEEE Transactions on Software Engineering
Modeling the software process using coordination rules
WET-ICE '95 Proceedings of the 4th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET-ICE'95)
PoliS: a programming model for multiple tuple spaces
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Rule-based process servers for software development environments
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
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
25 years of applications of logic programming in Italy
A 25-year perspective on logic programming
An aspect-oriented reference architecture for Software Engineering Environments
Journal of Systems and Software
Hi-index | 0.00 |
Despite much research work in progress to model the different facets of software process enactment from different approaches, there are no models yet generally recognized as adequate, and there is need for more experimentation. We describe the Oikos environment and its coordination language ESP: they provide an infrastructure in which experiments may be performed and evaluated.Oikos predefines a number of services offering basic facilities, like access to data bases, workspaces, user interfaces etc.. Services are customizable, in a declarative way that matches naturally the way ESP defines and controls the software process. ESP allows to define services, to structure them in a dynamic hierarchy, and to coordinate them according to the blackboard paradigm. The concepts of environment and of software process and their interplay are naturally characterized in Oikos, in terms of sets of services and of the hierarchy.In the paper, an example taken from a real project (the specification of a small language and the implementation of its compiler) shows how Oikos and ESP are effective for software process enactment.As it is, ESP embeds Prolog as its sequential component, and combines it smoothly to the blackboard approach to deal with concurrency and distribution. Anyway, most of the concepts used to model and enact software processes are largely independent of logic programming.