{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,30]],"date-time":"2025-01-30T05:14:48Z","timestamp":1738214088015,"version":"3.34.0"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540787884"},{"type":"electronic","value":"9783540787891"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-78789-1_15","type":"book-chapter","created":{"date-parts":[[2008,3,12]],"date-time":"2008-03-12T10:58:17Z","timestamp":1205319497000},"page":"190-205","source":"Crossref","is-referenced-by-count":2,"title":["Compositional Modeling for Data-Centric Business Applications"],"prefix":"10.1007","author":[{"given":"Ethan K.","family":"Jackson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfram","family":"Schulte","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"Claessens, J., Preneel, B., Vandewalle, J.: A tangled world wide web of security issues. First Monday\u00a07(3) (2002)","DOI":"10.5210\/fm.v7i3.935"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Barth, A., Datta, A., Mitchell, J.C., Nissenbaum, H.: Privacy and contextual integrity: Framework and applications. In: S&P, pp. 184\u2013198 (2006)","DOI":"10.1109\/SP.2006.32"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Neumann, P.G.: System and network trustworthiness in perspective. In: ACM Conference on Computer and Communications Security, pp. 1\u20135 (2006)","DOI":"10.1145\/1180405.1180406"},{"key":"15_CR4","unstructured":"Object Management Group: Mda guide version 1.0.1. Technical report (2003)"},{"key":"15_CR5","volume-title":"Patterns of Enterprise Application Architecture","author":"M. Fowler","year":"2002","unstructured":"Fowler, M., Rice, D., Foemmel, M.: Patterns of Enterprise Application Architecture. Addison-Wesley, Reading (2002)"},{"key":"15_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1007\/978-3-540-72988-4_29","volume-title":"Advanced Information Systems Engineering","author":"L. Aldred","year":"2007","unstructured":"Aldred, L., van der Aalst, W.M.P., Dumas, M., ter Hofstede, A.H.M.: Communication abstractions for distributed business processes. In: Krogstie, J., Opdahl, A., Sindre, G. (eds.) CAiSE 2007. LNCS, vol.\u00a04495, pp. 409\u2013423. Springer, Heidelberg (2007)"},{"issue":"3","key":"15_CR7","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1145\/502807.502810","volume":"33","author":"E. Dantsin","year":"2001","unstructured":"Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and expressive power of logic programming. ACM Comput. Surv.\u00a033(3), 374\u2013425 (2001)","journal-title":"ACM Comput. Surv."},{"key":"15_CR8","unstructured":"Object Management Group: Unified modeling language: Superstructure version 2.0, 3rd revised submission to omg rfp. Technical report (2003)"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Jackson, E.K., Sztipanovits, J.: Towards a formal foundation for domain specific modeling languages. In: Proceedings of the Sixth ACM International Conference on Embedded Software (EMSOFT 2006), pp. 53\u201362 (October 2006)","DOI":"10.1145\/1176887.1176896"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Liu, X., Liu, J., Eker, J., Lee, E.A.: Heterogeneous Modeling and Design of Control Systems. pp. 105\u2013122. IEEE Press and Wiley-Interscience (2003)","DOI":"10.1002\/047172288X.ch7"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Berry, G., Kishinevsky, M., Singh, S.: System level design and verification using a synchronous language. In: ICCAD, pp. 433\u2013440 (2003)","DOI":"10.1109\/ICCAD.2003.159720"},{"issue":"5\u20136","key":"15_CR12","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1007\/s10009-007-0048-8","volume":"9","author":"J. J\u00fcrjens","year":"2007","unstructured":"J\u00fcrjens, J., Shabalin, P.: Tools for secure systems development with uml. STTT\u00a09(5\u20136), 527\u2013544 (2007)","journal-title":"STTT"},{"issue":"2","key":"15_CR13","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1197\/jamia.M1005","volume":"9","author":"D. Masys","year":"2002","unstructured":"Masys, D., Baker, D., Butros, A., Cowles, K.E.: Giving patients access to their medical records via the internet: the pcasso experience. Journal of the American Medical Informatics Association\u00a09(2), 181\u2013191 (2002)","journal-title":"Journal of the American Medical Informatics Association"},{"key":"15_CR14","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1109\/JPROC.2002.805824","volume":"91","author":"G. Karsai","year":"2003","unstructured":"Karsai, G., Sztipanovits, J., Ledeczi, A., Bapty, T.: Model-integrated development of embedded software. Proceedings of the IEEE\u00a091, 145\u2013164 (2003)","journal-title":"Proceedings of the IEEE"},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"Csertan, G., Huszerl, G., Majzik, I., Pap, Z., Pataricza, A., Varro, D.: Viatra: Visual automated transformations for formal verification and validation of uml models. In: 17th IEEE International Conference on Automated Software Engineering (September 2002)","DOI":"10.1109\/ASE.2002.1115027"},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"Sprinkle, J., Agrawal, A., Levendovszky, T., Shi, F., Karsai, G.: Domain model translation using graph transformations. In: ECBS, pp. 159\u2013167 (2003)","DOI":"10.1109\/ECBS.2003.1194795"},{"key":"15_CR17","unstructured":"K\u00f6nigs, A., Sch\u00fcrr, A.: Multi-domain integration with mof and extended triple graph grammars. In: Language Engineering for Model-Driven Software Development (2004)"},{"key":"15_CR18","unstructured":"Bezivin, J., Gerb\u00e9, O.: Towards a precise definition of the omg\/mda framework (2001)"},{"key":"15_CR19","doi-asserted-by":"crossref","unstructured":"Neema, S., Kalmar, Z., Shi, F., Vizhanyo, A., Karsai, G.: A visually-specified code generator for simulink\/stateflow. In: VL\/HCC, pp. 275\u2013277 (2005)","DOI":"10.1109\/VLHCC.2005.14"},{"key":"15_CR20","doi-asserted-by":"crossref","unstructured":"Breu, R., Breu, M., Hafner, M., Nowak, A.: Web service engineering - advancing a new software engineering discipline. In: ICWE, pp. 8\u201318 (2005)","DOI":"10.1007\/11531371_5"},{"key":"15_CR21","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"W.M.P. Aalst van der","year":"1998","unstructured":"van der Aalst, W.M.P.: The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers\u00a08, 21\u201366 (1998)","journal-title":"The Journal of Circuits, Systems and Computers"},{"issue":"1","key":"15_CR22","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1016\/j.jlap.2006.05.007","volume":"70","author":"R. Lucchi","year":"2007","unstructured":"Lucchi, R., Mazzara, M.: A pi-calculus based semantics for ws-bpel. Journal of Logic and Algebraic Programming\u00a070(1), 96\u2013118 (2007)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"15_CR23","doi-asserted-by":"crossref","unstructured":"Clarke, E.M., Grumberg, O., Long, D.E.: Model checking and abstraction. In: POPL, pp. 342\u2013354 (1992)","DOI":"10.1145\/143165.143235"}],"container-title":["Lecture Notes in Computer Science","Software Composition"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78789-1_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,29]],"date-time":"2025-01-29T02:04:55Z","timestamp":1738116295000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78789-1_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540787884","9783540787891"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78789-1_15","relation":{},"subject":[]}}