{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T02:31:32Z","timestamp":1761964292490},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540262862"},{"type":"electronic","value":"9783540316664"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11499909_6","type":"book-chapter","created":{"date-parts":[[2010,12,20]],"date-time":"2010-12-20T16:56:28Z","timestamp":1292864188000},"page":"67-78","source":"Crossref","is-referenced-by-count":13,"title":["Using the AADL to Describe Distributed Applications from Middleware to Software Components"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Vergnaud","sequence":"first","affiliation":[]},{"given":"Laurent","family":"Pautet","sequence":"additional","affiliation":[]},{"given":"Fabrice","family":"Kordon","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Bernstein, P.A.: Middleware: An archictecture: for distributed system services. Technical Report CRL 93\/6, Cambridge, MA, USA (1993)"},{"key":"6_CR2","unstructured":"OMG: The Common Object Request Broker: Architecture and Specification, revision 2.2. OMG Technical Document formal\/98-07-01 (1998)"},{"key":"6_CR3","volume-title":"Proceedings of the 3rd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000)","author":"L. Pautet","year":"2000","unstructured":"Pautet, L., Tardieu, S.: GLADE: a Framework for Building Large Object-Oriented Real-Time Distributed Systems. In: Proceedings of the 3rd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), Newport Beach, California, USA. IEEE Computer Society Press, Los Alamitos (2000)"},{"key":"6_CR4","unstructured":"W3C: Simple Object Access Protocol (SOAP) 1.1 (2000), http:\/\/www.w3.org\/TR\/SOAP\/"},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/978-3-540-24841-5_8","volume-title":"Reliable Software Technologies - Ada-Europe 2004","author":"T. Vergnaud","year":"2004","unstructured":"Vergnaud, T., Hugues, J., Pautet, L., Kordon, F.: PolyORB: A schizophrenic middleware to build versatile reliable distributed applications. In: Llamos\u00ed, A., Strohmeier, A. (eds.) Ada-Europe 2004. LNCS, vol.\u00a03063, pp. 106\u2013119. Springer, Heidelberg (2004)"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Vestal, S.: Technical and historical overview of MetaH. Technical report, Honeywell (2000), available at http:\/\/la.sei.cmu.edu\/aadlinfosite\/MetaHPublications.html","DOI":"10.1145\/340855.341124"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Lewis, B.: architecture based model driven software and system development for real-time embedded systems (2003), avilable at http:\/\/la.sei.cmu.edu\/aadlinfosite\/AADLPublications.html","DOI":"10.1007\/978-3-540-24626-8_17"},{"key":"6_CR8","unstructured":"SAE Architecture Analysis: Design Language, AS5506 (2004), available at http:\/\/www.sae.org"},{"key":"#cr-split#-6_CR9.1","unstructured":"Feiler, P.: Annex A: AADL Model interchange formats (2004);"},{"key":"#cr-split#-6_CR9.2","unstructured":"Part of the AADL standard, available from SAE"},{"key":"#cr-split#-6_CR10.1","unstructured":"Tokar, J.: Annex D: Language compliance and application program interface (2004);"},{"key":"#cr-split#-6_CR10.2","unstructured":"Part of the AADL standard, available from SAE"},{"key":"6_CR11","unstructured":"Schmidt, D., Cleeland, C.: Applying patterns to develop extensible and maintainable ORB middleware. Communications of the ACM, CACM\u00a040 (1997)"},{"key":"6_CR12","first-page":"175","volume-title":"Proceedings of the IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing","author":"B. Dumant","year":"1998","unstructured":"Dumant, B., Horn, F., Tran, F.D., Stefani, J.B.: Jonathan: an open distributed processing environment in java. In: Proceedings of the IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing, Londres, pp. 175\u2013190. Springer, Heidelberg (1998)"},{"key":"6_CR13","unstructured":"Hugues, J., Thierry-Mieg, Y., Kordon, F., Pautet, L., Baarir, S., Vergnaud, T.: On the Formal Verification of Middleware Behavioral Properties. In: Proceedings of the 9th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2004), Linz, Austria (2004) (to be published)"},{"key":"6_CR14","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1145\/374370.374387","volume-title":"Proceedings of the 10th international workshop on Real-time Ada workshop","author":"J.A. Puente de la","year":"2001","unstructured":"de la Puente, J.A., Zamorano, J., Ruiz, J., Fern\u00e1ndez, R., Garc\u00eda, R.: The design and implementation of the Open Ravenscar Kernel. In: Proceedings of the 10th international workshop on Real-time Ada workshop, pp. 85\u201390. ACM Press, New York (2001)"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technology \u2013 Ada-Europe 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11499909_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:02:03Z","timestamp":1605643323000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11499909_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540262862","9783540316664"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11499909_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}