{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,19]],"date-time":"2025-05-19T04:02:14Z","timestamp":1747627334860,"version":"3.40.5"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"1-4","license":[{"start":{"date-parts":[[2002,12,1]],"date-time":"2002-12-01T00:00:00Z","timestamp":1038700800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,12,1]],"date-time":"2002-12-01T00:00:00Z","timestamp":1038700800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Software Engineering"],"published-print":{"date-parts":[[2002,12]]},"DOI":"10.1023\/a:1020509809235","type":"journal-article","created":{"date-parts":[[2003,3,18]],"date-time":"2003-03-18T20:12:43Z","timestamp":1048018363000},"page":"197-234","source":"Crossref","is-referenced-by-count":5,"title":["Automatic Verification of Static Policies on Software Process Models"],"prefix":"10.1007","volume":"14","author":[{"given":"Rodrigo Quites","family":"Reis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carla Alessandra Lima","family":"Reis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Heribert","family":"Schlebbe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daltro","family":"Jos\u00e9 nunes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5098031_CR1","volume-title":"Process Patterns: Building Large-Scale Systems Using Object Technology","author":"S.W. Ambler","year":"1998","unstructured":"Ambler, S.W. (1998), Process Patterns: Building Large-Scale Systems Using Object Technology, SIGS Books\/Cambridge University Press, New York."},{"key":"5098031_CR2","volume-title":"Lecture Notes in Artificial Intelligence","author":"R. Bergmann","year":"1999","unstructured":"Bergmann, R., S. Breen, M. Goker, M. Manago, and S. Wess (1999), Developing Industrial Case-Based Reasoning Applications, Lecture Notes in Artificial Intelligence, Vol. 1612, Springer-Verlag, Berlin."},{"key":"5098031_CR3","volume-title":"The Unified Modeling Language User Guide","author":"G. Booch","year":"1999","unstructured":"Booch, G., J. Rumbaugh, and I. Jacobson (1999), The Unified Modeling Language User Guide, Addison-Wesley, Reading, MA."},{"key":"5098031_CR4","unstructured":"Davis, A.M. (1995), 201 Principles of Software Development, McGraw-Hill, New York."},{"key":"5098031_CR5","volume-title":"Lecture Notes in Computer Science","author":"J. Derniame","year":"1999","unstructured":"Derniame, J., B. Kaba, and D. Wastell, Eds. (1999), Software Process: Principles, Methodology and Technology, Lecture Notes in Computer Science, Vol. 1500, Springer-Verlag, Berlin."},{"volume-title":"SPICE: The Theory and Practice of Software Process Improvement and Capability Determination","year":"1998","key":"5098031_CR6","unstructured":"Eman, K., J.N. Drouin, and W. Melo, Eds. (1998), SPICE: The Theory and Practice of Software Process Improvement and Capability Determination, IEEE Computer Society Press, Los Alamitos, CA."},{"key":"5098031_CR7","first-page":"28","volume-title":"Proceedings of the Second International Conference on the Software Process","author":"P. Feiler","year":"1993","unstructured":"Feiler, P. and W. Humphrey (1993), \u201cSoftware Process Development and Enactment: Concepts and Definitions, \u201d In Proceedings of the Second International Conference on the Software Process, IEEE Computer Society Press, Los Alamitos, CA, pp. 28\u201340."},{"key":"5098031_CR8","unstructured":"Franch, X. and J. Rib\u00f3 (1999), \u201cSome Reflexions in the Modeling of Software Processes, \u201d In Proceedings of the First International Process Techonology Workshop, International Software Process Association."},{"key":"5098031_CR9","volume-title":"Proceedings of the 10th International Workshop on Database & Expert Systems Applications","author":"P.J. Funk","year":"1999","unstructured":"Funk, P.J. and I. Crnkovic (1999), \u201cReuse, Validation and Verification of System Development Processes, \u201d In Proceedings of the 10th International Workshop on Database & Expert Systems Applications, IEEE Computer Society Press, Los Alamitos, CA."},{"key":"5098031_CR10","unstructured":"Gosling, J., B. Joy, and G. Steele (1996), \u201cThe Java Language Specification, \u201d http:\/\/java.sun.com\/doc\/books\/jls\/index.html"},{"issue":"2","key":"5098031_CR11","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1109\/52.914732","volume":"18","author":"J. Herbsleb","year":"2001","unstructured":"Herbsleb, J. and D. Moitra (2001), \u201cGlobal Software Development, \u201d IEEE Software 18, 2, 16\u201320.","journal-title":"IEEE Software"},{"issue":"4","key":"5098031_CR12","doi-asserted-by":"crossref","first-page":"368","DOI":"10.1145\/292182.292194","volume":"8","author":"M. Jaccheri","year":"1998","unstructured":"Jaccheri, M., G. Picco, and P. Lago (1998), \u201cEliciting Software Process Models with the E3 Language, \u201d ACM Transactions on Software Engineering and Methodology 8, 4, 368\u2013410.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"5098031_CR13","volume-title":"System Development","author":"M. Jackson","year":"1983","unstructured":"Jackson, M. (1983), System Development, Prenctice-Hall International, New York."},{"key":"5098031_CR14","unstructured":"J\u00f8 rgensen, H. and S. Carlsen (2001), \u201cWritings in Process Knowledge Management: Management of Knowledge Captured by Process Models, \u201d http:\/\/www.informatics.sintef.no\/~sca\/workflow\/PKM.pdf"},{"issue":"3","key":"5098031_CR15","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/52.2023","volume":"5","author":"G. Kaiser","year":"1988","unstructured":"Kaiser, G., P. Feller, and S. Popovich (1988), \u201cIntelligent Assistance for Software Development and Maintenance, \u201d IEEE Software 5, 3, 40\u201349.","journal-title":"IEEE Software"},{"key":"5098031_CR16","volume-title":"Lecture Notes in Computer Science","author":"G. Kappel","year":"1998","unstructured":"Kappel, G., S. Rausch-Schott, and W. Retschitzegger (1998), \u201cCoordination inWorkflow Management Systems - A Rule-Based Approach, \u201d In Coordination Technology for Collaborative Applications: Organizations, Processes and Agents, W. Conen and G. Neumann, Eds., Lecture Notes in Computer Science, Vol. 1364, Springer-Verlag, Berlin."},{"key":"5098031_CR17","volume-title":"D.Sc. Thesis","author":"C.A. Krapp","year":"1998","unstructured":"Krapp, C.A. (1998), \u201cAn Adaptable Environment for the Management of Development Processes, \u201d D.Sc. Thesis, University of Aachen, Germany."},{"key":"5098031_CR18","volume-title":"D.Sc. Thesis","author":"C.A. Lima Reis","year":"2002","unstructured":"Lima Reis, C.A. (2002), \u201cFlexible Support for Software Process Enactment, \u201d D.Sc. Thesis, Institute of Informatics, UFRGS, Porto Alegre, RS, Brazil (in Portuguese, to appear)."},{"key":"5098031_CR19","first-page":"197","volume-title":"Proceedings of the Symposium on Software Technology","author":"C.A. Lima Reis","year":"1998","unstructured":"Lima Reis, C.A., R.Q. Reis, and D.J. Nunes (1998), \u201cDynamic Software Process Manager for the PROSOFT Software Engineering Environment, \u201d In Proceedings of the Symposium on Software Technology, European Software Institute, Buenos Aires, Argentina, pp. 197\u2013202."},{"key":"5098031_CR20","volume-title":"Technical Report","author":"C.A. Lima Reis","year":"2001","unstructured":"Lima Reis, C.A., R.Q. Reis, and D.J. Nunes (2001), \u201cModelagem, Ger\u00ea ncia e Instancia\u00e7 \u00e3 o de Recursos no Ambiente APSEE, \u201d Technical Report, Institute of Informatics, UFRGS, Porto Alegre, RS, Brazil (in Portuguese)."},{"key":"5098031_CR21","first-page":"41","volume-title":"Proceedings of the Second International Conference on Software Process","author":"J. Lonchamp","year":"1993","unstructured":"Lonchamp, J. (1993), \u201cA Structured Conceptual and Terminological Framework for Software Process Engineering, \u201d In Proceedings of the Second International Conference on Software Process, IEEE Computer Society Press, Los Alamitos, CA, pp. 41\u201353."},{"key":"5098031_CR22","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1109\/ENABL.1993.263061","volume-title":"Proceedings of Second Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises","author":"T.W. Malone","year":"1993","unstructured":"Malone, T.W., K. Crowston, J. Lee, and B. Pentland (1993), \u201cTools for Inventing Organizations: Toward a Handbook of Organizational Processes, \u201d In Proceedings of Second Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, IEEE Computer Society Press, Los Alamitos, CA, pp. 72\u201382."},{"key":"5098031_CR23","first-page":"81","volume-title":"Proceedings of the 6th Brazilian Symposium on Software Engineering","author":"D.J. Nunes","year":"1992","unstructured":"Nunes, D.J. (1992), \u201cEstrat\u00e9gia Data-Driven no Desenvolvimento de Software, \u201d In Proceedings of the 6th Brazilian Symposium on Software Engineering, Brazilian Computing Society, Rio de Janeiro, RJ, Brazil, pp. 81\u201395 (in Portuguese)."},{"key":"5098031_CR24","volume-title":"Technical Report","author":"D.J. Nunes","year":"1994","unstructured":"Nunes, D.J. (1994), \u201cPROSOFT: A Software Environment Based on the Algebraic Method, \u201d Technical Report, Institute of Informatics, UFRGS, Porto Alegre, RS, Brazil."},{"key":"5098031_CR25","volume-title":"The Capability Maturity Model: Guidelines for Improving the Software Process","author":"M. Paulk","year":"1994","unstructured":"Paulk, M., C. Weber, and B. Curtis (1994), The Capability Maturity Model: Guidelines for Improving the Software Process, Addison-Wesley, Reading, MA."},{"key":"5098031_CR26","unstructured":"Perry, D.E. (1991), \u201cPolicy-Directed Coordination and Cooperation, \u201d In Proceedings of the 7th International Software Process Workshop, International Software Process Association."},{"key":"5098031_CR27","doi-asserted-by":"crossref","unstructured":"Perry, D.E. (1996), \u201cPractical Issues in Process Reuse, \u201d In Proceedings of the 10th International Software Process Workshop, International Software Process Association.","DOI":"10.1109\/ISPW.1994.512786"},{"key":"5098031_CR28","unstructured":"Perry, D.E. (1997), \u201cUsing Process Modeling for Process Understanding, \u201d In Proceedings of the European Conference on Software Process Improvement, Barcelona, Spain."},{"key":"5098031_CR29","volume-title":"Software Engineering: A Practitioner's Approach","author":"R.S. Pressman","year":"2001","unstructured":"Pressman, R.S. (2001), Software Engineering: A Practitioner's Approach, 5th European ed., McGraw-Hill, London.","edition":"5th European ed"},{"key":"5098031_CR30","volume-title":"Ph.D. Thesis","author":"S. Rausch-Schott","year":"1999","unstructured":"Rausch-Schott, S. (1999), \u201cTriGSflow - Workflow Management Based on Active Object-Oriented Database Systems and Extended Transaction Mechanisms, \u201d Ph.D. Thesis, Universit\u00e4tsverlag Rudolf Trauner, Austria."},{"key":"5098031_CR31","volume-title":"Technical Report RP-311","author":"R.Q. Reis","year":"2001","unstructured":"Reis, R.Q. (2001), \u201cAPSEE-Static Policy: Sintaxe e sem\u00e2 ntica alg\u00e9brica de uma linguagem para verifica\u00e7 \u00e3 o autom\u00e1tica de pol\u00edticas est\u00e1ticas em modelos de processos de software, \u201d Technical Report RP-311, Institute of Informatics, UFRGS, Porto Alegre, RS, Brazil (in Portuguese)."},{"key":"5098031_CR32","volume-title":"D.Sc. Thesis","author":"R.Q. Reis","year":"2002","unstructured":"Reis, R.Q. (2002), \u201cAPSEE-Reuse: A Model to Automate the Reuse of Software Process Models, \u201d D.Sc. Thesis, Institute of Informatics, UFRGS, Porto Alegre, RS, Brazil (in Portuguese)."},{"key":"5098031_CR33","volume-title":"Proceedings of the 6th World Conference on Integrated Design & Process Technology","author":"R.Q. Reis","year":"2002","unstructured":"Reis, R.Q., C.A. Lima Reis, I. Augustin, A. Yamin, C.R. Geyer, and D.J. Nunes (2002a), \u201cTowards a Software Process Model to Support the Design of Mobile Computing Applications, \u201d In Proceedings of the 6th World Conference on Integrated Design & Process Technology, Society for Design and Process Sciences, Grandview, TX."},{"key":"5098031_CR34","first-page":"219","volume":"1","author":"R.Q. Reis","year":"1998","unstructured":"Reis, R.Q., C.A. Lima Reis, and D.J. Nunes (1998), \u201cA Synchronous Cooperative Architecture for the PROSOFT Software Engineering Environment, \u201d In Proceedings of the 4th Congreso Argentino de Ciencias de la Computaci\u00f3 n, Universidad Nacional del Comahue, Neuqu\u00e9n, Argentina, Vol. 1, pp. 219\u2013227.","journal-title":"Proceedings of the 4th Congreso Argentino de Ciencias de la Computaci\u00f3 n"},{"key":"5098031_CR35","first-page":"50","volume-title":"Proceedings of the 7th International Workshop on Groupware","author":"R.Q. Reis","year":"2001","unstructured":"Reis, R.Q., C.A. Lima Reis, and D.J. Nunes (2001), \u201cAutomated Support for Software Process Reuse: Requirements and Early Experiences with the APSEE model, \u201d In Proceedings of the 7th International Workshop on Groupware, IEEE Computer Society Press, Los Alamitos, CA, pp. 50\u201355."},{"key":"5098031_CR36","volume-title":"Proceedings of the International Workshop on Early Aspects: Aspect-Oriented Requirements Engineering and Architecture Design","author":"R.Q. Reis","year":"2002","unstructured":"Reis, R.Q., C.A. Lima Reis, H. Schlebbe, and D.J. Nunes (2002b), \u201cTowards an Aspect-Oriented Approach to Improve the Reusability of Software Process Models, \u201d In Proceedings of the International Workshop on Early Aspects: Aspect-Oriented Requirements Engineering and Architecture Design, Association for Computing Machinery, New York."},{"issue":"4","key":"5098031_CR37","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/MC.1985.1662862","volume":"18","author":"D. Ross","year":"1985","unstructured":"Ross, D. (1985), \u201cApplications and Extensions of SADT, \u201d IEEE Computer 18, 4, 25\u201335.","journal-title":"IEEE Computer"},{"key":"5098031_CR38","unstructured":"doc\/guide\/ Schlebbe, H. and S. Schimpf (1997), \u201cReenginering of PROSOFT in Java, \u201d Technical Report, Faculty of Informatics, University of Stuttgart, Stuttgart, BW."},{"key":"5098031_CR39","unstructured":"Silva, F., C.A. Lima Reis, R.Q. Reis, and D.J. Nunes (2000), \u201cSimAgentProcess: Uma Ferramenta para Simula\u00e7 \u00e3 o de Processos de Software Baseada em Conhecimento, \u201d In Proceedings of the Third Iberoamerican Workshop on Requirements Engineering and Software Environments, CYTED - Programa Iberoamericano de Ciencia y Tecnolog\u00eda Para el Desarrollo, Mexico (in Portuguese)."},{"key":"5098031_CR40","unstructured":"Sun Microsystems (2002), \u201cJavaTM Remote Method Invocation (RMI), \u201d http:\/\/java.sun.com\/products\/jdk\/rmi\/"}],"container-title":["Annals of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1020509809235.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1020509809235\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1020509809235.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:25:36Z","timestamp":1747578336000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1020509809235"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,12]]},"references-count":40,"journal-issue":{"issue":"1-4","published-print":{"date-parts":[[2002,12]]}},"alternative-id":["5098031"],"URL":"https:\/\/doi.org\/10.1023\/a:1020509809235","relation":{},"ISSN":["1022-7091","1573-7489"],"issn-type":[{"type":"print","value":"1022-7091"},{"type":"electronic","value":"1573-7489"}],"subject":[],"published":{"date-parts":[[2002,12]]}}}