{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T01:32:36Z","timestamp":1773192756976,"version":"3.50.1"},"reference-count":24,"publisher":"Wiley","issue":"12","license":[{"start":{"date-parts":[[2006,10,30]],"date-time":"2006-10-30T00:00:00Z","timestamp":1162166400000},"content-version":"vor","delay-in-days":3986,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Pract Exp"],"published-print":{"date-parts":[[1995,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Temporal message\u2010flow diagrams (TMFDs), alternatively called sequence charts, interaction diagrams, event traces, or actor diagrams, are illustrations of a system's global message\u2010passing activity over time, and a pictorial aid to understanding the system's behavior. They are widely used for requirements and documentation for network protocols and object\u2010oriented applications. We present a general formalism for TMFDs, describe a suite of tools we have designed that employs this formalism, and present our experiences with these tools. The formalism and tools described serve to support and broaden the use of TMFDs in developing communicating systems.<\/jats:p>","DOI":"10.1002\/spe.4380251205","type":"journal-article","created":{"date-parts":[[2006,11,17]],"date-time":"2006-11-17T17:30:48Z","timestamp":1163784648000},"page":"1367-1401","source":"Crossref","is-referenced-by-count":6,"title":["Using formalized temporal message\u2010flow diagrams"],"prefix":"10.1002","volume":"25","author":[{"given":"Wayne","family":"Citrin","sequence":"first","affiliation":[]},{"given":"Alistair","family":"Cockburn","sequence":"additional","affiliation":[]},{"given":"Jurg Von","family":"Kanel","sequence":"additional","affiliation":[]},{"given":"Rainer","family":"Hauser","sequence":"additional","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2006,10,30]]},"reference":[{"key":"e_1_2_1_2_2","volume-title":"SNA Format and Protocol Reference Manual: Architecture Logic for LU Type 6.2. Vol. Document SC30\u20133269\u20133","author":"IBM Corporation","year":"1985"},{"key":"e_1_2_1_3_2","unstructured":"International Telephone and Telegraph Consultative Committee (CCITT) CCITT Recommendation Z.100\u2010Annex D SDL User Guidelines."},{"key":"e_1_2_1_4_2","volume-title":"Using Formal Description Techniques: An Introduction to Estelle, LOTOS, and SDL","author":"Turner K. J.","year":"1993"},{"key":"e_1_2_1_5_2","unstructured":"J.GrabowskiandE.Rudolph \u2018Putting extended sequence charts to practice\u2019 inSDL \u203289: The Language at Work 1989 pp.3\u201310."},{"key":"e_1_2_1_6_2","volume-title":"Object\u2010Oriented Software Engineering","author":"Jacobson I.","year":"1992"},{"key":"e_1_2_1_7_2","volume-title":"Object\u2010Oriented Modeling and Design","author":"Rumbaugh J.","year":"1991"},{"key":"e_1_2_1_8_2","doi-asserted-by":"crossref","unstructured":"H.Vestli \u2018Visual specification of actor configurations\u2019 IEEE Symposium on Visual Languages St. Louis 1994 pp.110\u2013117.","DOI":"10.1109\/VL.1994.363634"},{"key":"e_1_2_1_9_2","doi-asserted-by":"publisher","DOI":"10.1109\/52.23128"},{"key":"e_1_2_1_10_2","doi-asserted-by":"crossref","unstructured":"W.Citrin \u2018Design considerations for a visual language for communications architecture specifications\u2019 IEEE Workshop on Visual Languages Kobe Japan 1991 pp.231\u2013237.","DOI":"10.1109\/WVL.1991.238827"},{"key":"e_1_2_1_11_2","volume-title":"Protocol Specification, Testing, and Verification, XI","author":"Cockburn A. A. R.","year":"1991"},{"key":"e_1_2_1_12_2","doi-asserted-by":"crossref","unstructured":"J. D.McWhirterandG. J.Nutt \u2018Escalante: an environment for the rapid construction of visual language environments\u2019 IEEE\u2010CS Symposium on Visual LanguagesSt. Louis 1994 pp.15\u201322.","DOI":"10.1109\/VL.1994.363645"},{"key":"e_1_2_1_13_2","unstructured":"J. D.McWhirter. \u2018Characterization specification and generation of visual language applications\u2019 Ph. D. Dissertation University of Colorado 1994."},{"key":"e_1_2_1_14_2","doi-asserted-by":"crossref","unstructured":"T.BolognesiandD.Latella \u2018Techniques for the formal definition of the G\u2010LOTOS syntax\u2019 IEEE Workshop on Visual Languages Rome 1989 pp.43\u201349.","DOI":"10.1109\/WVL.1989.77040"},{"key":"e_1_2_1_15_2","doi-asserted-by":"crossref","unstructured":"K.WittenbergandL.Weitzman \u2018Visual grammars and incremental parsing for interface languages\u2019 IEEE Workshop on Visual Languages Skokie IL 1990 pp.111\u2013118.","DOI":"10.1109\/WVL.1990.128391"},{"key":"e_1_2_1_16_2","doi-asserted-by":"crossref","unstructured":"E. J.GolinandS. P.Reiss \u2018The specification of visual language syntax\u2019 Proc. 1989 IEEE Workshop on Visual LanguagesRome 1989 pp.105\u2013110.","DOI":"10.1109\/WVL.1989.77050"},{"key":"e_1_2_1_17_2","doi-asserted-by":"crossref","unstructured":"J.Marks\u2018A syntax and semantics for network diagrams\u2019 IEEE Workshop on Visual Languages Skokie IL 1990 pp.104\u2013110.","DOI":"10.1109\/WVL.1990.128390"},{"key":"e_1_2_1_18_2","doi-asserted-by":"crossref","unstructured":"K.Wittenberg \u2018Earley\u2010style parsing for relational grammars\u2019 Proc. IEEE Workshop on Visual Languages Seattle 1992 pp.192\u2013199.","DOI":"10.1109\/WVL.1992.275765"},{"key":"e_1_2_1_19_2","doi-asserted-by":"publisher","DOI":"10.7208\/chicago\/9780226471013.001.0001"},{"key":"e_1_2_1_20_2","unstructured":"W.CitrinandA. A. R.Cockburn \u2018Carla: a rule language for specifying communications architectures\u2019 Technical Report CU\u2010CS\u2010742\u201394 Department of Computer Science University of Colorado Boulder September1994."},{"key":"e_1_2_1_21_2","doi-asserted-by":"crossref","unstructured":"W. V.Citrin \u2018Requirements for graphical front ends for visual languages\u2019 inProc. IEEE 1993 Workshop on Visual Languages Bergen Norway 1993. pp.142\u2013151.","DOI":"10.1109\/VL.1993.269590"},{"key":"e_1_2_1_22_2","volume-title":"Cut and Paste of Complex, Interrelated Objects","author":"Von K\u00c4Nel J.","year":"1992"},{"key":"e_1_2_1_23_2","doi-asserted-by":"crossref","unstructured":"W.Citrin D.BrodskyandJ.McWhirter \u2018Style\u2010based cut\u2010and\u2010paste in graphical editors\u2019 Proc. Workshop on Advanced Visual Interfaces Bari Italy 1994 pp.105\u2013112.","DOI":"10.1145\/192309.192331"},{"key":"e_1_2_1_24_2","doi-asserted-by":"publisher","DOI":"10.1145\/152535.152537"},{"key":"e_1_2_1_25_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-97005-4"}],"container-title":["Software: Practice and Experience"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fspe.4380251205","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/spe.4380251205","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T23:54:06Z","timestamp":1736639646000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/spe.4380251205"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,12]]},"references-count":24,"journal-issue":{"issue":"12","published-print":{"date-parts":[[1995,12]]}},"alternative-id":["10.1002\/spe.4380251205"],"URL":"https:\/\/doi.org\/10.1002\/spe.4380251205","archive":["Portico"],"relation":{},"ISSN":["0038-0644","1097-024X"],"issn-type":[{"value":"0038-0644","type":"print"},{"value":"1097-024X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,12]]}}}