{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:49:17Z","timestamp":1725518957901},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540878742"},{"type":"electronic","value":"9783540878759"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-87875-9_27","type":"book-chapter","created":{"date-parts":[[2008,9,21]],"date-time":"2008-09-21T21:46:10Z","timestamp":1222033570000},"page":"371-385","source":"Crossref","is-referenced-by-count":3,"title":["A Model-Based Framework for Statically and Dynamically Checking Component Interactions"],"prefix":"10.1007","author":[{"given":"Guillaume","family":"Waignier","sequence":"first","affiliation":[]},{"given":"Prawee","family":"Sriplakich","sequence":"additional","affiliation":[]},{"given":"Anne-Fran\u00e7oise","family":"Le Meur","sequence":"additional","affiliation":[]},{"given":"Laurence","family":"Duchien","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"27_CR1","doi-asserted-by":"crossref","unstructured":"Medvidovic, N., Taylor, R.N.: A classification and comparison framework for software architecture description languages. IEEE Trans. on Software Engineering\u00a026(1) (January 2000)","DOI":"10.1109\/32.825767"},{"key":"27_CR2","volume-title":"Communicating Sequential Processes","author":"C. Hoare","year":"2004","unstructured":"Hoare, C.: Communicating Sequential Processes. Prentice Hall, Englewood Cliffs (2004)"},{"key":"27_CR3","doi-asserted-by":"crossref","first-page":"634","DOI":"10.1145\/302405.302726","volume-title":"Proceedings of the 21st international conference on Software engineering","author":"J. Magee","year":"1999","unstructured":"Magee, J.: Behavioral analysis of software architecture using ltsa. In: Proceedings of the 21st international conference on Software engineering, pp. 634\u2013637. IEEE Computer Society, Los Alamitos (1999)"},{"issue":"3-4","key":"27_CR4","first-page":"417","volume":"5","author":"P. Collet","year":"1999","unstructured":"Collet, P., Rousseau, R.: Efficient Implementation Techniques for Advanced Assertion Languages. RSTI - S\u00e9rie L\u2019Objet (RSTI-Objet)\u00a05(3-4), 417\u2013442 (1999)","journal-title":"RSTI - S\u00e9rie L\u2019Objet (RSTI-Objet)"},{"key":"27_CR5","unstructured":"Nunziati, S.: Personal health record, www.d-m-p.org\/docs\/EnglishVersionDMP.pdf"},{"key":"27_CR6","volume-title":"Proceedings of the 1st IEEE International Workshop on Model-Driven Development of Autonomic Systems (MDDAS 2008)","author":"P. Sriplakich","year":"2008","unstructured":"Sriplakich, P., Waignier, G., Le Meur, A.F.: Enabling dynamic co-evolution of models and runtime applications. In: Proceedings of the 1st IEEE International Workshop on Model-Driven Development of Autonomic Systems (MDDAS 2008), Turku, Finland, July 2008. IEEE Computer Society, Los Alamitos (to appear, 2008)"},{"key":"27_CR7","volume-title":"Foundations of Component-Based Systems","author":"D. Garlan","year":"2000","unstructured":"Garlan, D., Monroe, R.T., Wile, D.: Acme: Architectural description of component-based systems. In: Foundations of Component-Based Systems. Cambridge University Press, Cambridge (2000)"},{"key":"27_CR8","unstructured":"Monroe, R.T.: Capturing Software Architecture Design Expertise with Armani (2001)"},{"key":"27_CR9","volume-title":"Proceedings of the Working IEEE\/IFIP Conference on Software Architecture (WICSA 2001)","author":"E.M. Dashofy","year":"2001","unstructured":"Dashofy, E.M., der Hoek, A.V., Taylor, R.N.: A highly-extensible, XML-based architecture description language. In: Proceedings of the Working IEEE\/IFIP Conference on Software Architecture (WICSA 2001). IEEE Computer Society, Los Alamitos (2001)"},{"key":"27_CR10","unstructured":"OMG: Object Constraint Language (OCL). 2.0 edn. (May 2006)"},{"issue":"7","key":"27_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/390013.808479","volume":"5","author":"F.E. Allen","year":"1970","unstructured":"Allen, F.E.: Control flow analysis. SIGPLAN Not.\u00a05(7), 1\u201319 (1970)","journal-title":"SIGPLAN Not."},{"key":"27_CR12","unstructured":"Russell, N., ter Hofstede, A.H., van der Aalst, W.M., Mulyar, N.: Workflow control-flow patterns: A revised view. BPM Center Report BPM-06-22"},{"key":"27_CR13","unstructured":"OMG: Unified Modeling Language (UML): Superstructure, v2.1.1 (August 2007)"},{"key":"27_CR14","unstructured":"Maxima: a computer algebra system, http:\/\/maxima.sourceforge.net"},{"key":"27_CR15","series-title":"Lecture Notes in Computer Science","volume-title":"Component-Based Software Engineering","author":"E. Bruneton","year":"2004","unstructured":"Bruneton, E., Coupaye, T., Leclercq, M., Qu\u00e9ma, V., Stefani, J.B.: An open component model and its support in Java. In: Crnkovi\u0107, I., Stafford, J.A., Schmidt, H.W., Wallnau, K. (eds.) CBSE 2004. LNCS, vol.\u00a03054. Springer, Heidelberg (2004)"},{"key":"27_CR16","unstructured":"OMG: CORBA Component Model, v4.0, formal\/06-04-01(April 2006)"},{"key":"27_CR17","volume-title":"Proceedings of the 13th Annual IEEE International Conference on Engineering of Computer Based Systems (ECBS 2006)","author":"O. Barais","year":"2006","unstructured":"Barais, O., Lawall, J., Le Meur, A.F., Duchien, L.: Safe integration of new concerns in a software architecture. In: Proceedings of the 13th Annual IEEE International Conference on Engineering of Computer Based Systems (ECBS 2006). IEEE Computer Society, Los Alamitos (2006)"},{"key":"27_CR18","doi-asserted-by":"crossref","unstructured":"Kildall, G.: A unified approach to global program optimization. In: 1st Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (1973)","DOI":"10.1145\/512927.512945"},{"key":"27_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053381","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"G. Kiczales","year":"1997","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C., Loingtier, J.M., Irwin, J.: Aspect-oriented programming. In: Ak\u015fit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.\u00a01241. Springer, Heidelberg (1997)"},{"key":"27_CR20","doi-asserted-by":"crossref","unstructured":"Pawlak, R.: Spoon: Compile-time annotation processing for middleware. IEEE Distributed Systems Online\u00a07(11) (November 2006)","DOI":"10.1109\/MDSO.2006.67"},{"key":"27_CR21","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Software Architecture","author":"T. Batista","year":"2005","unstructured":"Batista, T., Joolia, A., Coulson, G.: Managing dynamic reconfiguration in component-based systems. In: Morrison, R., Oquendo, F. (eds.) EWSA 2005. LNCS, vol.\u00a03527, pp. 1\u201317. Springer, Heidelberg (2005)"},{"key":"27_CR22","unstructured":"Coulson, G., Blair, G., Grace, P., Joolia, A., Lee, K., Ueyama, J.: Opencom v2: A component model for building systems software. In: IASTED Software Engineering and Applications (2004)"},{"key":"27_CR23","doi-asserted-by":"crossref","unstructured":"Hein, C., Ritter, T., Wagner, M.: System monitoring using constraint checking as part of model based system management. In: International Workshop Models@run.time (2007)","DOI":"10.1109\/ISADS.2007.41"},{"key":"27_CR24","unstructured":"Jung, H., Rubio-Medrano, C.E., Wong, W.E., Cheon, Y.: Architectural Assertions: Checking Architecrural Constraints at Run-Time"}],"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-540-87875-9_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,16]],"date-time":"2021-09-16T19:30:30Z","timestamp":1631820630000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87875-9_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540878742","9783540878759"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87875-9_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}