Article

Free access

A bi-level language for software process modeling

Authors:

Gail E. Kaiser,

Steven S. Popovich,

Israel Z. Ben-ShaulAuthors Info & Claims

ICSE '93: Proceedings of the 15th international conference on Software Engineering

Pages 132 - 143

Published: 21 May 1993 Publication History

PDF eReader

References

[1]

V. Ambriola, P. Ckmcarini and C. Montangero. Software Process Enactment in Oikos. In Richard N. Taylor (editor), S1GS0F7 '90 4th ACM SIGSOFT Symposium on Software Development Environments, pages 183-192. Irvine CA, December, 1990.

Digital Library

Google Scholar

[2]

George S. Avnurin, Laura K. DiIlon, Jack C. Wileden and William E. Riddle. Constrained Expressions: Adding Anafysis Capabilities to Design Methods for Concurrent Software Systems. IEEE Transactions on Software Engineering SE-12(2):278-292, February, 1986.

Digital Library

Google Scholar

[3]

Robert Bafzer. Tolerating Inconsistency. In 13th International Conference on Software Engineering, pages 158-165. IEEE Computer Society Press, Austin TX, May, 1991.

Digital Library

Google Scholar

[4]

Nrrser S. Bnrghouti and Gail E. Kaiser. Modeling Concurrency in Rule-Based Development Environments. IEEE Expert 5(6):15-27, December, 1990.

Digital Library

Google Scholar

[5]

Naser S. Barghouti and Gail E. Kaiser. Scrding Up Rule-Based Development Environments. International Journal on Software Engineering & Knowledge Erzgineerirrg 2(1):59-78, March, 1992.

Google Scholar

[6]

Naser S. Barghouti. Supporting Cooperation in the MARVEL Process-Centered SDE, In Herbert Weber (editor), 5th ACM SIGSOFT Symposium on Software Development Environments, pages 21-31. Tyson's Comer VA, December, 1992,

Digital Library

Google Scholar

[7]

Naser S. Barghouti. Concurrency Control in Rule-Based Software Development Environments. PhD thesis, Columbia University, February, 1992. CUCS-001-92.

Digital Library

Google Scholar

[8]

Noureddine Belkhatir, Jacky Estublier and Wafcelio L. Melo. Adele 2: A Support to Large Software Development Process. In Mark Dowson (editor), 1st International Conference on the Software Process: Manufacturing Complex Systems, pages 159-170. IEEE Computer Society Press, Redondo Beach CA, October, 1991.

Crossref

Google Scholar

[9]

Israel Z. Ben-ShauI, Gail E. Kaiser and George T. Heinemsm. An Architecture for Multi-User Software Development Environments. In Herbert Weber (editor), 5th ACM SIGSOFT Symposium on Software Development Environments, pages 149-158. Tyson's Comer VA, December, 1992.

Digital Library

Google Scholar

[10]

Lee Brownston, Robert Farrell, EIaine Kant and Nancy Martin. Programming Expert Systems in 0PS5. Addison-Wesley, 1985.

Digital Library

Google Scholar

[11]

CLF Manual. USC Information Sciences Institute, 1988.

Google Scholar

[12]

Donafd Cohen. Automatic Compilation of Logical Specifications into Efficient Programs. In 5th National Conference on Artificial Intelligence, pages 20-25. AAAI, Philadelphia, PA, August, 1986.

Google Scholar

[13]

Reidar Conradi and Carl Chr. Maim. Cooperating Transactions and Workspaces in EPOS: Design and Preliminary Implementation. In R. Andersen, J.A. Bubenko, Jr., and A. Solvberg (editors), Lecture Notes in Computer Science. Number 498: Advanced Information Systems Engineering: 3rd International Conference CAiSE '91, pages 375-392. Springer-Verlag, Trondheim, Norway, 1991.

Crossref

Google Scholar

[14]

Wolfgang Deiters and Volker Gruhn. Managing Software Processes in the Environment MELMAC. In Richard N. Taylor (editor), SIGSOFT '90 4th ACM SIGSOFT Symposium on SofMare Development Environments, pages 193-205. Irvine CA, December, 1990.

Digital Library

Google Scholar

[15]

Steven L. Gaede, Brian Nejmeh and William E. Riddle. Interim Report Process Management: Infrastructure Exploration Project. Technical Report 7-48-5, Software Design & Analysis, March, 1991.

Google Scholar

[16]

Volker Gmhn. Validation and Verification of Software Process Models. PhD thesis, Forschnngsberichte des Fachbereichs Informatik der Universitat Dortmund, 1991. Bericht Nr. 394/9 1,

Google Scholar

[17]

Dennis Heimbigner. Proscription versus Prescription in Process. Centered Environments. In Takuya Katayama (editor), 6rh International Software Process Work.rhop: Support for the Software Process, pages 99-102. IEEE Computer Society Press, Hakodate, Japan, October, 1990.

Google Scholar

[18]

Dennis Heimbigner and Marc Kellner. Software Process Example for ISPW-7. August, 1991 /pub/cs/techreports/ISPW7/ispw7.ex.ps.Z available by anonymous ftp from ftp.cs.colorado. edu.

Google Scholar

[19]

Dennis Heimbigner. The ProcessWafl: A Process State Server Approach to Process Progmsmning. In Herbert Weher (editor), 5th ACM SIGSOFT Symposium on So@are Development Environments, pages 159-168. Tyson's Comer VA, December, 1992.

Digital Library

Google Scholar

[20]

George T. Heineman, Gail E. Kaiser, Naser S. Barghouti and Israel Z. BenShaul. Rule Chaining in MARVEL: Dynamic Binding of Parameters. IEEE Expert 7(6):26-32, December, 1992.

Digital Library

Google Scholar

[21]

Hajimu Iidaj Takeshi Ogihara, Katsuro Inoue and Koji Torii. Generating a Menu-Oriented Navigation System from Formal Description of Software Development Activity Sequence. In Mark Dowson (editor), Ist International Conference on the Soflware Process: Manrrfacturing Complex Systems, pages 45-57. IEEE Computer Society Press, Redondo Beach CA, October, 1991.

Google Scholar

[22]

Katsuro Inoue, Tnkeshi Ogihara, Tohru Klkuno and Koji Torii. A Formal Adaptation Method for Process Descriptions. In Ilrh International Conference on Software Engineering, pages 145-153. IEEE Computer Society Press, Pittsburgh PA, May, 1989.

Digital Library

Google Scholar

[23]

Gail E. Kaiser, Peter H. Feiler and Steven S. Popovich. Intelligent Assistance for Software Development and Maintenance. IEEE Software 5(3):40-49, May, 1988.

Digital Library

Google Scholar

[24]

Gail E. Kaiser, Naser S. Bargbouti, Peter H. Feiler and Robert W. Schwanke. Database Support for Knowledge-Based Engineering Environments. IEEE Expert 3(2): 18-32, Summer, 1988.

Digital Library

Google Scholar

[25]

Takuya Katayama. A Hierarchical and Functional Software Process Description and its Enaction. In 1Ith International Corrference on Sofware Engineering, pages 343-352. IEEE Computer Societ y Press, Pittsburgh PA, May, 1989.

Digital Library

Google Scholar

[26]

Marc I. Kelhrer and H. Dieter Rombach. Session Summary: Comparisons of Software Process Descriptions. In Takuya Katayama (editor), 6th International Software Process Workrhop: Support for the Software Process, pages 7-18. IEEE Computer Society Press, Hakodate, Japan, October, 1990.

Google Scholar

[27]

Marc I. Kelhrer, Peter H. Feiler, Anthony Finkelstein, Takuya Katayama, Leon J. Osterweil, Maria H. Penedo and H. Dieter Rombach. Software Process Modeling Example Problem. In Mark Dowson (editor), 1st International Conference on the Software Process: Manufacturing Complex Systems, pages 176-186. IEEE Computer Society Press, Redondo Beach CA, October, 1991.

Google Scholar

[28]

Chunnian Llu. Software Process Planning and Execution: Coupling vs. Integration. In R. Andersen, J.A. Bubenko, Jr., and A. Solvberg (editors), Lecture Notes in Computer Science. Number 498: Advanced Information Systems Engineering: 3rd International Conference CAiSE '91, pages 356-374. Springer-Verlag, Trondheim, Norway, 1991.

Crossref

Google Scholar

[29]

Peiwei Mi and Walt Scacchi. Articulation: Supporting Dynamic Evolution of Software Engineering Processes. In Ian Thomas (editor), 7th International Software Process Workshop, IEEE Computer Society Press, Yountville CA, October, 1991. Preprints.

Google Scholar

[30]

Peiwei Ml rmd Walt Scacchi. Process Integration in CASE Environments, IEEE Software 9(2):45-53, March, 1992.

Digital Library

Google Scholar

[31]

Naftaly H. Minsky. Law-Governed Systems. Software Engineering Journal 6(5):285-302, September, 1991.

Digital Library

Google Scholar

[32]

K. Narayanaswamy and Neil M. Goldman. Team Coordination: Information Sharing + Policies. In Ian Thomas (editor), 7th International Software Process Workshop. IEEE Computer Society Press, Yountville CA, October, 1991. Preprints.

Google Scholar

[33]

Leon Osterweil. Software Processes are Software Too. In 9th International Conference on Software Engineering, pages 1-13. IEEE Computer Society, Monterey CA, March, 1987.

Digital Library

Google Scholar

[34]

William E. Riddle. Activity Structure D@ritions. Technical Report 7-52-3, Sotlwarc Design& Analysis, March, 1991.

Google Scholar

[35]

Wilhelm Schafer, Burkhard Peuschel and Stefan Wolf. A Knowledge-based Software Development Environment Supporting Cooperative Work. International Journal on Sojlware Engineering & Knowledge Engineering 2(1 ):79-106, March, 1992.

Google Scholar

[36]

Yoichi Shinoda and Takuya Katayama. Towards Format Description and Automatic Generation of Programming Environments. In Fred Long (editor), Lecture Notes in Computer Science. Number 467: Software Engineering Environments International Workshop on Environments, pages 261-270. Springer-Verlag, Chinon, France, 1989.

Digital Library

Google Scholar

[37]

Stanley M. Sutton, Jr. APPUA: A Prototype Language for Software-Process Programming. PhD thesis, University of Colorado, 1990.

Digital Library

Google Scholar

[38]

Stanley M. Sutton, Jr. A Flexible Consistency Model for Persistent Data in Software-Process Programming Languages. In Alan Dearle, Gail Shaw and Stan Zdonik (editor), Implementing Persistent Object Bases Principles and Practice: The 4th International Workshop on Persistent Object Systems, pages 297-310. Morgan Kaufmann, Martha's Vineyard MA, September, 1990.

Google Scholar

[39]

Lloyd G. Williams. Software Process Modeling: A Behavioral Approach. In 10th International Conference on Software Engineering, pages 174-186. Raffles City, Singapore, April, 1988.

Digital Library

Google Scholar

Cited By

View all

Osterweil LSondheimer NButterfield AClarke LMarx RArens YHovy EAgouris P(2003)Trust resource management in digital government through process modelingProceedings of the 2003 annual national conference on Digital government research10.5555/1123196.1123310(1-4)Online publication date: 18-May-2003
https://dl.acm.org/doi/10.5555/1123196.1123310
Gruhn VUrbainczyk JTorii KFutatsugi KKemmerer R(1998)Software process modeling and enactmentProceedings of the 20th international conference on Software engineering10.5555/302163.302165(13-21)Online publication date: 1-Apr-1998
https://dl.acm.org/doi/10.5555/302163.302165
Gruhn VSchäfer WAdrion W(1997)Software and business process technology (tutorial)Proceedings of the 19th international conference on Software engineering10.1145/253228.253543(639-640)Online publication date: 1-May-1997
https://dl.acm.org/doi/10.1145/253228.253543
Show More Cited By

Recommendations

Modeling language variability with reusable language components
SPLC '18: Proceedings of the 22nd International Systems and Software Product Line Conference - Volume 1

Proliferation of modeling languages has produced a great variety of similar languages whose individual maintenance is challenging and costly. Reusing the syntax and semantics of modeling languages and their heterogeneous constituents, however, is rarely ...
Extending an Algebraic Modeling Language to Support Constraint Programming

<P>Although algebraic modeling languages are widely used in linear and nonlinear programming applications, their use for combinatorial or discrete optimization has largely been limited to developing integer linear programming models for solution by ...
A global optimization algorithm for solving the bi-level linear fractional programming problem

In this paper, we obtain the solution to bi-level linear fractional programming problem (BLFP) by means of an optimization algorithm based on the duality gap of the lower level problem. In our algorithm, the bi-level linear fractional programming ...

Comments

Information & Contributors

Information

Published In

ICSE '93: Proceedings of the 15th international conference on Software Engineering

May 1993

524 pages

ISBN:0897915887

Chairmen:
Victor R. Basili
Univ. of Marland
,
Richard A. DeMillo
Purdue Univ., Lafeyette, IN
,
Takuya Katayama
Tokyo Institute of Technology, Tokyo, Japan

Publisher

IEEE Computer Society Press

Washington, DC, United States

Publication History

Published: 21 May 1993

Check for updates

Qualifiers

Article

Conference

ICSE93

Sponsor:

SIGSOFT
IEEE-CS

ICSE93: 15th International Conference on Software Engineering

May 17 - 21, 1993

Maryland, Baltimore, USA

Acceptance Rates

Overall Acceptance Rate 276 of 1,856 submissions, 15%

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

7
Total Citations
View Citations
434
Total Downloads

Downloads (Last 12 months)63
Downloads (Last 6 weeks)7

Reflects downloads up to 15 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Osterweil LSondheimer NButterfield AClarke LMarx RArens YHovy EAgouris P(2003)Trust resource management in digital government through process modelingProceedings of the 2003 annual national conference on Digital government research10.5555/1123196.1123310(1-4)Online publication date: 18-May-2003
https://dl.acm.org/doi/10.5555/1123196.1123310
Gruhn VUrbainczyk JTorii KFutatsugi KKemmerer R(1998)Software process modeling and enactmentProceedings of the 20th international conference on Software engineering10.5555/302163.302165(13-21)Online publication date: 1-Apr-1998
https://dl.acm.org/doi/10.5555/302163.302165
Gruhn VSchäfer WAdrion W(1997)Software and business process technology (tutorial)Proceedings of the 19th international conference on Software engineering10.1145/253228.253543(639-640)Online publication date: 1-May-1997
https://dl.acm.org/doi/10.1145/253228.253543
Bischofberger WKofler TMatzel KSchaffer B(1995)Computer supported cooperative software engineering with Beyond-SniffProceedings of the 1995 Software Engineering Environment Conferences10.5555/829498.829854Online publication date: 5-Apr-1995
https://dl.acm.org/doi/10.5555/829498.829854
Tong A(1994)Reducing the technical overhead of software reuseProceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research10.5555/782185.782252Online publication date: 31-Oct-1994
https://dl.acm.org/doi/10.5555/782185.782252
Ben-Shaul IKaiser GFadini BOsterweil Lvan Lamsweerde A(1994)A paradigm for decentralized process modeling and its realization in the Oz environmentProceedings of the 16th international conference on Software engineering10.5555/257734.257764(179-188)Online publication date: 21-May-1994
https://dl.acm.org/doi/10.5555/257734.257764
Tong ASlonim JGentleman W(1993)A proposed approach to process decomposition and collaboration for MARVELProceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 110.5555/962289.962317(325-336)Online publication date: 24-Oct-1993
https://dl.acm.org/doi/10.5555/962289.962317

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Recommendations

Modeling language variability with reusable language components

Extending an Algebraic Modeling Language to Support Constraint Programming

A global optimization algorithm for solving the bi-level linear fractional programming problem