{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:14:58Z","timestamp":1725538498793},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642044243"},{"type":"electronic","value":"9783642044250"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04425-0_31","type":"book-chapter","created":{"date-parts":[[2009,9,30]],"date-time":"2009-09-30T05:52:04Z","timestamp":1254289924000},"page":"393-407","source":"Crossref","is-referenced-by-count":19,"title":["Scalable Semantic Annotation Using Lattice-Based Ontologies"],"prefix":"10.1007","author":[{"given":"Man-Kit","family":"Leung","sequence":"first","affiliation":[]},{"given":"Thomas","family":"Mandl","sequence":"additional","affiliation":[]},{"given":"Edward A.","family":"Lee","sequence":"additional","affiliation":[]},{"given":"Elizabeth","family":"Latronico","sequence":"additional","affiliation":[]},{"given":"Charles","family":"Shelton","sequence":"additional","affiliation":[]},{"given":"Stavros","family":"Tripakis","sequence":"additional","affiliation":[]},{"given":"Ben","family":"Lickly","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"31_CR1","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1109\/JPROC.2002.805824","volume":"91","author":"G. Karsai","year":"2003","unstructured":"Karsai, G., Sztipanovits, J., Ledeczi, A., Bapty, T.: Model-integrated development of embedded software. Proceedings of the IEEE\u00a091(1), 145\u2013164 (2003)","journal-title":"Proceedings of the IEEE"},{"key":"31_CR2","volume-title":"Modeling Embedded Systems and SoCs - Concurrency and Time in Models of Computation","author":"A. Jantsch","year":"2003","unstructured":"Jantsch, A.: Modeling Embedded Systems and SoCs - Concurrency and Time in Models of Computation. Morgan Kaufmann, San Francisco (2003)"},{"key":"31_CR3","unstructured":"Lee, E.A.: Model-driven development - from object-oriented design to actor-oriented design. In: Workshop on Software Engineering for Embedded Systems: From Requirements to Implementation (The Monterey Workshop), Chicago (2003)"},{"issue":"3","key":"31_CR4","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1142\/S0218126603000751","volume":"12","author":"E.A. Lee","year":"2003","unstructured":"Lee, E.A., Neuendorffer, S., Wirthlin, M.J.: Actor-oriented design of embedded hardware and software systems. Journal of Circuits, Systems, and Computers\u00a012(3), 231\u2013260 (2003)","journal-title":"Journal of Circuits, Systems, and Computers"},{"issue":"2","key":"31_CR5","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1002\/sys.20046","volume":"9","author":"C. Bock","year":"2006","unstructured":"Bock, C.: SysML and UML 2 support for activity modeling. Syst. Eng.\u00a09(2), 160\u2013186 (2006)","journal-title":"Syst. Eng."},{"issue":"10","key":"31_CR6","doi-asserted-by":"publisher","first-page":"193","DOI":"10.5381\/jot.2004.3.10.r1","volume":"3","author":"J. Rumbaugh","year":"2004","unstructured":"Rumbaugh, J.: The unified modeling language reference manual, 2nd edn. Journal of Object Technology\u00a03(10), 193\u2013195 (2004)","journal-title":"Journal of Object Technology"},{"key":"31_CR7","unstructured":"OMG: System modeling language specification v1.1. Technical report, Object Management Group (2008)"},{"key":"31_CR8","unstructured":"Hardebolle, C., Boulanger, F.: Modhel\u2019x: A component-oriented approach to multi- formalism modeling. In: MODELS 2007 Workshop on Multi- Paradigm Modeling, Nashville, Tennessee, USA. Elsevier Science B.V (2007)"},{"key":"31_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/978-3-540-70930-5_9","volume-title":"Model-Driven Development of Reliable Automotive Services","author":"W. Pree","year":"2008","unstructured":"Pree, W., Templ, J.: Modeling with the timing definition language (tdl). In: Broy, M., Kr\u00fcger, I.H., Meisinger, M. (eds.) ASWSD 2006. LNCS, vol.\u00a04922, pp. 133\u2013144. Springer, Heidelberg (2008)"},{"key":"31_CR10","volume-title":"Design Automation Conference (DAC)","author":"F. Herrera","year":"2006","unstructured":"Herrera, F., Villar, E.: A framework for embedded system specification under different models of computation in SystemC. In: Design Automation Conference (DAC), San Francisco. ACM Press, New York (2006)"},{"issue":"1","key":"31_CR11","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1109\/TCAD.2003.819898","volume":"23","author":"I. Sander","year":"2004","unstructured":"Sander, I., Jantsch, A.: System modeling and transformational design refinement in ForSyDe. IEEE Transactions on Computer-Aided Design of Circuits and Systems\u00a023(1), 17\u201332 (2004)","journal-title":"IEEE Transactions on Computer-Aided Design of Circuits and Systems"},{"key":"31_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/3-540-45828-X_8","volume-title":"Embedded Software","author":"G. Goessler","year":"2002","unstructured":"Goessler, G., Sangiovanni-Vincentelli, A.: Compositional modeling in Metropolis. In: Sangiovanni-Vincentelli, A., Sifakis, J. (eds.) EMSOFT 2002. LNCS, vol.\u00a02491, pp. 93\u2013107. Springer, Heidelberg (2002)"},{"issue":"2","key":"31_CR13","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1109\/JPROC.2002.805829","volume":"91","author":"J. Eker","year":"2003","unstructured":"Eker, J., Janneck, J.W., Lee, E.A., Liu, J., Liu, X., Ludvig, J., Neuendorffer, S., Sachs, S., Xiong, Y.: Taming heterogeneity\u2014the Ptolemy approach. Proceedings of the IEEE\u00a091(2), 127\u2013144 (2003)","journal-title":"Proceedings of the IEEE"},{"key":"31_CR14","volume-title":"Principles of Object-Oriented Modeling and Simulation with Modelica 2.1","author":"P. Fritzson","year":"2003","unstructured":"Fritzson, P.: Principles of Object-Oriented Modeling and Simulation with Modelica 2.1. Wiley, Chichester (2003)"},{"issue":"3","key":"31_CR15","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1007\/s00165-004-0043-8","volume":"16","author":"E.A. Lee","year":"2004","unstructured":"Lee, E.A., Xiong, Y.: A behavioral type system and its application in Ptolemy II. Formal Aspects of Computing Journal\u00a016(3), 210\u2013237 (2004)","journal-title":"Formal Aspects of Computing Journal"},{"key":"31_CR16","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R. Milner","year":"1978","unstructured":"Milner, R.: A theory of type polymorphism in programming. Journal of Computer and System Sciences\u00a017, 348\u2013375 (1978)","journal-title":"Journal of Computer and System Sciences"},{"key":"31_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/3-540-61739-6_48","volume-title":"Static Analysis","author":"J. Rehof","year":"1996","unstructured":"Rehof, J., Mogensen, T.A.: Tractable constraints in finite semilattices. In: Cousot, R., Schmidt, D.A. (eds.) SAS 1996. LNCS, vol.\u00a01145, pp. 285\u2013300. Springer, Heidelberg (1996)"},{"key":"31_CR18","unstructured":"Xiong, Y.: An extensible type system for component-based design. Ph.D. Thesis Technical Memorandum UCB\/ERL M02\/13, University of California, Berkeley, CA 94720 (May 1, 2002)"},{"key":"31_CR19","volume-title":"Formal Concept Analysis: Mathematical Foundations","author":"B. Ganter","year":"1998","unstructured":"Ganter, B., Wille, R.: Formal Concept Analysis: Mathematical Foundations. Springer, Berlin (1998); Translated by C. Franzke"},{"key":"31_CR20","doi-asserted-by":"crossref","unstructured":"Bauer, H.: ACC Adaptive Cruise Control. Robert Bosch GmbH (2003)","DOI":"10.1007\/978-3-663-10553-4_34"},{"key":"31_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"712","DOI":"10.1007\/11896548_54","volume-title":"Current Trends in Database Technology \u2013 EDBT 2006","author":"S. Bowers","year":"2006","unstructured":"Bowers, S., Lud\u00e4scher, B.: A calculus for propagating semantic annotations through scientific workflow queries. In: Grust, T., H\u00f6pfner, H., Illarramendi, A., Jablonski, S., Mesiti, M., M\u00fcller, S., Patranjan, P.-L., Sattler, K.-U., Spiliopoulou, M., Wijsen, J. (eds.) EDBT 2006. LNCS, vol.\u00a04254, pp. 712\u2013723. Springer, Heidelberg (2006)"},{"key":"31_CR22","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1007\/BF01211077","volume":"7","author":"I.J. Hayes","year":"1995","unstructured":"Hayes, I.J., Mahony, B.P.: Using units of measurement in formal specifications. Formal Aspects of Computing Journal\u00a07, 329\u2013347 (1995)","journal-title":"Formal Aspects of Computing Journal"},{"key":"31_CR23","unstructured":"Brown, W.E.: Applied template meta-programming in SIunits: the library of unit-based computation. In: Workshop on C++ Template Programming, Tampa Bay, FL, USA (2001)"},{"key":"31_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1007\/11875567_27","volume-title":"Computer Safety, Reliability, and Security","author":"R. Schlick","year":"2006","unstructured":"Schlick, R., Herzner, W., Sergent, T.L.: Checking SCADE models for correct usage of physical units. In: G\u00f3rski, J. (ed.) SAFECOMP 2006. LNCS, vol.\u00a04166, pp. 358\u2013371. Springer, Heidelberg (2006)"}],"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-642-04425-0_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,26]],"date-time":"2023-05-26T19:46:07Z","timestamp":1685130367000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04425-0_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642044243","9783642044250"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04425-0_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}