A Model for Time-Awareness

  • Francesco Fiamberti
  • Daniela Micucci
  • Alessandro Morniroli
  • Francesco Tisato
Part of the Lecture Notes in Business Information Processing book series (LNBIP, volume 112)

Abstract

Time-aware activities are characterized by a set of time-related aspects, independently from the involved application domain. For example, an activity may need to reason on facts that are held to be true in specific time intervals, or it may need to be executed at precise time instants. In this paper we present a temporal model capturing these concepts and their relations. The model is described by means of an UML formalization, enriched with OCL constraints where needed. The model turns into a set of architectural abstractions that makes time-related concepts visible at the application level. This eases the analysis and implementation of time-aware systems and enables adaptivity so that temporal constraints may be dynamically met.

Keywords

time-aware activities time timeline clock UML 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Shaw, M., DeLine, R., Klein, D.V., Ross, T.L., Young, D.M., Zelesnik, G.: Abstractions for software architecture and tools to support them. IEEE Transactions on Software Engineering 21(4), 314–335 (1995)CrossRefGoogle Scholar
  2. 2.
    Kristensen, B.: Architectural abstractions and language mechanisms. In: Proceedings of the Software Engineering Conference, Asia-Pacific, pp. 288–299 (1996)Google Scholar
  3. 3.
    Garlan, D., Perry, D.: Introduction to the special issue on software architecture. IEEE Transactions on Software Engineering 21(4), 1–6 (1995)Google Scholar
  4. 4.
    Shaw, M., Garlan, D.: Software Architecture: Perspectives on an Emerging Discipline. Prentice Hall (1996)Google Scholar
  5. 5.
    Fiamberti, F., Micucci, D., Tisato, F.: An architecture for time-aware systems. In: 2011 IEEE 16th Conference on Emerging Technologies & Factory Automation (ETFA), pp. 1–4. IEEE (2011)Google Scholar
  6. 6.
    W3C: OWL 2 Web Ontology Language, http://www.w3.org/TR/owl2-overview/
  7. 7.
  8. 8.
    O’Connor, M.J., Das, A.K.: A Method for Representing and Querying Temporal Information in OWL. In: Fred, A., Filipe, J., Gamboa, H. (eds.) BIOSTEC 2010. CCIS, vol. 127, pp. 97–110. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  9. 9.
    Gutierrez, C., Hurtado, C.A., Vaisman, A.: Introducing time into RDF. IEEE Transactions on Knowledge and Data Engineering 19(2), 207–218 (2007)CrossRefGoogle Scholar
  10. 10.
    Tappolet, J., Bernstein, A.: Applied Temporal RDF: Efficient Temporal Querying of RDF Data with SPARQL. In: Aroyo, L., Traverso, P., Ciravegna, F., Cimiano, P., Heath, T., Hyvönen, E., Mizoguchi, R., Oren, E., Sabou, M., Simperl, E. (eds.) ESWC 2009. LNCS, vol. 5554, pp. 308–322. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  11. 11.
    Krieger, H.-U.: Where Temporal Description Logics Fail: Representing Temporally-Changing Relationships. In: Dengel, A.R., Berns, K., Breuel, T.M., Bomarius, F., Roth-Berghofer, T.R. (eds.) KI 2008. LNCS (LNAI), vol. 5243, pp. 249–257. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  12. 12.
    Hobbs, J.R., Pan, F.: An ontology of time for the semantic web. ACM Transactions on Asian Language Information Processing (TALIP) - Special Issue on Temporal Information Processing 3, 66–85 (2004)Google Scholar
  13. 13.
    W3C: Time Ontology in OWL, http://www.w3.org/TR/owl-time/
  14. 14.
    Lutz, C., Wolter, F., Zakharyashev, M.: Temporal description logics: A survey. In: 15th International Symposium on Temporal Representation and Reasoning (TIME 2008), pp. 3–14. IEEE (2008)Google Scholar
  15. 15.
    Buckl, C., Gaponova, I., Geisinger, M., Knoll, A., Lee, E.A.: Model-based specification of timing requirements. In: Proceedings of the Tenth ACM International Conference on Embedded Software, EMSOFT 2010, pp. 239–248. ACM, New York (2010)CrossRefGoogle Scholar
  16. 16.
    Zhao, Y., Liu, J., Lee, E.A.: A programming model for Time-Synchronized distributed Real-Time systems. In: 13th IEEE Real Time and Embedded Technology and Applications Symposium (RTAS 2007), pp. 259–268. IEEE (2007)Google Scholar
  17. 17.
    OMG: MARTE Modeling and Analysis of Real-Time and Embedded systemsGoogle Scholar
  18. 18.
    OMG: UML Profile for Schedulability, Performance, and TimeGoogle Scholar
  19. 19.
    Group, O.M.: OMG Unified Modeling LanguageTM (OMG UML), Superstructure, http://www.omg.org/spec/UML/2.4.1/
  20. 20.
    SAE: AADL Architecture Analysis and Design Language (2009)Google Scholar
  21. 21.
    de Niz, D.: Diagrams and Languages for Model-Based Software Engineering of Embedded Systems: UML and AADLGoogle Scholar
  22. 22.
    Henzinger, T., Horowitz, B., Kirsch, C.: Giotto: a time-triggered language for embedded programming. Proceedings of the IEEE 91(1), 84–99 (2003)CrossRefGoogle Scholar
  23. 23.
    Gamatié, A., Gautier, T., Guernic, P.L., Talpin, J.P.: Polychronous design of embedded real-time applications. ACM Trans. Softw. Eng. Methodol. 16(2) (2007)Google Scholar
  24. 24.
    Lopez, P., Medina, J., Drake, J.: Real-time modelling of distributed component-based applications. In: 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA 2006), pp. 92–99 (2006)Google Scholar
  25. 25.
    Group, O.M.: Object Constraint Language, http://www.omg.org/spec/OCL/2.3.1
  26. 26.
    Fiamberti, F., Micucci, D., Tisato, F.: An Object-Oriented Application Framework for the Development of Real-Time Systems. In: Furia, C.A., Nanz, S. (eds.) TOOLS 2012. LNCS, vol. 7304, pp. 75–90. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  27. 27.
    Taylor, R.N., Medvidovic, N., Dashofy, E.M.: Software Architecture: Foundations, Theory and Practice, 1st edn. Wiley (2009)Google Scholar
  28. 28.
    Bernini, D., Fiamberti, F., Micucci, D., Tisato, F.: Architectural Abstractions for Spaces-Based Communication in Smart Environments. Journal of Ambient Intelligence and Smart Environments, Thematic Issue A Software Engineering Perspective on Smart Applications for AmI (in Press)Google Scholar
  29. 29.
    Bernini, D., Micucci, D., Tisato, F.: A platform for interoperability via multiple spatial views in open smart spaces. In: The IEEE Symposium on Computers and Communications, Riccione, Italy, pp. 1047–1052 (2010)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Francesco Fiamberti
    • 1
  • Daniela Micucci
    • 1
  • Alessandro Morniroli
    • 1
  • Francesco Tisato
    • 1
  1. 1.University of Milano - BicoccaMilanItaly

Personalised recommendations