{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:48:58Z","timestamp":1725518938341},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540878742"},{"type":"electronic","value":"9783540878759"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87875-9_25","type":"book-chapter","created":{"date-parts":[[2008,9,22]],"date-time":"2008-09-22T01:46:10Z","timestamp":1222047970000},"page":"341-355","source":"Crossref","is-referenced-by-count":8,"title":["Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Jurack","sequence":"first","affiliation":[]},{"given":"Leen","family":"Lambers","sequence":"additional","affiliation":[]},{"given":"Katharina","family":"Mehner","sequence":"additional","affiliation":[]},{"given":"Gabriele","family":"Taentzer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"25_CR1","unstructured":"OMG: UML Resource Page of the Object Management Group, http:\/\/www.uml.org\/"},{"key":"25_CR2","volume-title":"Proc. of Int. Conference on Software Engineering 2002","author":"J. Hausmann","year":"2002","unstructured":"Hausmann, J., Heckel, R., Taentzer, G.: Detection of Conflicting Functional Requirements in a Use Case-Driven Approach. In: Proc. of Int. Conference on Software Engineering 2002, Orlando, USA. IEEE Computer Society, Los Alamitos (2002)"},{"key":"25_CR3","first-page":"66","volume-title":"Proc. 14th IEEE International Requirements Engineering Conference","author":"K. Mehner","year":"2007","unstructured":"Mehner, K., Monga, M., Taentzer, G.: Interaction Analysis in Aspect-Oriented Models. In: Proc. 14th IEEE International Requirements Engineering Conference, Minneapolis, Minnesota, USA, pp. 66\u201375. IEEE Computer Society, Los Alamitos (2007)"},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"Mehner, K., Monga, M., Taentzer, G.: Analysis of Aspect-Oriented Model Weaving. LNCS Transactions on Aspect-Oriented Software Development (to appear, 2008)","DOI":"10.1007\/978-3-642-02059-9_7"},{"key":"25_CR5","unstructured":"Lambers, L., Ehrig, H., Taentzer, G.: Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences. In: Ermel, C., Heckel, R., de Lara, J. (eds.) Proc. International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2008), vol.\u00a010, Electronic Communications of the EASST (2008)"},{"key":"25_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"392","DOI":"10.1007\/978-3-540-78743-3_29","volume-title":"Fundamental Approaches to Software Engineering","author":"L. Lambers","year":"2008","unstructured":"Lambers, L., Mariani, L., Ehrig, H., Pezze, M.: A Formal Framework for Developing Adaptable Service-Based Applications. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol.\u00a04961, pp. 392\u2013406. Springer, Heidelberg (2008)"},{"key":"25_CR7","volume-title":"Come, Let\u2019s Play - Scenario-Based Programming Using LSCs and the Play-Engine","author":"D. Harel","year":"2003","unstructured":"Harel, D., Marelly, R.: Come, Let\u2019s Play - Scenario-Based Programming Using LSCs and the Play-Engine. Springer, Heidelberg (2003)"},{"key":"25_CR8","unstructured":"AGG: AGG Homepage, http:\/\/tfs.cs.tu-berlin.de\/agg"},{"key":"25_CR9","series-title":"EATCS Monographs on Theoretical Computer Science","volume-title":"Fundamentals of Algebraic Graph Transformation","author":"H. Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. EATCS Monographs on Theoretical Computer Science. Springer, Heidelberg (2006)"},{"key":"25_CR10","series-title":"ENTCS","volume-title":"Proceedings of the ACCAT workshop at ETAPS 2007","author":"L. Lambers","year":"2008","unstructured":"Lambers, L., Ehrig, H., Orejas, F., Prange, U.: Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions. In: Ehrig, H., Pfalzgraf, J., Prange, U. (eds.) Proceedings of the ACCAT workshop at ETAPS 2007. ENTCS. Elsevier, Amsterdam (to appear, 2008)"},{"key":"25_CR11","unstructured":"Jurack, S., Lambers, L., Mehner, K., Taentzer, G.: Sufficient criteria for consistent behavior modeling with refined activity diagrams: Long version. Technical Report 2008\/11, Technische Universit\u00e4t Berlin (2008)"},{"key":"25_CR12","doi-asserted-by":"crossref","unstructured":"Eshuis, R., Wieringa, R.: Tool support for verifying UML activity diagrams. IEEE Trans. on Software Eng.\u00a07(30) (2004)","DOI":"10.1109\/TSE.2004.33"},{"key":"25_CR13","volume-title":"International Conference on Visual Languages and Human Centric Computing VLHCC","author":"H. Stoerrle","year":"2004","unstructured":"Stoerrle, H.: Semantics of UML 2.0 Activity Diagrams. In: International Conference on Visual Languages and Human Centric Computing VLHCC. IEEE Computer Society, Los Alamitos (2004)"},{"key":"25_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75209-7_11","volume-title":"Model Driven Engineering Languages and Systems","author":"P. Jayaraman","year":"2007","unstructured":"Jayaraman, P., Whittle, J., Elkhodary, A., Gomaa, H.: Model Composition in Product Lines and Feature Interaction Detection Using Critical Pair Analysis. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol.\u00a04735. Springer, Heidelberg (2007)"},{"key":"25_CR15","unstructured":"Fujaba: Fujaba Homepage, http:\/\/www.fujaba.de"},{"key":"25_CR16","unstructured":"Moflon: Moflon Homepage, http:\/\/www.moflon.org"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87875-9_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:50:55Z","timestamp":1619524255000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87875-9_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540878742","9783540878759"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87875-9_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}