{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T15:44:08Z","timestamp":1743090248263,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642041662"},{"type":"electronic","value":"9783642041679"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04167-9_11","type":"book-chapter","created":{"date-parts":[[2009,8,19]],"date-time":"2009-08-19T06:45:02Z","timestamp":1250664302000},"page":"204-225","source":"Crossref","is-referenced-by-count":1,"title":["Semi-formal Models to Support Program Development: Autonomic Management within Component Based Parallel and Distributed Programming"],"prefix":"10.1007","author":[{"given":"M.","family":"Aldinucci","sequence":"first","affiliation":[]},{"given":"M.","family":"Danelutto","sequence":"additional","affiliation":[]},{"given":"P.","family":"Kilpatrick","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Parnas, D.L.: On the design and development of program families. IEEE Trans. on Software Engineering SE-2(1), 1\u20139 (1976)","DOI":"10.1109\/TSE.1976.233797"},{"issue":"5","key":"11_CR2","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1109\/2.59","volume":"21","author":"B.W. Boehm","year":"1988","unstructured":"Boehm, B.W.: A spiral model of software development and enhancement. Computer\u00a021(5), 61\u201372 (1988)","journal-title":"Computer"},{"key":"11_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1007\/978-3-540-74466-5_69","volume-title":"Euro-Par 2007 Parallel Processing","author":"M. Aldinucci","year":"2007","unstructured":"Aldinucci, M., Danelutto, M., Kilpatrick, P.: Management in distributed systems: A semi-formal approach. In: Kermarrec, A.-M., Boug\u00e9, L., Priol, T. (eds.) Euro-Par 2007. LNCS, vol.\u00a04641, pp. 651\u2013661. Springer, Heidelberg (2007)"},{"key":"11_CR4","first-page":"54","volume-title":"Proc. of Intl. Euromicro PDP 2008: Parallel Distributed and network-based Processing","author":"M. Aldinucci","year":"2008","unstructured":"Aldinucci, M., Campa, S., Danelutto, M., Vanneschi, M., Dazzi, P., Laforenza, D., Tonellotto, N., Kilpatrick, P.: Behavioural skeletons in GCM: autonomic management of grid components. In: Baz, D.E., Bourgeois, J., Spies, F. (eds.) Proc. of Intl. Euromicro PDP 2008: Parallel Distributed and network-based Processing, Toulouse, France, pp. 54\u201363. IEEE, Los Alamitos (2008)"},{"key":"11_CR5","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/978-0-387-09457-1_2","volume-title":"Grid Computing: Achievements and Prospects. CoreGRID","author":"M. Aldinucci","year":"2008","unstructured":"Aldinucci, M., Danelutto, M., Kilpatrick, P., Dazzi, P.: From Orc models to distributed grid Java code. In: Gorlatch, S., Fragopoulou, P., Priol, T. (eds.) Grid Computing: Achievements and Prospects. CoreGRID, pp. 13\u201324. Springer, Heidelberg (2008)"},{"key":"11_CR6","unstructured":"CoreGRID NoE deliverable series, Institute on Programming Model: Deliverable D.PM.04 \u2013 Basic Features of the Grid Component Model (assessed) (2007), http:\/\/www.coregrid.net\/mambo\/images\/stories\/Deliverables\/d.pm.04.pdf"},{"issue":"3","key":"11_CR7","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1016\/j.parco.2003.12.002","volume":"30","author":"M. Cole","year":"2004","unstructured":"Cole, M.: Bringing skeletons out of the closet: A pragmatic manifesto for skeletal parallel programming. Parallel Computing\u00a030(3), 389\u2013406 (2004)","journal-title":"Parallel Computing"},{"issue":"1","key":"11_CR8","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/MC.2003.1160055","volume":"36","author":"J.O. Kephart","year":"2003","unstructured":"Kephart, J.O., Chess, D.M.: The vision of autonomic computing. IEEE Computer\u00a036(1), 41\u201350 (2003)","journal-title":"IEEE Computer"},{"key":"11_CR9","first-page":"282","volume-title":"Proc. of Intl. Euromicro PDP: Parallel Distributed and network-based Processing","author":"M. Danelutto","year":"2005","unstructured":"Danelutto, M.: QoS in parallel programming through application managers. In: Proc. of Intl. Euromicro PDP: Parallel Distributed and network-based Processing, Lugano, Switzerland, pp. 282\u2013289. IEEE, Los Alamitos (2005)"},{"issue":"7","key":"11_CR10","first-page":"449","volume":"32","author":"M. Aldinucci","year":"2006","unstructured":"Aldinucci, M., Danelutto, M.: Algorithmic skeletons meeting grids. Parallel Computing\u00a032(7), 449\u2013462 (2006)","journal-title":"Parallel Computing"},{"key":"11_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1007\/978-3-642-00955-6_46","volume-title":"Euro-Par 2008 Workshops","author":"M. Aldinucci","year":"2009","unstructured":"Aldinucci, M., Danelutto, M., Kilpatrick, P.: Co-design of distributed systems using skeletons and autonomic management abstractions. In: C\u00e9sar, E., et al. (eds.) Euro-Par 2008 Workshops. LNCS, vol.\u00a05415, pp. 403\u2013414. Springer, Heidelberg (2009)"},{"key":"11_CR12","unstructured":"Sensoria Project: Software Engineering for Service-Oriented Overlay Computers (2008), http:\/\/sensoria.fast.de\/"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Misra, J., Cook, W.R.: Computation orchestration: A basis for a wide-area computing. Software and Systems Modeling (2006), doi:10.1007\/s10270-006-0012-1","DOI":"10.1007\/s10270-006-0012-1"},{"key":"11_CR14","volume-title":"Proc. of Intl. Parallel & Distributed Processing Symposium (IPDPS)","author":"M. Aldinucci","year":"2009","unstructured":"Aldinucci, M., Danelutto, M., Kilpatrick, P.: Autonomic management of non-functional concerns in distributed and parallel application programming. In: Proc. of Intl. Parallel & Distributed Processing Symposium (IPDPS), Rome, Italy. IEEE, Los Alamitos (2009)"},{"key":"11_CR15","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/978-0-387-72498-0_19","volume-title":"Towards Next Generation Grids (Proc. of the CoreGRID Symposium 2007). CoreGRID","author":"M. Aldinucci","year":"2007","unstructured":"Aldinucci, M., Danelutto, M., Kilpatrick, P.: Adding metadata to orc to support reasoning about grid programming. In: Priol, T., Vanneschi, M. (eds.) Towards Next Generation Grids (Proc. of the CoreGRID Symposium 2007). CoreGRID, Rennes, France, pp. 205\u2013214. Springer, Heidelberg (2007)"},{"key":"11_CR16","unstructured":"IBM: Service Component Architecture (SCA), http:\/\/www.ibm.com\/developerworks\/library\/specification\/ws-sca\/ (last accessed 2008)"},{"key":"11_CR17","first-page":"1","volume-title":"Proc. of the ACM SIGPLAN Component-Based High Performance Computing (CBHPC)","author":"M. Aldinucci","year":"2008","unstructured":"Aldinucci, M., Danelutto, M., Bouziane, H.L., P\u00e9rez, C.: Towards software component assembly language enhanced with workflows and skeletons. In: Proc. of the ACM SIGPLAN Component-Based High Performance Computing (CBHPC), pp. 1\u201311. ACM, New York (2008)"},{"key":"11_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"698","DOI":"10.1007\/978-3-540-85451-7_75","volume-title":"Euro-Par 2008 Parallel Processing","author":"H.L. Bouziane","year":"2008","unstructured":"Bouziane, H.L., P\u00e9rez, C., Priol, T.: A software component model with spatial and temporal compositions for grid infrastructures. In: Luque, E., Margalef, T., Ben\u00edtez, D. (eds.) Euro-Par 2008. LNCS, vol.\u00a05168, pp. 698\u2013708. Springer, Heidelberg (2008)"},{"key":"11_CR19","series-title":"Lecture Notes in Computer Science","first-page":"76","volume-title":"CEUR 2008","author":"H. Foster","year":"2008","unstructured":"Foster, H., Uchitel, S., Kramer, J., Magee, J.: Leveraging modes and UML2 for service brokering specifications. In: CEUR 2008. LNCS, vol.\u00a0389, pp. 76\u201390. Springer, Heidelberg (2008)"},{"key":"11_CR20","unstructured":"Object Management Group (OMG): UML Profile and Metamodel for Services (2008)"},{"issue":"2","key":"11_CR21","first-page":"187","volume":"5","author":"L. Baresi","year":"2006","unstructured":"Baresi, L., Heckel, R., Th\u00f6ne, S., Varr\u00f3, D.: Style-based modeling and refinement of service-oriented architectures. SOSYM\u00a05(2), 187\u2013207 (2006)","journal-title":"SOSYM"},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"Hirsch, D., Montanari, U.: Shaped hierarchical architectural design. In: ENTCS, vol. 109 (2004)","DOI":"10.1016\/j.entcs.2004.02.059"},{"key":"11_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-540-68679-8_4","volume-title":"Concurrency, Graphs and Models","author":"R. Bruni","year":"2008","unstructured":"Bruni, R., Bucchiarone, A., Gnesi, S., Hirsch, D., Lluch Lafuente, A.: Graph-based design and analysis of dynamic software architectures. In: Degano, P., De Nicola, R., Meseguer, J. (eds.) Concurrency, Graphs and Models. LNCS, vol.\u00a05065, pp. 37\u201356. Springer, Heidelberg (2008)"},{"key":"11_CR24","volume-title":"Software Architecture: Perspectives on an Emerging Discipline","author":"M. Shaw","year":"1996","unstructured":"Shaw, M., Garlan, D.: Software Architecture: Perspectives on an Emerging Discipline. Prentice-Hall, New Jersey (1996)"},{"key":"11_CR25","doi-asserted-by":"crossref","unstructured":"Aguirre, N., Maibaum, T.S.E.: Hierarchical temporal specifications of dynamically reconfigurable component based systems. In: ENTCS, vol.\u00a0108, pp. 69\u201381 (2004)","DOI":"10.1016\/j.entcs.2004.01.013"},{"key":"11_CR26","unstructured":"Bruni, R., Lluch-Lafuente, A., Montanari, U., Tuosto, E.: Architectural design rewriting as an architecture description language (position paper). Technical Report MSR-TR-2008-61, Microsoft Research Cambridge, Proceedings of R2D2, Workshop on the Rise and Rise of Declarative Datacentre (2008)"},{"key":"11_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/11804192_2","volume-title":"Formal Methods for Components and Objects","author":"G.-L. Ferrari","year":"2006","unstructured":"Ferrari, G.-L., Hirsch, D., Lanese, I., Montanari, U., Tuosto, E.: Synchronised hyperedge replacement as a model for service oriented computing. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2005. LNCS, vol.\u00a04111, pp. 22\u201343. Springer, Heidelberg (2006)"},{"key":"11_CR28","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-0-387-09455-7_3","volume-title":"From Grids To Service and Pervasive Computing (Proc. of the CoreGRID Symposium 2008). CoreGRID","author":"M. Aldinucci","year":"2008","unstructured":"Aldinucci, M., Tuosto, E.: Towards a formal semantics for autonomic components. In: Priol, T., Vanneschi, M. (eds.) From Grids To Service and Pervasive Computing (Proc. of the CoreGRID Symposium 2008). CoreGRID, Las Palmas, Spain, pp. 31\u201345. Springer, Heidelberg (2008)"},{"key":"11_CR29","volume-title":"MDA Explained: The Model Driven Architecture\u2013Practice and Promise","author":"A. Kleppe","year":"2003","unstructured":"Kleppe, A., Warmer, J., Bast, W.: MDA Explained: The Model Driven Architecture\u2013Practice and Promise. Addison-Wesley Professional, Reading (2003)"},{"key":"11_CR30","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1109\/SNPD.2007.212","volume-title":"SNPD 2007: Proceedings of the Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel\/Distributed Computing","author":"Z. Jingjun","year":"2007","unstructured":"Jingjun, Z., Furong, L., Yang, Z., Liguo, W.: Non-functional attributes modeling in software architecture. In: SNPD 2007: Proceedings of the Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel\/Distributed Computing, Washington, DC, USA, pp. 149\u2013153. IEEE Computer Society, Los Alamitos (2007)"},{"key":"11_CR31","unstructured":"Lohmann, D., Spinczyk, O., Schr\u00f6der-Preikschat, W.: On the configuration of non-functional properties in operating system product lines. In: Proceedings of the 4th AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (AOSD-ACP4IS 2005), Chicago, IL, USA, Northeastern University, Boston (NU-CCIS-05-03), 19\u201325 (2005)"},{"key":"11_CR32","volume-title":"Communicating and Mobile Systems: the Pi-Calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: the Pi-Calculus. Cambridge University Press, Cambridge (1999)"},{"key":"11_CR33","volume-title":"Erlang Programming, A Concurrent Approach to Software Development","author":"F. Cesarini","year":"2009","unstructured":"Cesarini, F., Thompson, S.J.: Erlang Programming, A Concurrent Approach to Software Development. O\u2019Reilly, Sebastopol (2009)"},{"key":"11_CR34","series-title":"Lecture Notes in Computer Science","volume-title":"Multiparadigm Programming in Mozart\/Oz","year":"2005","unstructured":"Van Roy, P. (ed.): MOZ 2004. LNCS, vol.\u00a03389. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Components and Objects"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04167-9_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T22:30:32Z","timestamp":1558477832000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04167-9_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642041662","9783642041679"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04167-9_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}