{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T15:36:49Z","timestamp":1790869009426,"version":"4.1.0"},"publisher-location":"Boston, MA","reference-count":54,"publisher":"Springer US","isbn-type":[{"value":"9781402075018","type":"print"},{"value":"9780306487385","type":"electronic"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/0-306-48738-1_2","type":"book-chapter","created":{"date-parts":[[2006,1,2]],"date-time":"2006-01-02T18:52:38Z","timestamp":1136227958000},"page":"17-51","source":"Crossref","is-referenced-by-count":7,"title":["UML for Real-Time"],"prefix":"10.1007","author":[{"given":"S\u00e9bastien","family":"G\u00e9rard","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Francois","family":"Terrier","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"5","key":"2_CR1","first-page":"493","volume":"7","author":"CNRS","year":"1988","unstructured":"CNRS, \u00abLe temps-r\u00e9el\u00bb, TSI-Technique et Science Informatiques, 1988. vol. 7(5): p. 493\u2013500.","journal-title":"TSI-Technique et Science Informatiques"},{"issue":"10","key":"2_CR2","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/2.7053","volume":"21","author":"J.A. Stankovic","year":"1988","unstructured":"J.A. Stankovic, \u201cMisconceptions about real-time: a serious problem for next-generation systems\u201d, IEEE Computer, 1988. vol. 21(10): p. 10\u201319.","journal-title":"IEEE Computer"},{"key":"2_CR3","unstructured":"C. Atkinson, Object-oriented reuse, concurrency and distribution: an Ada-based approach. 91: Addison-Wesley."},{"key":"2_CR4","unstructured":"R. Guerraoui, \u00abLes langages concurrents \u00e0 objets\u00bb, Technique et Science Informatiques (TSI), 1995. vol. 14(8)."},{"key":"2_CR5","first-page":"22","volume":"vember\/december","author":"A. Tripathi","year":"1999","unstructured":"A. Tripathi, J.V. Oosten, and R. Miller, \u201cObject-Oriented Concurrent Programming Languages and Systems\u201d, JOOP, 1999. vol. november\/december: p. 22\u201329.","journal-title":"JOOP"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"G. Agha, \u201cConcurrent object-oriented programming\u201d, Communication of the ACM (CACM), 90. vol. 33(9).","DOI":"10.1145\/83880.84528"},{"key":"2_CR7","first-page":"47","volume":"October","author":"D. Kafura","year":"1993","unstructured":"D. Kafura, M. Mukherji, and G. Lavender, \u201cACT++: a class library for concurrent programming in C++ using actors\u201d, Journal of Object-Oriented Programming (JOOP), 1993. vol. (October): p. 47\u201355.","journal-title":"Journal of Object-Oriented Programming (JOOP)"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"O.M. Nierstratz, \u201cActive Objects in Hybrid\u201d, in OOPSLA\u201987. 1987.","DOI":"10.1145\/38765.38829"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"A. Yonezawa, E. Shibayama, T. Takada, and Y. Honda, \u201cModelling and Programming in an Object-Oriented Concurrent Language ABCL\/1\u201d, Object-Oriented Concurrent programming, 1987. vol.","DOI":"10.1145\/28697.28722"},{"issue":"3","key":"2_CR10","doi-asserted-by":"crossref","first-page":"300","DOI":"10.1145\/42392.42399","volume":"31","author":"B. Liskov","year":"1988","unstructured":"B. Liskov, \u201cDistributed Programming in Argus\u201d, Communication of ACM, 1988. vol. 31(3): p. 300\u2013312.","journal-title":"Communication of ACM"},{"key":"2_CR11","unstructured":"G. Fouquier and F. Terrier, \u00abPRAL-RT: Un langage \u00e0 objets concurrents temps r\u00e9el pour machines multi-threads\u00bb, in Third Conference on Real-Time Systems (RTS\u201995). 1995. Paris, France."},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"K. Takashio and M. Tokoro, \u201cDROL: An object-oriented programming language for distributed real-time systems\u201d, in The Object-Oriented Programming: Systems, Languages and Applications Conference (OOPSLA\u201992). 1992: ACM SIGPLAN Notices.","DOI":"10.1145\/141936.141959"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Y. Ishikawa, H. Tokuda, and C.W. Mercer, \u201cAn object-oriented real-time programming language\u201d, Computer, 92. vol. (October): p. 66\u201373.","DOI":"10.1109\/2.161281"},{"key":"2_CR14","unstructured":"J.L. Sourrouille and H. Lecoeuche, \u201cIntegrating States in an Object-Oriented Concurrent Model\u201d, in TOOLS Europe\u2019 95. 1995. Versailles, France."},{"key":"2_CR15","volume-title":"TOOLS Europe\u201996","author":"F. Terrier","year":"1996","unstructured":"F. Terrier, G. Fouquier, D. Bras, L. Rioux, P. Vanuxeem, and A. Lanusse, \u201cA Real Time Object Model\u201d, in TOOLS Europe\u201996. 1996. Paris, France: Prentice Hall."},{"key":"2_CR16","unstructured":"POSIX, \u201cRealtime system API extension\u201d, IEEE: POSIX, POSIX 1003.4b\/D4. 1992."},{"key":"2_CR17","unstructured":"POSIX, \u201cThreads extension for Portable Operating Systems\u201d, IEEE: POSIX, POSIX 1003.4a\/D6. 1992."},{"key":"2_CR18","unstructured":"D. Harel, A. Pnueli, J.P. Schmidt, and R. Sherman. \u201cOn the formal semantics of statecharts.\u201d in Second IEEE Symposium on Logic in Computer Science. 1987. New York: IEEE Press."},{"key":"2_CR19","unstructured":"S J. Mellor. \u201cAdvanced Methods and Tools for Precise UML: Visions for the Future\u201d, in OOPSLA, workshop pUML. 2000. Denver."},{"key":"2_CR20","unstructured":"I. Wilkie, A. King, M. Clarke, C. Weaver, and C. Rastrick, \u201cUML ASL Reference Guide\u201d, Kennedy Carter. 2001. p. 90."},{"key":"2_CR21","unstructured":"C. Mraidha and S. G\u00e9rard, \u201cACCORD\/UML Action Language\u201d, CEA\/LIST: Internal report, DTSI\/SLA\/03-190\/MC\/ASG. 2003."},{"key":"2_CR22","unstructured":"ITU-T, \u201cRecommendation Z.109: Languages for telecommunications applications-SDL combined with UML\u201d, ITU-T. 1999."},{"key":"2_CR23","unstructured":"R. Wieringa, \u201cFormalizing the UML in a Systems Engineering\u201d, ECOOP98, 1998. vol. (Workshop on Precise Behavioral semantics): p. 254\u2013266."},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"J. Lilius and I. Porres. \u201cFormalizing UML state machines for model checking\u201d, in UML\u201999. 1999: Springer Verlag.","DOI":"10.1007\/3-540-46852-8_31"},{"key":"2_CR25","doi-asserted-by":"crossref","unstructured":"G. Reggio, E. Astesiano, C. Choppy, and H. Hussmann. \u201cAnalysing UML active classes and associated state machines-a lightweight formal approach\u201d, in FASE 2000. 2000: Springer-Verlag.","DOI":"10.1007\/3-540-46428-X_10"},{"key":"2_CR26","unstructured":"S. G\u00e9rard, Mod\u00e9lisation UML ex\u00e9cutable pour les syst\u00e8mes embarqu\u00e9s de l\u2019automobile, PhD Thesis, in GLSP. 2000, Evry: Paris."},{"key":"2_CR27","doi-asserted-by":"crossref","unstructured":"M. Dumas and A.H.M.t. Hofstede. \u201cUML Activity Diagrams as a Workflow Specification Language\u201d, in UML\u20192001. 2001. Toronto, Canada: Springer.","DOI":"10.1007\/3-540-45441-1_7"},{"key":"2_CR28","first-page":"240","volume-title":"PhD Thesis","author":"H. Eshuis","year":"2002","unstructured":"H. Eshuis, Semantics and Verification of UML Activity Diagrams for Workflow Modelling, PhD Thesis, in Centre for Telematics and Information Technology. 2002, University of Twente (The Netherlands): Enschede. p. 240."},{"key":"2_CR29","unstructured":"F. Bause and P. Buchholz, eds. Protocol Analysis using a timed version of SDL. Formal Description Techniques, ed. J. Quemada, J. Manas, and E. Vasquez 1991: North Holland."},{"key":"2_CR30","unstructured":"S. Leue. \u201cSpecifying Real-Time Requirements for SDL Specifications-A Temporal Logic-Based Approach\u201d, in PSTV. 95: Chapmann & Hall."},{"key":"2_CR31","unstructured":"U. Hinkel. \u201cSDL and Time-A mysterious Relationship\u201d, in SDL Forum. 97."},{"key":"2_CR32","doi-asserted-by":"crossref","unstructured":"A. Burns, \u201cScheduling hard real-time systems: a review\u201d, Software Engineering Journal, 1991. vol. May.","DOI":"10.1049\/sej.1991.0015"},{"key":"2_CR33","unstructured":"F. Terrier and S. G\u00e9rard. \u201cReal time system modeling with UML: current status and some prospects\u201d, in 2nd Workshop on SDL and MSC 2000. 2000. Grenoble, France."},{"issue":"2","key":"2_CR34","first-page":"179","volume":"3","author":"F. Terrier","year":"1997","unstructured":"F. Terrier, A. Lanusse, D. Bras, P. Roux, and P. Vanuxeem, \u201cConcurrent objects for multitasking\u201d, L\u2019objet, 1997. vol. 3(2): p. 179\u2013196.","journal-title":"L\u2019objet"},{"key":"2_CR35","volume-title":"\u201cUML98\u201d: Beyond the Notation","author":"A. Lanusse","year":"1998","unstructured":"A. Lanusse, S. G\u00e9rard, and F. Terrier. \u201cReal-Time Modeling with UML: The ACCORD Approach\u201d, in \u201cUML98\u201d: Beyond the Notation. 1998. Mulhouse, France: J. Bezivin et P.A. Muller."},{"key":"2_CR36","unstructured":"S. G\u00e9rard, \u201cThe ACCORD\/UML profile\u201d, CEA-LIST: Internal report. 2002."},{"key":"2_CR37","volume-title":"PhD Thesis","author":"G. Fouquier","year":"1996","unstructured":"G. Fouquier, Programmation temps r\u00e9el \u00e0 objets: \u00e9tudes \u00e9t propositions, PhD Thesis. 1996, Universit\u00e9 d\u2019Orsay, Paris XI."},{"key":"2_CR38","unstructured":"L. Rioux, D\u00e9veloppement \u00e0 Objets Temps R\u00e9el: Etude et Proposition d\u2019une Architecture d\u2019Ordonnancement Parall\u00e8le, PhD Thesis, in LLSP. 1998, UFR Scientifique d\u2019Orsay: Saclay. p. 205."},{"key":"2_CR39","volume-title":"Architecture and Design of Distributed Embedded Systems (DIPES 2000)","author":"S. G\u00e9rard","year":"2000","unstructured":"S. G\u00e9rard, N.S. Voros, C. Koulamas, and F. Terrier. \u201cEfficient System Modeling of Complex Real-time Industrial Networks Using The ACCORD\/UML Methodology\u201d, in Architecture and Design of Distributed Embedded Systems (DIPES 2000). 2000. Paderborn University, Germany: Kluwer Academic Publishers."},{"key":"2_CR40","unstructured":"C. Mraidha, S. G\u00e9rard, F. Terrier, and J. Benzakki. \u201cA Two-Aspect Approach for a Clearer Behavior Model\u201d, in The 6th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC\u20192003). 2003. Hakodate, Hokkaido, Japan: IEEE."},{"key":"2_CR41","unstructured":"OMG, \u201cUML 1.5 with Action Semantics\u201d, OMG, ptc\/02-09-02. 2002. p. 754."},{"key":"2_CR42","unstructured":"AIT-WOODDES, Public Final Report. 2003."},{"key":"2_CR43","unstructured":"P. Tessier, S. G\u00e9rard, C. Mraidha, F. Terrier, and J.-M. Geib. \u201cA Component-Based Methodology for Embedded System Prototyping\u201d, in 14th IEEE International Workshop on Rapid System Prototyping (RSP\u201903). 2003. San Diego, USA: IEEE."},{"key":"2_CR44","unstructured":"D.A. S. G\u00e9rard, \u201cUML profile for real time embedded systems development\u201d, AIT-WOODDES (IST-1999-10069): public document, 10069\/D2\/CEA\/WP1\/V1.0. 2003."},{"key":"2_CR45","first-page":"145","volume":"46","author":"J.P. Gallois","year":"1997","unstructured":"J.P. Gallois and A. Lanusse, \u00abLe test structurel pour la v\u00e9rification de sp\u00e9cifications de syst\u00e8mes industriels\u00bb, G\u00e9nie Logiciel, 1997. vol. 46: p. 145\u2013150.","journal-title":"G\u00e9nie Logiciel"},{"key":"2_CR46","unstructured":"J.P. Gallois and A. Lapitre. \u00abAnalyse de sp\u00e9cifications industrielles et g\u00e9n\u00e9ration automatique de tests\u00bb, in ICSEA. 1999. Paris."},{"key":"2_CR47","unstructured":"D. Lugato, N. Rapin, and J.-P. Gallois. \u201cVerification and tests generation for SDL industrial specifications with the AGATHA\u201d, in Workshop on Real-Time Tools, CONCUR\u201901. 2001."},{"key":"2_CR48","doi-asserted-by":"crossref","unstructured":"D. Lugato, C. Bigot, and Y. Valot. \u201cValidation and automatic test generation on UML models: the AGATHA approach\u201d, in FMICS\u201902, 7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems. 2002. University of Malaga, Spain: Elsevier Science Publishers-Electronic Notes in Theoretical Computer Science.","DOI":"10.1016\/S1571-0661(04)80402-X"},{"key":"2_CR49","unstructured":"OMG, \u201cUML Profile for Modeling QoS and FT Characteristics and Mechanisms RFP\u201d, OMG, ad\/02-01-07. 2002."},{"key":"2_CR50","unstructured":"OMG, \u201cUML for Systems Engineering RFP\u201d, OMG: Request For Proposal, ad\/03-03-41. 2003. p. 56."},{"key":"2_CR51","unstructured":"OMG, \u201cMOF 2.0 Query \/ Views \/ Transformations RFP\u201d, OMG: Request For Proposal, ad\/02-04-10. 2002."},{"key":"2_CR52","unstructured":"R. Soley and t.O.S.S. Group, \u201cModel Driven Architecture (Draft 3.2)\u201d, OMG: White paper. 2000. p. 8."},{"key":"2_CR53","volume-title":"OOIS\u201902-MDSD","author":"S. G\u00e9rard","year":"2002","unstructured":"S. G\u00e9rard, F. Terrier, and Y. Tanguy. \u201cUsing the Model Paradigm for Real-Time Systems Develoment: ACCORD\/UML\u201d, in OOIS\u201902-MDSD. 2002. Montpellier: Springer."},{"key":"2_CR54","unstructured":"J. B\u00e9zivin and S. G\u00e9rard, \u201cA Preliminary Identification of MDA Components\u201d, OOPSLA 2002 Workshop: Generative Techniques in the context of Model Driven Architecture. 2002."}],"container-title":["UML for Real"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/0-306-48738-1_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,6]],"date-time":"2023-05-06T01:59:22Z","timestamp":1683338362000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/0-306-48738-1_2"}},"subtitle":["Which native concepts to use?"],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9781402075018","9780306487385"],"references-count":54,"URL":"https:\/\/doi.org\/10.1007\/0-306-48738-1_2","relation":{},"subject":[],"published":{"date-parts":[[2003]]}}}