APPL/A

ABSTRACT

Software process programming is the coding of software processes in executable programming languages. Process programming offers many potential benefits, but their realization has been hampered by a lack of experience in the design and use of process programming languages. APPL/A is a prototype software process programming language developed to help gain this experience. It is intended for the coding of programs to represent and support software processes including process, product, and project management. APPL/A is defined as an extension to Ada, to which it adds persistent programmable relations, concurrent triggers on relation operations (for reactive control), optionally and dynamically enforceable predicates on relations (which may serve as constraints), and composite statements that provide alternative combinations of serializability, atomicity, and consistency enforcement (for programming high-level transactions). APPL/A has been used to code engineering-oriented applications, like requirements specification and design, as well as management-related activities, such as personnel assignment, task scheduling, and project monitoring. APPL/A has also enabled us to experiment with process program design techniques and architectures, including process state reification, intermittent (or persistent) processes, reflexive and metaprocesses, and multiple-process systems. Our ability to address a wide range of software processes and process characteristics indicates that the APPL/A constructs represent important and general capabilities for software process programming. —Authors' Abstract

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	V. Ambriola , P. Ciancarini , C. Montangero, Software process enactment in Oikos, Proceedings of the fourth ACM SIGSOFT symposium on Software development environments, p.183-192, December 03-05, 1990, Irvine, California, United States
	2	~BAKER, D. A., FISHER, D. A., AND SHULTIS, J.C. 1988. The Garden oflrzs. Incremental Systems ~ Corporation, Pittsburgh, Pa.
	3	Robert Balzer, Tolerating inconsistency, Proceedings of the 13th international conference on Software engineering, p.158-165, May 13-17, 1991, Austin, Texas, United States
	4	~BANCIL~ON, F., Ks~I, W., AND KOR?H, H. A model of CAD transactions. In Proceedings of the 11th ~Internattonal Conference on Very Large Databases. VLDB Endowment Press, Saratoga, Calif.
	5	Sergio Bandinelli , Alfonso Fuggetta, Computational reflection in software process modeling: the SLANG approach, Proceedings of the 15th international conference on Software Engineering, p.144-154, May 17-21, 1993, Baltimore, Maryland, United States
	6	~BANDINELLI, S., FUGGETTA, A., AND GRIGOLLI, S. 1993. Process modeling in-the-large with ~SLANG. In Procee&ngs of the 2nd International Conference on the Software Process. IEEE, ~New York, 75 83.
	7	Naser S. Barghouti, Supporting cooperation in the Marvel process-centered SDE, ACM SIGSOFT Software Engineering Notes, v.17 n.5, p.21-31, Dec. 1992
	8	~BELIm^Tm, N., ESTUBLmR, J., AND WALCELIO, M.L. 1991. Adele 2: A support to large software ~development process. In Proceedings of the 1st International Conference on the Software ~Process (Redondo Beach, Calif., Oct.). IEEE, New York, 159-170.
	9	~BELKHATIR, N., ESTUBLIER, J., AND WALCELIO, M.L. 1993. Software process model and ~workspace control in the Adele system. In Proceedings of the 2nd International Conference on ~the Software Process. IEEE, New York, 2-11.
	10	~BRUYNOOGHE R. F, PARKER J. M., AND ROWLES J.S. 1991. A system for process enactment. In ~Proceedings of the 1st International Conference on the Software Process (Redondo Beach, Calif., ~Oct.). IEEE, New York, 128-141.
	11	Geoffrey Clemm , Leon Osterweil, A mechanism for environment integration, ACM Transactions on Programming Languages and Systems (TOPLAS), v.12 n.1, p.1-25, Jan. 1990 [doi>10.1145/77606.77607]
	12	E. F. Codd, A relational model of data for large shared data banks, Communications of the ACM, v.13 n.6, p.377-387, June 1970 [doi>10.1145/362384.362685]
	13	~COHEN, D. 1988. AP5 manual. Information Sciences Institute, Univ. of Southern Californm, ~San Jose, Calif. Mar.
	14	D. Cohen, Compiling complex database transition triggers, Proceedings of the 1989 ACM SIGMOD international conference on Management of data, p.225-234, June 1989, Portland, Oregon, United States
	15	Reidar Conradi , Christer Fernström , Alfonso Fuggetta, Concepts for evolving software processes, Software process modelling and technology, Research Studies Press Ltd., Taunton, UK, 1994
	16	Reidar Conradi , Marianne Hagaseth , Jens-Otto Larsen , Minh Ngoc Nguyên , Bjørn P. Munch , Per H. Westby , Weicheng Zhu , M. Letizia Jaccheri , Chunnian Liu, EPOS: object-oriented cooperative process modelling, Software process modelling and technology, Research Studies Press Ltd., Taunton, UK, 1994
	17	~CONRADI, R., LIU C., AND JACCHERI, M.L. 1991a. Process modeling paradigms: An evaluation. ~In Proceedings of the 7th International Software Process Workshop (Yountville, Calif.). IEEE, ~New York.
	18	Reidar Conradi , Espen Osjord , Per H. Westby , Chunnian Liu, Initial software process management in EPOS, Software Engineering Journal, v.6 n.5, p.275-285, Sept. 1991
	19	Volker Gruhn, Managing software processes in the environment MELMAC, Proceedings of the fourth ACM SIGSOFT symposium on Software development environments, p.193-205, December 03-05, 1990, Irvine, California, United States
	20	~DawsoN, M. 1991. Panel introduction--why is process so important? In Proceedings of the 1st ~Internatwnal Conference on the Software Process (Redondo Beach, Calif., Oct.). IEEE, New ~York, 2.
	21	~FELDMAN, S. I. 1979. Make--a program for maintaining computer programs. Softw. Pract. ~Exper, 9, 255-265.
	22	~FERNSTR6M, C. 1993. PROCESS WEAVER: Adding process support to UNIX. In Proceedings ~of the 2nd International Conference on the Software Process. IEEE, New York, 12-26.
	23	~FERNSTROM, C. AND OHLSSON, L. 1991. Integration needs in process enacted environments. In ~Proceedings of the 1st Internatmnal Conference on the Software Process (Redondo Beach, Calif., ~Oct.). IEEE, New York~ 142-158
	24	Hector Garcia-Molina , Dieter Gawlick , Johannes Klein , Karl Kleissner , Kenneth Salem, Modeling long-running activities as nested sagas, Data Engineering, v.14 n.1, p.14-18, March 1991
	25	Pankaj K. Garg , Peiwei Mi , Thuan Pham , Walt Scacchi , Gary Thunquest, The SMART approach for software process engineering, Proceedings of the 16th international conference on Software engineering, p.341-350, May 16-21, 1994, Sorrento, Italy
	26	David Harel, Statecharts: A visual formalism for complex systems, Science of Computer Programming, v.8 n.3, p.231-274, June 1, 1987 [doi>10.1016/0167-6423(87)90035-9]
	27	David Harel , Amir Pnueli , Hagi Lachover , Amnon Naamad , Michal Politi , Rivi Sherman , Aharon Shtull-Trauring , Mark Trakhtenbrot, STATEMATE: A Working Environment for the Development of Complex Reactive Systems, IEEE Transactions on Software Engineering, v.16 n.4, p.403-414, April 1990 [doi>10.1109/32.54292]
	28	~HEIMBICNER, D. 1989. APT: APPL/A to Aria translation. Arcadia Dec. CU-89-11, Dept. of ~Computer Smence, Univ. of Colorado, Boulder, Cole
	29	~HEIMBIGNER, D. 1991. The process modehng example problem and its solutions. In Proceed- ~zngs of the 18t International Con/erence on the Software Process (Redondo Beach, Calif., Oct.). ~IEEE, New York, 174
	30	Dennis Heimbigner, Experiences With an Object Manager for a Process-Centered Environment, Proceedings of the 18th International Conference on Very Large Data Bases, p.585-595, August 23-27, 1992
	31	~HE{MB{GNER, D., OSTERWEIL, L. J., AND SUTTON, S. M., JR. 1988. Active relations for specifying ~and implementing software object management Tech. Rep CU-CS-406-88, Dept. of Computer ~Science, Univ of Colorado, Boulder, Cole ,July
	32	George Heineman , Gail E. Kaiser , Naser S. Barghouti , Israel Ben-Shaul, Rule Chaining in Marvel: Dynamic Binding of Parameters, IEEE Expert: Intelligent Systems and Their Applications, v.7 n.6, p.26-33, December 1992 [doi>10.1109/64.180406]
	33	S. E. Hudson , R. King, The Cactis Project: Database Support for Software Environments, IEEE Transactions on Software Engineering, v.14 n.6, p.709-719, June 1988 [doi>10.1109/32.6152]
	34	~HUFF, K. E. 1991. Supporting change in plan based processes. In Proceedings of the 7th ~International So/tware Process Worskhop (Yountville, Calif.). IEEE, New York.
	35	Karen E. Huff , Victor R. Lesser, A plan-based intelligent assistant that supports the software development, Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments, p.97-106, November 28-30, 1988, Boston, Massachusetts, United States
	36	~HUMPHREY, W. S 1991. Panel position statement--why is process important? In Proceedings ~of the 1st Iaternatzonal Conference on the So/tware Process (Redondo Beach, Calif., Oct.). IEEE, ~New York, 3
	37	~IiDA, H., MIMURA, K.-I., INOUE, K., AND TORH, K. 1993. Hakoniwa: Monitor and navigatmn ~system for cooperative development based on activity sequence model. In Proceedings of the ~2nd International Conference on the Software Process. IEEE, New York, 64-74.
	38	~IIDA, H., OGIHARA, T., INOUE, K., AND TORII, K. 1992. Generating a menu-oriented navigation ~system fi'om formal description of software development activity sequence. In Proceedings of ~the 1st International Conference on the Software Process. IEEE, New York, 45 57.
	39	~INTERMETRICS. 1994. Programming language Aria--language and standard libraries--draft ~5 0. Tech. Rep. IR-MA-1363-4, Intermatrics, Inc., Cambridge, Mass. June. (ISO/IEC DIS 8652).
	40	G. Junkermann , B. Peuschel , W. Schäfer , S. Wolf, MERLIN: supporting cooperation in software development through a knowledge-based environment, Software process modelling and technology, Research Studies Press Ltd., Taunton, UK, 1994
	41	R. Kadia, Issues encountered in building a flexible software development environment: lessons from the Arcadia project, Proceedings of the fifth ACM SIGSOFT symposium on Software development environments, p.169-180, December 09-11, 1992, Tyson's Corner, Virginia, United States
	42	Gail E. Kaiser , Calton Pu, Dynamic restructuring of transactions, Database transaction models for advanced applications, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1992
	43	~KAISER, G. E., BARGHOUTL N. S., AND SOKOLSkW, M H. 1990. Experience with process modeling ~in the Marvel software development environment kernel. In the 23rd Annual Hawa~ Interna- ~tional Conference on System Sciences (Kona, Hawaii, Jan.), B. Shriver, Ed. Vol. 2. IEEE, New ~York, 131-140.
	44	Gail E. Kaiser , Peter H. Feiler , Steven S. Popovich, Intelligent Assistance for Software Development and Maintenance, IEEE Software, v.5 n.3, p.40-49, May 1988 [doi>10.1109/52.2023]
	45	Gail E. Kaiser , Steven S. Popovich , Israel Z. Ben-Shaul, A bi-level language for software process modeling, Configuration management, John Wiley & Sons, Inc., New York, NY, 1995
	46	Takuya Katayama, A hierarchical and functional software process description and its enaction, Proceedings of the 11th international conference on Software engineering, p.343-352, May 1989, Pittsburgh, Pennsylvania, United States [doi>10.1145/74587.74632]
	47	~KELLNER, M. h 1991a. Multiple-paradigm approaches for software process modeling. In Pro- ~ceedings of the 7th International Software Process Workshop (Yountville, Calif.). IEEE, New ~York.
	48	~KELLNER, M. h 1991b. Software process modehng support for management planning and ~control. In Proceedings of the 1st International Conference on the Software Process (Redondo ~Beach, Cahf., Oct.). IEEE, New York, 8-28.
	49	~KELLNER, M. I., FEILER, P., FINKELSTEIN, A., KATAYAMA, T., OSTERWEm, L. J., AND PENEDO, M. H. ~1991. ISPW-6 software process example. In Procee&ngs of the 1st International Conference on the Software Process (Redondo Beach, Calif., Oct.). IEEE, New York, 176 186.
	50	~LEHMAN, M.M. 1991. Panel position statement--why is process important? In Proceedings of ~the 7st InternatzonaI Conference on the Software Process (Redondo Beach, Calif., Oct.). IEEE, ~New York, 4.
	51	Mark John Maybee, Component-object interoperability in a heterogeneous distributed environment, University of Colorado at Boulder, Boulder, CO, 1996
	52	Dennis McCarthy , Umeshwar Dayal, The architecture of an active database management system, Proceedings of the 1989 ACM SIGMOD international conference on Management of data, p.215-224, June 1989, Portland, Oregon, United States
	53	~MI, P. aND SCACCm, W. 1991. Modeling articulation work in software engineering processes. In ~Procee&ngs of the 1st International Conference on the Software Process (Redondo Beach, Calif., ~Oct.). IEEE. New York, 188 201.
	54	~MILLIaAN, J. 1994. The process-oriented software life cycle support environment (ProSLCSE). ~Briefing slides, Rome Laboratory/C3CB, Griffiss Air Force Base, Rome, N.Y.
	55	Carlo Montangero , Vincenzo Ambriola, OIKOS: constructing process-centred SDEs, Software process modelling and technology, Research Studies Press Ltd., Taunton, UK, 1994
	56	~Moss, J. E. B. 1981. Nested transactions: An approach to reliable distributed eomputlng. ~Ph.D. thesis, Massachusetts Institute of Technology, Cambridge, Mass. May.
	57	L. Osterweil, Software processes are software too, Proceedings of the 9th international conference on Software Engineering, p.2-13, March 1987, Monterey, California, United States
	58	~OSTEm~Em, L.J. 1991. Panel position statement--why is process important? In Proceedings ~of the Ist International Conference on the Software Process (Redondo Beach, Calif., Oct.). IEEE, ~New York, 5.
	59	~PERRY, D.E. 1991. Policy-directed coordination and cooperation. In Proceedings of the 7th ~Intenatmnal So/tware Process Workshop (Yountville, Calif.). IEEE, New York.
	60	James Lyle Peterson, Petri Net Theory and the Modeling of Systems, Prentice Hall PTR, Upper Saddle River, NJ, 1981
	61	Steven P. Reiss, Connecting Tools Using Message Passing in the Field Environment, IEEE Software, v.7 n.4, p.57-66, July 1990 [doi>10.1109/52.56450]
	62	D. Richardson , S. Aha , L. Osterweil, Integrating testing techniques through process programming, Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification, p.219-228, December 13-15, 1989, Key West, Florida, United States
	63	H. Dieter Rombach, MVP-L: a language for process modeling in-the-large, University of Maryland at College Park, College Park, MD, 1991
	64	~ROMB^CH, H. D. AND VERLAGE, M. 1993. How to assess a software process modeling formalism ~from a project member's point of view. In Proceedings of the 2nd International Conference on ~the Software Process. IEEE, New York, 147-159.
	65	~SAEKI, M.. t~NOKO, rp.. ANn SAKAMOTO, M. 1991. A method for software process modeling and ~description using LOTOS. In Procee&ngs of the Ist Internatmnal Conference on the Software ~Process (Redondo Beach, Calif., Oct.). IEEE, New York, 90-104.
	66	~SEI. 1992. The capability maturity model for software. In DARPA Software Technology ~Conl~rence Proceedings (Los Angeles, Calif., Apr.). DARPA, Washington, D.C., I 32.
	67	~SONG, X. AND OSTERWEIL, L.J. 1991. Comparing design methodologies through process model- ~ms. In Proceedmgs of the 1st Internatmnal Conference on the Software Process (Redondo ~Beach~ Calif, Oct ). IEEE, New York, 29-44.
	68	Kevin Sullivan , David Notkin, Reconciling environment integration and component independence, Proceedings of the fourth ACM SIGSOFT symposium on Software development environments, p.22-33, December 03-05, 1990, Irvine, California, United States
	69	Stanley M. Sutton, Jr., APPL/A: a prototype language for software-process programming, University of Colorado at Boulder, Boulder, CO, 1991
	70	~SUTTON, S. M., JR. 1990b. A process-program in APPL/A for the software-process modeling ~problem Sixth International Software Process Workshop. Aracadia Doc. CU-90-06, Dept. of ~Computer Science, Univ. of Colorado, Boulder, Colo. Sept.
	71	~SUTTON, S. M., JR. 1991a. APPL/A solutions for the ISFW7 process-modeling problems. ~Arcadia Doc CU-91-07, Dept. of Computer Science, Univ. of Colorado, Boulder, Colo Oct.
	72	~SUTTON, S. M., JR. 1991b. A flexible consistency model for persistent data m software-process ~programrmng languages. In Implementmg Persistent Object Bases Prmc~ples and Practice, S. ~Dearie, G. M. Shaw, and S. B. Zdonik, Eds. Morgan Kaufmann, San Marco, Calif., 305 318.
	73	~SUTTON, S. M., JR 1993. Opportunities, limitations, and tradeoffs in process programming. In ~Proceedmgs of the 2nd International Conference on the Software Process. IEEE, New York, ~135-146.
	74	~SUTTON, S M, JR., HEIMBIGNER, D., AND OSTERWEIL, L.J. 1991a Managing change in software ~development through process programming. Tech. Rep. CU-CS-531-91, Dept. of Computer ~Science, Univ. of Colorado, Boulder, Colo. June.
	75	~SUTTON, S M., JR., ZIV, H., HEIMBIGNER, D., YESSAYAN, H, MA~mKE, M., OSTERWEm, L. J., AND ~SONG, X. 1991b Programming a software requirements-specification process. In Proceed- ~rags of the 1st International Conference on the Software Process (Redondo Beach, Calif., Oct.). ~IEEE, New York, 68 89.
	76	~SUZUKI, M. AND KATAYAMA, T~ 1991. Meta-operations in the process model HFSP for the ~dynamics and flexibility of software processes. In Proceedmgs of the 1st International Confer- ~ence on the So/tware Process (Redondo Beach, Calif., Oct.). IEEE, New York, 202-217
	77	~SUZUKL M., IWAI, A., AND KATAYAMA, T. 1992 A formal model of re-execution in software ~process. In Proceedings of the 2nd International Conference on the Software Process. IEEE, ~New York, 84-99.
	78	Peri Tarr , Lori A. Clarke, PLEIADES: an object management system for software engineering environments, Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering, p.56-70, December 08-10, 1993, Los Angeles, California, United States
	79	Peri Tarr , Stanley M. Sutton, Jr., Programming heterogeneous transactions for software development environments, Proceedings of the 15th international conference on Software Engineering, p.358-369, May 17-21, 1993, Baltimore, Maryland, United States
	80	Richard N. Taylor , Frank C. Belz , Lori A. Clarke , Leon Osterweil , Richard W. Selby , Jack C. Wileden , Alexander L. Wolf , Michael Young, Foundations for the Arcadia environment architecture, Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments, p.1-13, November 28-30, 1988, Boston, Massachusetts, United States
	81	~USDOD. 1983. Reference Manual for the Ads Programming Lanuage. ANSI/MIL-STD- ~1815A-1983, U.S Dept. of Defense, Washington, D.C.