{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:11:59Z","timestamp":1725574319569},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540249368"},{"type":"electronic","value":"9783540318477"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31847-7_23","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T19:51:47Z","timestamp":1294429907000},"page":"385-401","source":"Crossref","is-referenced-by-count":3,"title":["A Formal Framework for the Development of Concurrent Object-Based Systems"],"prefix":"10.1007","author":[{"given":"Leila","family":"Ribeiro","sequence":"first","affiliation":[]},{"given":"Fernando Lu\u00eds","family":"Dotti","sequence":"additional","affiliation":[]},{"given":"Roswitha","family":"Bardohl","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","unstructured":"Promela language reference (2003), http:\/\/spinroot.com\/spin\/Man\/promela.html"},{"key":"23_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-540-28644-8_6","volume-title":"CONCUR 2004 - Concurrency Theory","author":"P. Baldan","year":"2004","unstructured":"Baldan, P., Corradini, A., Koenig, B.: Verifying finite-state graph grammars: an unfolding-based approach. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol.\u00a03170, pp. 83\u201398. Springer, Heidelberg (2004)"},{"key":"23_CR3","unstructured":"Bardohl, B., Bardohl, R., Castro, P., Copstein, B., Ehrig, H., Korff, M., Martini, A., Nunes, D., Ribeiro, L., Schlebbe, H.: GRAPHIT: Graphical support and integration of formal and semi-formal methods for software specification and development. In: 6th German-Brazilian Workshop on Information Technology (2000)"},{"key":"23_CR4","unstructured":"Bardohl, R.: Visual Definition of Visual Languages based on Algebraic Graph Transformation. PhD thesis, Technical University of Berlin, Germany (2000)"},{"key":"23_CR5","unstructured":"Bardohl, R., Ermel, C., Weinhold, I.: Specification and Analysis Techniques for Visual Languages with GenGED. Technical Report 2002\u201313, Technical University Berlin, Dept. of Computer Science (September 2002) ISSN 1436-9915"},{"key":"23_CR6","volume-title":"The Unified Modeling Language user guide","author":"G. Booch","year":"1998","unstructured":"Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language user guide. Addison-Wesley, Reading (1998)"},{"key":"23_CR7","first-page":"74","volume-title":"33rd Annual Simulation Symposium","author":"B. Copstein","year":"2000","unstructured":"Copstein, B., M\u00f3ra, M.C., Ribeiro, L.: An environment for formal modeling and simulation of control systems. In: 33rd Annual Simulation Symposium, USA, pp. 74\u201382. IEEE Computer Society Press, Los Alamitos (2000)"},{"key":"23_CR8","unstructured":"Copstein, B., Ribeiro, L.: Specifying simulation models using graph grammars. In: 10th European Simulation Symposium, UK, pp. 60\u201364. SCS (1998)"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"Dotti, F.L., Duarte, L., Foss, L., Ribeiro, L., Russi, D., Santos, O.: An environment for the development of concurrent object-based applications. In: Electronic Notes in Theoretical Computer Science (International Workshop on Graph-Based Tools) (2004)","DOI":"10.1016\/j.entcs.2004.12.026"},{"key":"23_CR10","unstructured":"Dotti, F.L., Duarte, L.M., Copstein, B., Ribeiro, L.: Simulation of mobile applications. In: 2002 Communication Networks and Distributed Systems Modeling and Simulation Conference, USA, pp. 261\u2013267. The Society for Modeling and Simulation International (2002)"},{"key":"23_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/978-3-540-39958-2_18","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"F.L. Dotti","year":"2003","unstructured":"Dotti, F.L., Foss, L., Ribeiro, L., Santos, O.M.: Verification of object-based distributed systems. In: Najm, E., Nestmann, U., Stevens, P. (eds.) FMOODS 2003. LNCS, vol.\u00a02884, pp. 261\u2013275. Springer, Heidelberg (2003)"},{"key":"23_CR12","series-title":"IFIP Conference Proceedings","first-page":"45","volume-title":"4th International Conference on Formal Methods for Open Object- Based Distributed Systems","author":"F.L. Dotti","year":"2000","unstructured":"Dotti, F.L., Ribeiro, L.: Specification of mobile code systems using graph grammars. In: 4th International Conference on Formal Methods for Open Object- Based Distributed Systems, USA. IFIP Conference Proceedings, vol.\u00a0177, pp. 45\u201364. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"23_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1007\/978-3-540-25959-6_9","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"F.L. Dotti","year":"2004","unstructured":"Dotti, F.L., Ribeiro, L., Santos, O.M.: Specification and analysis of fault behaviours using graph grammars. In: Pfaltz, J.L., Nagl, M., B\u00f6hlen, B. (eds.) AGTIVE 2003. LNCS, vol.\u00a03062, pp. 120\u2013133. Springer, Heidelberg (2004)"},{"key":"23_CR14","unstructured":"Dotti, F.L., Foss, L., Ribeiro, L., Santos, O.M.: Specification and formal verification of distributed systems. In: 17th Brazilian Symposium on Software Engineering (SBES), pp. 225\u2013240 (2003) (in Portuguese)"},{"key":"23_CR15","unstructured":"Dotti, F.L., Pasini, F., Santos, O.M.: A methodology for the verification of partial systems modelled with object based graph grammars. In: 18th Brazilian Symposium on Software Engineering, SBES (2004) (in Portuguese \u2013 accepted for publication)"},{"key":"23_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/978-3-540-45214-0_24","volume-title":"Dependable Computing","author":"F.L. Dotti","year":"2003","unstructured":"Dotti, F.L., Santos, O.M., R\u00f6del, E.T.: On the use of formal specifications to analyse fault behaviors of distributed systems. In: de Lemos, R., Weber, T.S., Camargo Jr., J.B. (eds.) LADC 2003. LNCS, vol.\u00a02847, pp. 341\u2013360. Springer, Heidelberg (2003)"},{"key":"23_CR17","unstructured":"Duarte, L., Dotti, F.L.: Development of an active network architecture using mobile agents \u2013 a case study. Technical Report TR-043, PPGCC-FACIN-PUCRS, Brazil (2004)"},{"key":"23_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0025714","volume-title":"1st International Workshop on Graph Grammars and Their Application to Computer Science and Biology","author":"H. Ehrig","year":"1979","unstructured":"Ehrig, H.: Introduction to the algebraic theory of graph grammars. In: Ng, E.W., Ehrig, H., Rozenberg, G. (eds.) Graph Grammars 1978. LNCS, vol.\u00a073, pp. 1\u201369. Springer, Heidelberg (1979)"},{"key":"23_CR19","series-title":"Foundations","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation, ch. 4","author":"H. Ehrig","year":"1997","unstructured":"Ehrig, H., Heckel, R., Korff, M., L\u00f6we, M., Ribeiro, L., Wagner, A., Corradini, A.: Algebraic Approaches to Graph Transformation II: Single Pushout Approach and Comparison with Double Pushout Approach. In: Rozenberg, G. (ed.) Handbook of Graph Grammars and Computing by Graph Transformation, ch. 4. Foundations, vol.\u00a01. World Scientific, Singapore (1997)"},{"key":"23_CR20","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Pfender, M., Schneider, H.J.: Graph grammars: an algebraic approach. In: 14th Annual IEEE Symposium on Switching and Automata Theory, pp. 167\u2013180 (1973)","DOI":"10.1109\/SWAT.1973.11"},{"key":"23_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1007\/BFb0028772","volume-title":"International Conference on Computer Aided Verification","author":"G. Ferrari","year":"1998","unstructured":"Ferrari, G., Gnesi, S., Montanari, U., Pistore, M., Ristori, G.: Verifying Mobile Processes in the HAL Environment. In: Y. Vardi, M. (ed.) CAV 1998. LNCS, vol.\u00a01427, pp. 511\u2013515. Springer, Heidelberg (1998)"},{"key":"23_CR22","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/j.entcs.2004.04.015","volume":"95","author":"L. Foss","year":"2004","unstructured":"Foss, L., Ribeiro, L.: A translation of object-based hypergraph grammars into \u03c0-calculus. Electronic Notes in Theoretical Computer Science\u00a095, 245\u2013267 (2004)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"5","key":"23_CR23","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G.J. Holzmann","year":"1997","unstructured":"Holzmann, G.J.: The model checker SPIN. IEEE Transactions on Software Engineering\u00a023(5), 279\u2013295 (1997)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"23_CR24","unstructured":"ISO. Information processing systems \u2013 Open systems interconnection \u2013 Estelle \u2013 a formal description technique based on an extended state transition model (1989)"},{"key":"23_CR25","unstructured":"Korff, M.: Generalized graph structure grammars with applications to concurrent object-oriented systems. PhD thesis, Technical University of Berlin, Germany (1996)"},{"issue":"3","key":"23_CR26","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L. Lamport","year":"1994","unstructured":"Lamport, L.: The temporal logic of actions. ACM Transactions on Programming Languages and Systems\u00a016(3), 872\u2013923 (1994)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"23_CR27","series-title":"IFIP Conference Proceedings","first-page":"396","volume-title":"17th IFIP World Computer Congress \u2013 Theoretical Computer Science","author":"A.B. Loreto","year":"2002","unstructured":"Loreto, A.B., Ribeiro, L., Toscani, L.V.: Decidability and tractability of a problem in object-based graph grammars. In: 17th IFIP World Computer Congress \u2013 Theoretical Computer Science, Canada. IFIP Conference Proceedings, vol.\u00a0223, pp. 396\u2013408. Kluwer Academic Publishers, Dordrecht (2002)"},{"issue":"3","key":"23_CR28","first-page":"219","volume":"2","author":"N. Lynch","year":"1989","unstructured":"Lynch, N., Tuttle, M.: An introduction to input\/output automata. CWI Quarterly\u00a02(3), 219\u2013246 (1989)","journal-title":"CWI Quarterly"},{"key":"23_CR29","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-3190-6","volume-title":"Symbolic Model Checking","author":"K.L. McMillan","year":"1993","unstructured":"McMillan, K.L.: Symbolic Model Checking. Kluwer Academic Publishers, Dordrecht (1993)"},{"key":"23_CR30","series-title":"International Series in Computer Science","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. International Series in Computer Science. Prentice Hall, London (1989)"},{"key":"23_CR31","volume-title":"Communicating and mobile systems: The \u03c0-calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and mobile systems: The \u03c0-calculus. Cambridge University Press, USA (1999)"},{"key":"23_CR32","unstructured":"Petri, C.A.: Kommunikation mit Automaten. PhD thesis, Schriften des Institutes f\u00fcr Instrumentelle Mathematik, Bonn (1962)"},{"key":"23_CR33","series-title":"EATCS Monographs on Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri Nets","author":"W. Reisig","year":"1985","unstructured":"Reisig, W.: Petri Nets. EATCS Monographs on Theoretical Computer Science, vol.\u00a04. Springer, Heidelberg (1985)"},{"key":"23_CR34","unstructured":"Ribeiro, L.: Parallel Composition and Unfolding Semantics of Graph Grammars. PhD thesis, Technical University of Berlin, Germany (1996)"},{"issue":"4","key":"23_CR35","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1023\/A:1008691205954","volume":"7","author":"L. Ribeiro","year":"1999","unstructured":"Ribeiro, L.: Parallel Composition of Graph Grammars. Applied Categorical Structures\u00a07(4), 405\u2013430 (1999)","journal-title":"Applied Categorical Structures"},{"key":"23_CR36","doi-asserted-by":"crossref","unstructured":"Santos, O.M., Dotti, F.L., Ribeiro, L.: Verifying object-based graph grammars. In: Electronic Notes in Theoretical Computer Science (Proc. 2nd Graph Transformation and Visual Modeling Techniques) (2004)","DOI":"10.1016\/j.entcs.2004.02.061"},{"volume-title":"The formal description technique LOTOS","year":"1989","key":"23_CR37","unstructured":"van Eijk, P.H.J., Vissers, C.A., Diaz, M. (eds.): The formal description technique LOTOS. Elsevier Science Publishers, Amsterdam (1989)"},{"key":"23_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"428","DOI":"10.1007\/3-540-58179-0_73","volume-title":"Computer Aided Verification","author":"B. Victor","year":"1994","unstructured":"Victor, B., Moller, F.: The Mobility Workbench \u2013 a tool for the \u03c0-calculus. In: Dill, D.L. (ed.) CAV 1994. LNCS, vol.\u00a0818, pp. 428\u2013440. Springer, Heidelberg (1994)"},{"key":"23_CR39","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1007\/BFb0013026","volume-title":"Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency","author":"G. Winskel","year":"1989","unstructured":"Winskel, G.: An introduction to event structures. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, vol.\u00a0354, pp. 364\u2013397. Springer, Heidelberg (1989)"},{"key":"23_CR40","doi-asserted-by":"crossref","unstructured":"Winskel, G., Nielsen, M.: Models for concurrency. Technical Report BRICS RS-94-12, University of Aarhus (1994)","DOI":"10.7146\/brics.v1i12.21658"}],"container-title":["Lecture Notes in Computer Science","Formal Methods in Software and Systems Modeling"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31847-7_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,17]],"date-time":"2021-11-17T02:51:28Z","timestamp":1637117488000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31847-7_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540249368","9783540318477"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31847-7_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}