{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:50:50Z","timestamp":1725749450153},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642415326"},{"type":"electronic","value":"9783642415333"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41533-3_43","type":"book-chapter","created":{"date-parts":[[2013,9,19]],"date-time":"2013-09-19T11:40:59Z","timestamp":1379590859000},"page":"707-723","source":"Crossref","is-referenced-by-count":12,"title":["Data-Flow Based Model Analysis and Its Applications"],"prefix":"10.1007","author":[{"given":"Christian","family":"Saad","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Bauer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"43_CR1","unstructured":"Object Management Group. Model-Driven Architecture (June 2003), \n                    \n                      http:\/\/www.omg.org\/mda\/"},{"key":"43_CR2","unstructured":"Apfelbaum, L., Doyle, J.: Model based testing. In: Software Quality Week Conference, pp. 296\u2013300 (1997)"},{"key":"43_CR3","unstructured":"Object Management Group (OMG) specifications, \n                    \n                      http:\/\/www.omg.org\/spec"},{"key":"43_CR4","doi-asserted-by":"crossref","unstructured":"Malgouyres, H., Motet, G.: A UML model consistency verification approach based on meta-modeling formalization. In: Proceedings of the 2006 ACM Symposium on Applied Computing, pp. 1804\u20131809. ACM (2006)","DOI":"10.1145\/1141277.1141703"},{"key":"43_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/978-3-642-12261-3_16","volume-title":"Models in Software Engineering","author":"S.M.A. Shah","year":"2010","unstructured":"Shah, S.M.A., Anastasakis, K., Bordbar, B.: From UML to alloy and back again. In: Ghosh, S. (ed.) MODELS 2009. LNCS, vol.\u00a06002, pp. 158\u2013171. Springer, Heidelberg (2010)"},{"key":"43_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"854","DOI":"10.1007\/3-540-48119-2_47","volume-title":"FM\u201999 - Formal Methods","author":"L. Mandel","year":"1999","unstructured":"Mandel, L., Cengarle, M.V.: On the expressive power of OCL. In: Wing, J.M., Woodcock, J. (eds.) FM 1999. LNCS, vol.\u00a01708, p. 854. Springer, Heidelberg (1999)"},{"key":"43_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1007\/978-3-540-39866-0_36","volume-title":"Perspectives of System Informatics","author":"T. Baar","year":"2004","unstructured":"Baar, T.: The definition of transitive closure with OCL \u2013 limitations and applications. In: Broy, M., Zamulin, A.V. (eds.) PSI 2003. LNCS, vol.\u00a02890, pp. 358\u2013365. Springer, Heidelberg (2004)"},{"key":"43_CR8","unstructured":"Brucker, A.D., Doser, J., Wolff, B.: Semantic issues of OCL: Past, present, and future. Electronic Communications of the EASST\u00a05 (2007)"},{"key":"43_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/3-540-45441-1_10","volume-title":"\u00abUML\u00bb 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"M.V. Cengarle","year":"2001","unstructured":"Cengarle, M.V., Knapp, A.: A formal semantics for OCL 1.4. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol.\u00a02185, pp. 118\u2013133. Springer, Heidelberg (2001)"},{"key":"43_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"661","DOI":"10.1007\/11880240_46","volume-title":"Model Driven Engineering Languages and Systems","author":"S. Markovi\u0107","year":"2006","unstructured":"Markovi\u0107, S., Baar, T.: An OCL semantics specified with QVT. In: Wang, J., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 661\u2013675. Springer, Heidelberg (2006)"},{"key":"43_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/3-540-45685-6_8","volume-title":"Theorem Proving in Higher Order Logics","author":"A.D. Brucker","year":"2002","unstructured":"Brucker, A.D., Wolff, B.: A proposal for a formal OCL semantics in isabelle\/HOL. In: Carre\u00f1o, V.A., Mu\u00f1oz, C.A., Tahar, S. (eds.) TPHOLs 2002. LNCS, vol.\u00a02410, pp. 99\u2013114. Springer, Heidelberg (2002)"},{"key":"43_CR12","unstructured":"Saad, C., Bauer, B.: Data-flow based model analysis. In: Proceedings of the Second NASA Formal Methods Symposium (NFM 2010), NASA\/CP-2010-216215, pp. 227\u2013231. NASA (April 2010)"},{"key":"43_CR13","doi-asserted-by":"crossref","unstructured":"Kildall, G.A.: A unified approach to global program optimization. pp. 194\u2013206 (1973)","DOI":"10.1145\/512927.512945"},{"issue":"2","key":"43_CR14","first-page":"127","volume":"2","author":"D.E. Knuth","year":"1968","unstructured":"Knuth, D.E.: Semantics of context-free languages. Theory of Computing Systems\u00a02(2), 127\u2013145 (1968)","journal-title":"Theory of Computing Systems"},{"key":"43_CR15","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/BF00264319","volume":"10","author":"W.A. Babich","year":"1978","unstructured":"Babich, W.A., Jazayeri, M.: The Method of Attributes for Data Flow Analysis. Acta Inf.\u00a010, 245\u2013264 (1978)","journal-title":"Acta Inf."},{"key":"43_CR16","first-page":"85","volume-title":"Proceedings of the 1986 SIGPLAN Symposium on Compiler Construction, SIGPLAN 1986","author":"F. Rodney","year":"1986","unstructured":"Rodney, F.: Automatic generation of fixed-point-finding evaluators for circular, but well-defined, attribute grammars. In: Proceedings of the 1986 SIGPLAN Symposium on Compiler Construction, SIGPLAN 1986, pp. 85\u201398. ACM, New York (1986)"},{"issue":"3","key":"43_CR17","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1145\/78969.78971","volume":"12","author":"L.G. Jones","year":"1990","unstructured":"Jones, L.G.: Efficient evaluation of circular attribute grammars. ACM Trans. Program. Lang. Syst.\u00a012(3), 429\u2013462 (1990)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"43_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/11663430_17","volume-title":"Satellite Events at the MoDELS 2005 Conference","author":"M. Wimmer","year":"2006","unstructured":"Wimmer, M., Kramler, G.: Bridging Grammarware and Modelware. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol.\u00a03844, pp. 159\u2013168. Springer, Heidelberg (2006)"},{"key":"43_CR19","unstructured":"Alanen, M., Porres, I.: A Relation between Context-Free Grammars and Meta Object Facility Metamodels. Technical report, TUCS (2004)"},{"key":"43_CR20","volume-title":"EMF: Eclipse Modeling Framework","author":"D. Steinberg","year":"2009","unstructured":"Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework, 2nd edn. Addison-Wesley, Boston (2009)","edition":"2"},{"key":"43_CR21","first-page":"104","volume-title":"Proceedings of the 3rd ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT 1995","author":"S. Horwitz","year":"1995","unstructured":"Horwitz, S., Reps, T., Sagiv, M.: Demand interprocedural dataflow analysis. In: Proceedings of the 3rd ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT 1995, pp. 104\u2013115. ACM, NY (1995)"},{"key":"43_CR22","doi-asserted-by":"crossref","unstructured":"Ryder, B.G.: Constructing the call graph of a program. IEEE Transactions on Software Engineering\u00a0(3), 216\u2013226 (1979)","DOI":"10.1109\/TSE.1979.234183"},{"key":"43_CR23","unstructured":"Jahromi, S.A.H.M., Honar, E.: A framework for call graph construction (2010)"},{"key":"43_CR24","unstructured":"Minnerup, P.: Models in the development process for parallelizing embedded systems. Master\u2019s thesis, Augsburg University, 86159 Augsburg, Germany (2012)"},{"key":"43_CR25","unstructured":"Saad, C., Bauer, B.: The Model Analysis Framework An IDE for Static Model Analysis. In: Industry Track of Software Language Engineering (ITSLE), 4th International Conference on Software Language Engineering (SLE 2011) (May 2011)"},{"key":"43_CR26","unstructured":"Baroni, A.L., Abreu, O.B.E.: An OCL-based formalization of the MOOSE metric suite. In: Proceedings of ECOOP Workshop on Quantative Approaches in Object-Oriented Software Engineering (2003)"},{"key":"43_CR27","doi-asserted-by":"crossref","unstructured":"G\u00f6tz, M., Roser, S., Lautenbacher, F., Bauer, B.: Token Analysis of Graph-Oriented Process Models. In: New Zealand Second International Workshop on Dynamic and Declarative Business Processes (DDBP), 13th IEEE International EDOC Conference (EDOC 2009) (September 2009)","DOI":"10.1109\/EDOCW.2009.5332020"},{"key":"43_CR28","doi-asserted-by":"crossref","unstructured":"Cabot, J., Claris\u00f3, R., Riera, D.: Verification of UML\/OCL class diagrams using constraint programming. In: IEEE International Conference on Software Testing Verification and Validation Workshop, ICSTW 2008, pp. 73\u201380. IEEE (2008)","DOI":"10.1109\/ICSTW.2008.54"},{"issue":"1","key":"43_CR29","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/s10270-008-0110-3","volume":"9","author":"K. Anastasakis","year":"2010","unstructured":"Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: On challenges of model transformation from UML to Alloy. Software and Systems Modeling\u00a09(1), 69\u201386 (2010)","journal-title":"Software and Systems Modeling"},{"key":"43_CR30","doi-asserted-by":"crossref","unstructured":"Soeken, M., Wille, R., Kuhlmann, M., Gogolla, M., Drechsler, R.: Verifying UML\/OCL models using Boolean satisfiability. In: Proceedings of the Conference on Design, Automation and Test in Europe, pp. 1341\u20131344. European Design and Automation Association (2010)","DOI":"10.1109\/DATE.2010.5457017"},{"key":"43_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-3-540-45221-8_23","volume-title":"\u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications","author":"M. Gogolla","year":"2003","unstructured":"Gogolla, M., Bohling, J., Richters, M.: Validation of UML and OCL Models by Automatic Snapshot Generation. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol.\u00a02863, pp. 265\u2013279. Springer, Heidelberg (2003)"},{"key":"43_CR32","doi-asserted-by":"crossref","unstructured":"Garousi, V., Bri, L., Labiche, Y.: Control Flow Analysis of UML 2.0 Sequence Diagrams (2005)","DOI":"10.1007\/11581741_13"},{"issue":"3","key":"43_CR33","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1002\/stvr.410","volume":"20","author":"L. Briand","year":"2010","unstructured":"Briand, L., Labiche, Y., Lin, Q.: Improving the coverage criteria of uml state machines using data flow analysis. Software Testing, Verification and Reliability\u00a020(3), 177\u2013207 (2010)","journal-title":"Software Testing, Verification and Reliability"},{"key":"43_CR34","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1049\/ip-sen:19990602","volume":"146","author":"Y.G. Kim","year":"1999","unstructured":"Kim, Y.G., Hong, H.S., Bae, D.-H., Cha, S.-D.: Test cases generation from uml state diagrams. IEEE Proceedings Software\u00a0146, 187\u2013192 (1999)","journal-title":"IEEE Proceedings Software"},{"key":"43_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-3-540-69100-6_6","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"T. Waheed","year":"2008","unstructured":"Waheed, T., Iqbal, M.Z.Z., Malik, Z.I.: Data Flow Analysis of UML Action Semantics for Executable Models. In: Schieferdecker, I., Hartman, A. (eds.) ECMDA-FA 2008. LNCS, vol.\u00a05095, pp. 79\u201393. Springer, Heidelberg (2008)"},{"key":"43_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"436","DOI":"10.1007\/978-3-540-88871-0_30","volume-title":"On the Move to Internet Systems: OTM 2008","author":"L. Garc\u00eda-Ba\u00f1uelos","year":"2008","unstructured":"Garc\u00eda-Ba\u00f1uelos, L.: Pattern Identification and Classification in the Translation from BPMN to BPEL. In: Meersman, R., Tari, Z. (eds.) OTM 2008, Part I. LNCS, vol.\u00a05331, pp. 436\u2013444. Springer, Heidelberg (2008)"},{"key":"43_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/978-3-642-19440-5_3","volume-title":"Software Language Engineering","author":"C. B\u00fcrger","year":"2011","unstructured":"B\u00fcrger, C., Karol, S., Wende, C., A\u00dfmann, U.: Reference Attribute Grammars for Metamodel Semantics. In: Malloy, B., Staab, S., van den Brand, M. (eds.) SLE 2010. LNCS, vol.\u00a06563, pp. 22\u201341. Springer, Heidelberg (2011)"},{"key":"43_CR38","doi-asserted-by":"crossref","unstructured":"Magnusson, E., Hedin, G.: Circular Reference Attributed Grammars - Their Evaluation and Applications. ENTCS\u00a082(3) (2003)","DOI":"10.1016\/S1571-0661(05)82627-1"},{"key":"43_CR39","unstructured":"Abreu, F.B., Carapu\u00e7a, R.: Object-oriented software engineering: Measuring and controlling the development process. In: Proceedings of the 4th International Conference on Software Quality (1994)"}],"container-title":["Lecture Notes in Computer Science","Model-Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41533-3_43","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T07:33:53Z","timestamp":1558078433000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41533-3_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642415326","9783642415333"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41533-3_43","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}