{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:50:55Z","timestamp":1725490255364},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540443100"},{"type":"electronic","value":"9783540458326"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45832-8_20","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T15:13:34Z","timestamp":1188314014000},"page":"254-269","source":"Crossref","is-referenced-by-count":1,"title":["Using Graph Transformation as the Semantical Model for Software Process Execution in the APSEE Environment"],"prefix":"10.1007","author":[{"given":"Carla A.","family":"Lima Reis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rodrigo Quites","family":"Reis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcelo M.","family":"de Abreu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Heribert","family":"Schlebbe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daltro J.","family":"Nunes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,10,24]]},"reference":[{"key":"20_CR1","unstructured":"Aalst, W.M.P. van der. Generic Workflow Models: How to handle dynamic change and capture management information. International Conference on Cooperative Information Systems (COOPIS\u201999). Edinburger, Scotland, Sept. 1999."},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"Bardohl, R.; Taentzer, G.; Minas, M.; Sch\u00fcrr, A. Application of Graph Transformation to Visual Languages. In: Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools, World Scientific, 1999.","DOI":"10.1142\/9789812815149_0003"},{"key":"20_CR3","unstructured":"Bardohl, R.; Ehrig, H.; Ermel, C. Generic Description, Behavior and Animation of Visual Modeling Languages. Dagstuhl Seminar 00411 Semi-Formal and Formal Specification Techniques for Software Systems, October 9th\u201313th, 2000."},{"key":"20_CR4","volume-title":"PhD Thesis","author":"R. Bardohl","year":"2000","unstructured":"Bardohl, R. GenGED-Visual Definition of Visual Languages based on Algebraic Graph Transformation. PhD Thesis. Tec. Universit\u00e4t Berlin. Kovac Verlag, Hamburg, 2000."},{"key":"20_CR5","series-title":"Lect Notes Comput Sci","volume-title":"Software Process","year":"1999","unstructured":"Derniame, J.; Kaba, B.; Wastell, D. (Eds.). Software Process. Lecture Notes in Computer Science, Vol. 1500. Springer, 1999."},{"key":"20_CR6","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation: Applications, Languages and Tools","author":"H. Ehrig","year":"1999","unstructured":"Ehrig, H.; Engels, G.; Kreowski, H-J.; Rozenberg, G. Handbook of Graph Grammars and Computing by Graph Transformation: Applications, Languages and Tools. Volume 2. World Scientific, Singapore, 1999."},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"Feiler, P.; Humphrey, W. Software Process Development and Enactment. 2nd International Conference on the Software Process. IEEE Press, Feb.1993.","DOI":"10.21236\/ADA258465"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"Fuggetta, A. Software Process: A Roadmap. In: Finkelstein (Ed.), Future of Software Engineering. ACM Press 2000.","DOI":"10.1145\/336512.336521"},{"key":"20_CR9","volume-title":"Process-Centered Software Engineering Environments","author":"P. K. Garg","year":"1996","unstructured":"Garg, P. K.; Jazayeri, M. Process-Centered Software Engineering Environments. Los Alamitos: IEEE CS Press, 1996."},{"key":"20_CR10","series-title":"Lect Notes Comput Sci","volume-title":"Coordination technology for collaborative applications","author":"G. Kappel","year":"1997","unstructured":"Kappel, G et al. Coordination in workflow management systems: A rule based approach. In Conen, W.; Neuman, G. (Eds.) Coordination technology for collaborative applications. Lecture Notes in Computer Science, Vol. 1364, 1997."},{"key":"20_CR11","volume-title":"Ph.D. Thesis","author":"C.A. Krapp","year":"1998","unstructured":"Krapp, C.A. An Adaptable Environment for the Management of Development Processes. Ph.D. Thesis. Aachen University. Germany, 1998."},{"key":"20_CR12","unstructured":"Lerner, B. et al. Modeling and Managing Resource Utilization in Process, Workflow and Activity Coordination. Technical Report. University of Massachusetts Aug., 2000."},{"key":"20_CR13","volume-title":"Symposium on Software Technology (SoST\u201998)","author":"C.A. Lima Reis","year":"1998","unstructured":"Lima Reis, C.A.; Reis, R.Q.; Nunes, D. J. Dynamic Software Process Manager for the PROSOFT Software Engineering Environment. Symposium on Software Technology (SoST\u201998). Buenos Aires: Sadio\/European Software Institute. Sept. 1998."},{"key":"20_CR14","unstructured":"Lima Reis, C.; Reis, R.; Abreu, M.; Nunes, D. APSEE: Um modelo formal e flex\u00edvel para execu\u00e7\u00e3o de processos de software. 5th Iberoamerican Workshop on Requirements Engineering and Software Environments (IDEAS 2002). La Habana, Cuba, April 2002."},{"key":"20_CR15","volume-title":"26th Annual International Computer Software and Applications Conference (COMPSAC\u201902)","author":"C.A. Lima Reis","year":"2002","unstructured":"Lima Reis, C.A. \u201cResource Instantiation Policies in Software Process Environments\u201d. 26th Annual International Computer Software and Applications Conference (COMPSAC\u201902). Oxford, England, IEEE CS Press, August 2002."},{"key":"20_CR16","volume-title":"Ph.D. Thesis","author":"C.A. Lima Reis","year":"2002","unstructured":"Lima Reis, C.A. APSEE: A Flexible Software Process Enactment System. Ph.D. Thesis, Porto Alegre: PPGC-UFRGS, 2002 (to appear, in Portuguese)."},{"key":"20_CR17","unstructured":"Lonchamp, J. A Structured Conceptual and Terminological Framework for the Software Process Engineering. 2nd International Conference on the Software Process, IEEE CS, Mar.1993."},{"key":"20_CR18","unstructured":"Nunes, D.J. The Algebraic-PROSOFT Software Development Paradigm. Technical Report. Porto Alegre: PPGC-UFRGS, 1996. ( http:\/\/www.inf.ufrgs.br\/$im$prosoft )"},{"key":"20_CR19","unstructured":"Paulk, M.; Weber, C.; Curtis, B. The Capability Maturity Model. Addison-Wesley Publishing Co., 1994."},{"key":"20_CR20","volume-title":"10th International Software Process Workshop, 10. (ISPW\u201910)","author":"D. E. Perry","year":"1996","unstructured":"Perry, D. E. Practical Issues in Process Reuse. 10th International Software Process Workshop, 10. (ISPW\u201910). IEEE Press, France, June 1996."},{"key":"20_CR21","series-title":"Lect Notes Comput Sci","volume-title":"3rd International Conference on Coordination Models and Languages","author":"R. Podorozhny","year":"1999","unstructured":"Podorozhny, R.et al. Modeling Resources for Activity Coordination and Scheduling. 3rd International Conference on Coordination Models and Languages. April 1999. Lecture Notes in Computer Science, Vol. 1594. Springer-Verlag."},{"key":"20_CR22","unstructured":"Reis, R.Q. et al. Automatic Verification of Static Policies on Software Process Models. Annals of Software Engineering. Special Volume on Process-Based Software Engineering. V. 14. Kluwer Academic Publishers, Oct.2002 (to appear)."},{"key":"20_CR23","unstructured":"Reis, R.Q. et al. Towards a Software Process Model to Support the Design of Mobile Computing Applications. 6th World Conference on Integrated Design and Process Technology, Pasadena (USA), 2002."},{"volume-title":"Handbook on Graph Grammars: Foundations","year":"1997","key":"20_CR24","unstructured":"Rozenberg, G. (Ed.). Handbook on Graph Grammars: Foundations. Vol. 1. World Scientific, Singapore, 1997."},{"key":"20_CR25","volume-title":"Technical Report","author":"H. Schlebbe","year":"1997","unstructured":"Schlebbe, H.; Schimpf, S. Reengineering of Prosoft in Java. Technical Report. Fakult\u00e4t Informatik, Universit\u00e4t Stuttgart, Germany. Oct.1997."},{"key":"20_CR26","series-title":"Lect Notes Comput Sci","volume-title":"5th European Software Engineering Conference, Spain, 1995","author":"A. Sch\u00fcrr","year":"1995","unstructured":"Sch\u00fcrr, A.; Winter, A.J.and Z\u00fcndorf, A. Graph Grammar Engineering with PROGRES. In W. Sch\u00e4fer and P. Botella, (eds.) 5th European Software Engineering Conference, Spain, 1995. Lecture Notes in Computer Science, Vol. 989. Springer-Verlag."},{"key":"20_CR27","unstructured":"Silva, F.; Lima Reis, C.; Reis, R.; Nunes, D. A Model for Software Process Simulation based on Cooperative Agents. 13th Brazilian Symposium on Software Engineering. Florian\u00f3polis, Oct. 2001."},{"key":"20_CR28","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-46708-4","volume-title":"Models and Tools for Managing Development Processes","author":"B. Westfechtel","year":"1999","unstructured":"Westfechtel, B. Models and Tools for Managing Development Processes. Lecture Notes in Computer Science, Vol. 1646. Springer-Verlag, 1999."}],"container-title":["Lecture Notes in Computer Science","Graph Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45832-8_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T17:13:54Z","timestamp":1556817234000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45832-8_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540443100","9783540458326"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-45832-8_20","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}