{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:49:45Z","timestamp":1725511785278},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540711551"},{"type":"electronic","value":"9783540711568"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-71156-8_7","type":"book-chapter","created":{"date-parts":[[2007,6,20]],"date-time":"2007-06-20T21:19:27Z","timestamp":1182374367000},"page":"121-142","source":"Crossref","is-referenced-by-count":1,"title":["A Factory to Design and Build Tailorable and Verifiable Middleware"],"prefix":"10.1007","author":[{"given":"J\u00e9r\u00f4me","family":"Hugues","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabrice","family":"Kordon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurent","family":"Pautet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Vergnaud","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","volume-title":"Colloque Francophone sur l\u2019Ing\u0144ierie des Protocoles (CFIP)","author":"L. Apvrille","year":"2003","unstructured":"Apvrille, L., de Saqui-Sannes, P., Khendek, F.: TURTLE-P: Un profil UML pour la validation d\u2019architectures distribuees. In: Colloque Francophone sur l\u2019Ing\u0144ierie des Protocoles (CFIP), Paris, France, October 2003, Hermes, Paris (2003)"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Baarir, S., Haddad, S.: Exploiting Partial Symmetries in Well-formed nets for the Reachability and the linear Time Model Checking Problems. In: Proceedings of the 7th Workshop on Discrete Event Systems (WODES\u201904), Reims, France, Sept. (2004)","DOI":"10.1016\/S1474-6670(17)30749-8"},{"key":"7_CR3","volume-title":"Pattern-Oriented Software Architecture: A System of Patterns","author":"F. Buschmann","year":"1996","unstructured":"Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P., Stal, M.: Pattern-Oriented Software Architecture: A System of Patterns. John Wiley & Sons, New York (1996)"},{"key":"7_CR4","volume-title":"Proceedings of the ACM Conference on Object-Oriented Programmng, Systems, Languages and Applications (00PSLA\u20192000)","author":"R. Bastide","year":"2000","unstructured":"Bastide, R., Sy, O., Palanque, P., Navarre, D.: Formal specifications of corba services: Experience and lessons learned. In: Proceedings of the ACM Conference on Object-Oriented Programmng, Systems, Languages and Applications (00PSLA\u20192000), Minneapolis, Minnesota, USA, ACM Press, New York (2000)"},{"key":"7_CR5","unstructured":"Budden, T.J.: Decision Point: Will Using a COTS Component Help or Hinder Your DO-178B Certification Effort. STSC CrossTalk, The Journal of Defense Software Engineering (November 2003)"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Chiola, G., Dutheillet, C., Franceschini, G., Haddad, S.: On Well-Formed Coloured Nets and their Symbolic Reachability Graph. In: High-Level Petri Nets. Theory and Application, LNCS (1991)","DOI":"10.1007\/978-3-642-84524-6_13"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"Formal Methods for Components and Objects","author":"W. Deng","year":"2003","unstructured":"Deng, W., Dwyer, M.B., Hatcliff, J., Jung, G., Robby, Singh, G.: Model-checking middleware-based event-driven real-time embedded software. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol.\u00a02852, Springer, Heidelberg (2003)"},{"key":"7_CR8","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, Springer, Heidelberg (1998)"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Feiler, P.H., Lewis, B., Vestal, S.: Improving predictability in embedded real-time systems. Technical Report CMU\/SEI-2000-SR-011, universit\u00e9 Carnegie Mellon (December 2000), http:\/\/la.sei.cmu.edu\/publications","DOI":"10.21236\/ADA387086"},{"key":"7_CR10","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1109\/ISORC.2006.4","volume-title":"Proceedings of the 9th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC\u201906)","author":"J. Hugues","year":"2006","unstructured":"Hugues, J., Kordon, F., Pautet, L.: A framework for DRE middleware, an application to DDS. In: Proceedings of the 9th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC\u201906), Gyeongju, Korea, April 2006, pp. 224\u2013231. IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"7_CR11","unstructured":"Hamez, A., Renault, X.: PetriScript Reference Manual. LIP6, http:\/\/www-src.lip6.fr\/logiciels\/mars\/CPNAMI\/MANUAL_SERV"},{"key":"7_CR12","unstructured":"ISO. Quality management and quality assurance - vocabulary. ISO 8402:1994 (1994)"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Jonsson, B.: Compositional specification and verification of distributed systems. ACM Transactions on Programming Languages and Systems (TOPLAS) (1994)","DOI":"10.1145\/174662.174665"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Kaddour, M., Pautet, L.: A middleware for supporting disconnections and multi-network access in mobile environments. In: Proceedings of the Perware workshop at the 2nd Conference on Pervasive Computing (Percom), Orlando, Florida, USA, March (2004)","DOI":"10.1109\/PERCOMW.2004.1276929"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Kordon, F., Pautet, L.: Toward next-generation toward next-generation middleware? IEEE Distributed Systems Online\u00a05(1) (2005)","DOI":"10.1109\/MDSO.2005.18"},{"key":"7_CR16","unstructured":"LAAS. The RT-LOTOS Project (2004), http:\/\/www.laas.fr\/RT-LOTOS"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Lewis, B.: architecture based model driven software and system development for real-time embedded systems (2003), available at http:\/\/la.sei.cmu.edu\/aadlinfosite\/LinkedDocuments\/","DOI":"10.1007\/978-3-540-24626-8_17"},{"key":"7_CR18","volume-title":"Proceedings of the 26th IEEE\/ACM International Conference on Software Engineering (ICSE)","author":"A. Memon","year":"2004","unstructured":"Memon, A., Porter, A., Yilmaz, C., Nagarajan, A., Schmidt, D.C., Natarajan, B.: Skoll: Distributed Continuous Quality Assurance. In: Proceedings of the 26th IEEE\/ACM International Conference on Software Engineering (ICSE), Edinburgh, Scotland, May 2004, ACM Press, New York (2004)"},{"key":"7_CR19","volume-title":"Proceedings of the ACM SIGPLAN workshop on Languages, compilers and tools for embedded systems","author":"I. Pyarali","year":"2001","unstructured":"Pyarali, I., Spivak, M., Cytron, R., Schmidt, D.C.: Evaluating and Optimizing Thread Pool Strategies for RT-CORBA. In: Proceedings of the ACM SIGPLAN workshop on Languages, compilers and tools for embedded systems, ACM Press, New York (2001)"},{"key":"7_CR20","volume-title":"Proceeding of the 1st IEEE Real-Time Technology and Applications Symposium","author":"R. Rajkumar","year":"1995","unstructured":"Rajkumar, R., Gagliardi, M., Sha, L.: The Real-Time Publisher\/Subscriber Inter-Process Communication Model for Distributed Real-Time Systems: Design and Implementation. In: Proceeding of the 1st IEEE Real-Time Technology and Applications Symposium, Denver, Colorado, USA, May 1995, IEEE Computer Society Press, Los Alamitos (1995)"},{"key":"7_CR21","unstructured":"Rugina, A.-E., Kanoun, K., Ka\u00e2niche, M.: Aadl-based dependability modelling. Technical Report 06209, LAAS-CNRS (April 2006)"},{"key":"7_CR22","volume-title":"Proc. ICECCS\u201999 Fifth IEEE International Conference on Engineering of Complex Computer Systems","author":"B. Rumpe","year":"1999","unstructured":"Rumpe, B., Schoenmakers, M., Radermacher, A., Sch\u00fcrr, A.: UML + ROOM as a standard ADL? In: Proc. ICECCS\u201999 Fifth IEEE International Conference on Engineering of Complex Computer Systems, IEEE Computer Society Press, Los Alamitos (1999)"},{"key":"7_CR23","unstructured":"SAE. Aadl, annex d: Language compliance and application program interface (Sept. 2004), available at http:\/\/www.sae.org"},{"key":"7_CR24","unstructured":"SAE. Architecture Analysis & Design Language (AS5506) (Sept. 2004), available at http:\/\/www.sae.org"},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"Schmidt, D.C., Buschmann, F.: Patterns frameworks and middleware: Their synergistic relationships. In: Proceedings of the 25th International Conference on Software Engineering (2003)","DOI":"10.1109\/ICSE.2003.1201256"},{"key":"7_CR26","doi-asserted-by":"crossref","unstructured":"Schmidt, D., Levine, D., Mungee, S.: The design and performance of real-time object request brokers. Computer Communications\u00a021 (1998)","DOI":"10.1016\/S0140-3664(97)00165-5"},{"key":"7_CR27","unstructured":"Soussy, Y.: Compositions of Nets via a communication medium. In: 10th International Conference on Application and theory of Petri Nets, Bonn, Germany, June (1989)"},{"key":"7_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/3-540-44919-1_9","volume-title":"Applications and Theory of Petri Nets 2003","author":"Y. Thierry-Mieg","year":"2003","unstructured":"Thierry-Mieg, Y., Dutheillet, C., Mounier, I.: Automatic symmetry detection in well-formed nets. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol.\u00a02679, pp. 82\u2013101. Springer, Heidelberg (2003)"},{"key":"7_CR29","doi-asserted-by":"crossref","unstructured":"Vergnaud, T., Hugues, J., Pautet, L., Kordon, F.: PolyORB: a schizophrenic middleware to build versatile reliable distributed applications. In: Proceedings of the 9th International Conference on Reliable Software Techologies Ada-Europe 2004 (RST\u201904), Palma de Mallorca, Spain, June (2004)","DOI":"10.1007\/978-3-540-24841-5_8"},{"key":"7_CR30","unstructured":"Vergnaud, T., Zalila, B.: Ocarina: a Compiler for the AADL. Technical report, T\u00e9l\u00e9com Paris (2006), available at http:\/\/ocarina.enst.fr"}],"container-title":["Lecture Notes in Computer Science","Reliable Systems on Unreliable Networked Platforms"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71156-8_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:16:06Z","timestamp":1605762966000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71156-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540711551","9783540711568"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71156-8_7","relation":{},"subject":[]}}