publication . Preprint . 2013

Apricot - An Object-Oriented Modeling Language for Hybrid Systems

Fang, Huixing; Zhu, Huibiao; Shi, Jianqi;
Open Access English
  • Published: 24 Apr 2013
Abstract
We propose Apricot as an object-oriented language for modeling hybrid systems. The language combines the features in domain specific language and object-oriented language, that fills the gap between design and implementation, as a result, we put forward the modeling language with simple and distinct syntax, structure and semantics. In addition, we introduce the concept of design by convention into Apricot.As the characteristic of object-oriented and the component architecture in Apricot, we conclude that it is competent for modeling hybrid systems without losing scalability.
Subjects
free text keywords: Computer Science - Software Engineering, Computer Science - Logic in Computer Science, Computer Science - Systems and Control
Related Organizations
Download from
21 references, page 1 of 2

1. Alur, R., Courcoubetis, C., Henzinger, T., Ho, P.: Hybrid automata: An algorithmic approach to the specification and analysis of hybrid systems. In: Hybrid Systems, LNCS, vol. 736, pp. 209-229. Springer-Verlag (1993) [OpenAIRE]

2. Alur, R., Henzinger, T., Ho, P.: Automatic symbolic verification of embedded systems. IEEE Transactions on Software Engineering 22(3), 181-201 (1996)

3. America, P., de Bakker, J., Kok, J., Rutten, J.: Operational semantics of a parallel object-oriented language. In: Proceedings of POPL'86. pp. 194-208. ACM (1986) [OpenAIRE]

4. Apt, K., De Boer, F., Olderog, E., de Gouw, S.: Verification of object-oriented programs: a transformational approach. Journal of Computer and System Sciences (2011) [OpenAIRE]

5. Asarin, E., Dang, T., Maler, O.: The d/dt tool for verification of hybrid systems. In: Proceedings of CAV'02, LNCS, vol. 2404, pp. 365-370. Springer-Verlag (2002) [OpenAIRE]

6. Cuijpers, P.J.L., Reniers, M.A.: Hybrid process algebra. The Journal of Logic and Algebraic Programming 62(2), 191-245 (2005) [OpenAIRE]

7. Dorf, R.C., Bishop, R.H.: Modern Control Systems. Prentice Hall (2011) [OpenAIRE]

8. Fowler, M.: Domain-specific languages. Addison-Wesley Professional (2010)

9. Frehse, G.: Phaver: algorithmic verification of hybrid systems past hytech. International Journal on Software Tools for Technology Transfer 10(3), 263-279 (2008)

10. Frehse, G., Guernic, C.L., Donz´e, A., Cotton, S., Ray, R., Lebeltel, O., Ripado, R., Girard, A., Dang, T., Maler, O.: SpaceEx: Scalable verification of hybrid systems. In: Proceedings of CAV'11. LNCS, vol. 6806, pp. 379-395. Springer-Verlag (2011) [OpenAIRE]

11. Fritzson, P., Engelson, V.: Modelica - a unified object-oriented language for system modeling and simulation. In: Proceedings of ECOOP'98, LNCS, vol. 1445, pp. 67- 90. Springer-Verlag (1998) [OpenAIRE]

12. Gamma, E., Helm, R., Johnson, R.E., Vlissides, J.M.: Design patterns: Abstraction and reuse of object-oriented design. In: Proceedings of ECOOP'93. LNCS, vol. 707, pp. 406-431. Springer-Verlag (1993) [OpenAIRE]

13. He, J.: From csp to hybrid systems, a classical mind: essays in honour of car hoare (1994)

14. He, J., Li, X., Liu, Z.: rcos: A refinement calculus of object systems. Theoretical Computer Science 365(1), 109-142 (2006)

15. Henzinger, T., Ho, P., Wong-Toi, H.: Hytech: A model checker for hybrid systems. International Journal on Software Tools for Technology Transfer 1(1), 110-122 (1997)

21 references, page 1 of 2
Abstract
We propose Apricot as an object-oriented language for modeling hybrid systems. The language combines the features in domain specific language and object-oriented language, that fills the gap between design and implementation, as a result, we put forward the modeling language with simple and distinct syntax, structure and semantics. In addition, we introduce the concept of design by convention into Apricot.As the characteristic of object-oriented and the component architecture in Apricot, we conclude that it is competent for modeling hybrid systems without losing scalability.
Subjects
free text keywords: Computer Science - Software Engineering, Computer Science - Logic in Computer Science, Computer Science - Systems and Control
Related Organizations
Download from
21 references, page 1 of 2

1. Alur, R., Courcoubetis, C., Henzinger, T., Ho, P.: Hybrid automata: An algorithmic approach to the specification and analysis of hybrid systems. In: Hybrid Systems, LNCS, vol. 736, pp. 209-229. Springer-Verlag (1993) [OpenAIRE]

2. Alur, R., Henzinger, T., Ho, P.: Automatic symbolic verification of embedded systems. IEEE Transactions on Software Engineering 22(3), 181-201 (1996)

3. America, P., de Bakker, J., Kok, J., Rutten, J.: Operational semantics of a parallel object-oriented language. In: Proceedings of POPL'86. pp. 194-208. ACM (1986) [OpenAIRE]

4. Apt, K., De Boer, F., Olderog, E., de Gouw, S.: Verification of object-oriented programs: a transformational approach. Journal of Computer and System Sciences (2011) [OpenAIRE]

5. Asarin, E., Dang, T., Maler, O.: The d/dt tool for verification of hybrid systems. In: Proceedings of CAV'02, LNCS, vol. 2404, pp. 365-370. Springer-Verlag (2002) [OpenAIRE]

6. Cuijpers, P.J.L., Reniers, M.A.: Hybrid process algebra. The Journal of Logic and Algebraic Programming 62(2), 191-245 (2005) [OpenAIRE]

7. Dorf, R.C., Bishop, R.H.: Modern Control Systems. Prentice Hall (2011) [OpenAIRE]

8. Fowler, M.: Domain-specific languages. Addison-Wesley Professional (2010)

9. Frehse, G.: Phaver: algorithmic verification of hybrid systems past hytech. International Journal on Software Tools for Technology Transfer 10(3), 263-279 (2008)

10. Frehse, G., Guernic, C.L., Donz´e, A., Cotton, S., Ray, R., Lebeltel, O., Ripado, R., Girard, A., Dang, T., Maler, O.: SpaceEx: Scalable verification of hybrid systems. In: Proceedings of CAV'11. LNCS, vol. 6806, pp. 379-395. Springer-Verlag (2011) [OpenAIRE]

11. Fritzson, P., Engelson, V.: Modelica - a unified object-oriented language for system modeling and simulation. In: Proceedings of ECOOP'98, LNCS, vol. 1445, pp. 67- 90. Springer-Verlag (1998) [OpenAIRE]

12. Gamma, E., Helm, R., Johnson, R.E., Vlissides, J.M.: Design patterns: Abstraction and reuse of object-oriented design. In: Proceedings of ECOOP'93. LNCS, vol. 707, pp. 406-431. Springer-Verlag (1993) [OpenAIRE]

13. He, J.: From csp to hybrid systems, a classical mind: essays in honour of car hoare (1994)

14. He, J., Li, X., Liu, Z.: rcos: A refinement calculus of object systems. Theoretical Computer Science 365(1), 109-142 (2006)

15. Henzinger, T., Ho, P., Wong-Toi, H.: Hytech: A model checker for hybrid systems. International Journal on Software Tools for Technology Transfer 1(1), 110-122 (1997)

21 references, page 1 of 2
Any information missing or wrong?Report an Issue