Scalable semantic annotation using lattice-based ontologies

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5795 LNCS, Issue , 2009, Pages 393-407

  Leung, Man Kit ^a   Mandl, Thomas ^b   Lee, Edward A ^a   Latronico, Elizabeth ^b   Shelton, Charles ^b   Tripakis, Stavros ^a   Lickly, Ben ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b ROBERT BOSCH GMBH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ACCEPTANCE CRITERIA; ADAPTIVE CRUISE CONTROL SYSTEMS; AUTOMATED METHODS; CONSISTENCY CHECKING; DESIGN PROCESS; MANUAL ANNOTATION; MODELING ELEMENTS; MODELING ERRORS; NON-TRIVIAL; PTOLEMY II; SEMANTIC ANNOTATIONS; SEMANTIC CONCEPT; SEMANTIC INFORMATION; SEMANTIC PROPERTIES; TYPE SYSTEMS;

COMPUTER CONTROL; LINGUISTICS; MODELS; ONTOLOGY; SEMANTICS;

ADAPTIVE CONTROL SYSTEMS;

EID: 77249176767     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04425-0_31     Document Type: Conference Paper

References (24)

1. Karsai, G., Sztipanovits, J., Ledeczi, A., Bapty, T.: Model-integrated development of embedded software. Proceedings of the IEEE 91(1), 145-164 (2003)
2. Jantsch, A.: Modeling Embedded Systems and SoCs - Concurrency and Time in Models of Computation. Morgan Kaufmann, San Francisco (2003)
3. Lee, E.A.: Model-driven development - from object-oriented design to actororiented design. In: Workshop on Software Engineering for Embedded Systems: From Requirements to Implementation (The Monterey Workshop), Chicago (2003)
4. Lee, E.A., Neuendorffer, S., Wirthlin, M.J.: Actor-oriented design of embedded hardware and software systems. Journal of Circuits, Systems, and Computers 12(3), 231-260 (2003)
5. Bock, C.: SysML and UML 2 support for activity modeling. Syst. Eng. 9(2), 160-186 (2006)
6. Rumbaugh, J.: The unified modeling language reference manual, 2nd edn. Journal of Object Technology 3(10), 193-195 (2004)
7. OMG: System modeling language specification vl.1. Technical report, Object Management Group (2008)
8. Hardebolle, C., Boulanger, F.: Modhel'x: A component-oriented approach to multiformalism modeling. In: MODELS 2007 Workshop on Multi- Paradigm Modeling, Nashville, Tennessee, USA. Elsevier Science B.V (2007)
9. Pree, W., Templ, J.: Modeling with the timing definition language (tdl). In: Broy, M., Krüger, I.H., Meisinger, M. (eds.) ASWSD 2006. LNCS, vol. 4922, pp. 133-144. Springer, Heidelberg (2008)
10. 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)
11. Sander, I., Jantsch, A.: System modeling and transformational design refinement in ForSyDe. IEEE Transactions on Computer-Aided Design of Circuits and Systems 23(1), 17-32 (2004)
12. Goessler, G., Sangiovanni-Vincentelli, A.: Compositional modeling in Metropolis. In: Sangiovanni-Vincentelli, A., Sifakis, J. (eds.) EMSOFT 2002. LNCS, vol. 2491, pp. 93-107. Springer, Heidelberg (2002)
13. Eker, J., Janneck, J.W., Lee, E.A., Liu, J., Liu, X., Ludvig, J., Neuendorffer, S., Sachs, S., Xiong, Y.: Taming heterogeneity-the Ptolemy approach. Proceedings of the IEEE 91(2), 127-144 (2003)
14. Fritzson, P.: Principles of Object-Oriented Modeling and Simulation with Modelica 2.1. Wiley, Chichester (2003)
15. Lee, E.A., Xiong, Y.: A behavioral type system and its application in Ptolemy II. Formal Aspects of Computing Journal 16(3), 210-237 (2004)
16. Milner, R.: A theory of type polymorphism in programming. Journal of Computer and System Sciences 17, 348-375 (1978)
17. Rehof, J., Mogensen, T.A.: Tractable constraints in finite semilattices. In: Cousot, R., Schmidt, D.A. (eds.) SAS 1996. LNCS, vol. 1145, pp. 285-300. Springer, Heidelberg (1996)
18. 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)
19. Ganter, B., Wille, R.: Formal Concept Analysis: Mathematical Foundations. Springer, Berlin (1998); Translated by C. Franzke
20. Bauer, H.: ACC Adaptive Cruise Control. Robert Bosch GmbH (2003)
21. Bowers, S., Ludäscher, B.: A calculus for propagating semantic annotations through scientific workflow queries. In: Grust, T., Höpfner, H., Illarramendi, A., Jablonski, S., Mesiti, M., Müller, S., Patranjan, P.-L., Sattler, K.-U., Spiliopoulou, M., Wijsen, J. (eds.) EDBT 2006. LNCS, vol. 4254, pp. 712-723. Springer, Heidelberg (2006)
22. Hayes, I.J., Mahony, B.P.: Using units of measurement in formal specifications. Formal Aspects of Computing Journal 7, 329-347 (1995)
23. Brown, W.E.: Applied template meta-programming in SIunits: the library of unitbased computation. In: Workshop on C++ Template Programming, Tampa Bay, FL, USA (2001)
24. Schlick, R., Herzner, W., Sergent, T.L.: Checking SCADE models for correct usage of physical units. In: Górski, J. (ed.) SAFECOMP 2006. LNCS, vol. 4166, pp. 358-371. Springer, Heidelberg (2006)