The Formalism and Language Tools for Semantics Specification of Software Libraries
https://doi.org/10.18255/1818-1015-2016-6-754-766
Abstract
The paper is dedicated to the specification of the structure and the behaviour of soft-ware libraries. It describes the existing problems of libraries specifications. A brief overview of the research field concerned with formalizing the specification of libraries and library functions is presented. The requirements imposed on the formalism designed are established; the formalism based on these requirements allows specifying all the properties of the libraries needed for automation of several classes of problems: defects detection in the software, migration of applications into a new environment, gen-eration of software documentation. The requirements on the language tools based on the developed formalism are proposed. The conclusion defines potential directions for further research.
About the Author
V. M. Itsykson
Peter the Great St. Petersburg Polytechnic University
Russian Federation
Russian Federation
PhD, 29 Polytechnicheskaya str., Saint-Petersburg 195251, Russia
References
1. Lamb D., “IDL: sharing intermediate representations”, ACM Trans. Program. Lang. Syst, 9:3 (1987), 297–318.
2. Exton C., Watkins D., Thompson D., “Comparisons between CORBA IDL and COM/DCOM MIDL: Interfaces for Distributed Computing”, Proceedings of the Technology of Object- Oriented Languages and Systems – Tools-25 (TOOLS ’97), IEEE Computer Society, Washington, DC, USA, 1997, 15–23.
3. Sankar S., Hayes R., “ADL—an interface definition language for specifying and testing software”, SIGPLAN, 29:8 (1994), 13–21.
4. Allen R., Garlan D., “Formalizing architectural connection”, Proceedings of the 16th international conference on Software engineering (ICSE ’94), IEEE Computer Society Press, Los Alamitos, CA, USA, 1994, 71–80.
5. Hoar C.A.R., Communicating sequential processes, Mir, Moscow, 1989, (in Russian).
6. Roscoe A.W., “Modelling and verifying key-exchange protocols using CSP and FDR”, Proceedings of 1995 IEEE Computer Security Foundations Workshop, IEEE Computer Society Press, 1995.
7. de Alfaro L, Henzinger T., “Interface automata”, Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering (ESEC/FSE-9), ACM, New York, NY, USA, 2001, 109–120.
8. Ramanathan M., Grama A., Jagannathan S., “Static specification inference using predicate mining”, Proceedings of the 28th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI ’07), ACM, New York, USA, 2007, 123–134.
9. Sankaranarayanan S.,Ivancic F.,Gupta A., “Mining library specifications using inductive logic programming”, Proceedings of the 30th international conference on Software engineering (ICSE ’08), ACM, New York, USA, 2008, 131–140.
10. Ball T., Rajamani S.K., SLIC: a Specication Language for Interface Checking (of C), Microsoft Research, Technical Report, MSR-TR-2001-21, 2002.
11. Leavens G.T., “The future of library specification”, Proceedings of the FSE/SDP workshop on Future of software engineering research (FoSER ’10), ACM, New York, USA, 2010, 211–216.
12. Itsykson V.M., Zozulya A.V., “The formalism for description of the partial specifications of program envinroment components”, St. Petersburg State Polytechnical University Journal. Computer Science. Telecommunication and Control Systems, 4 (2011), 81–90, (in Russian).
13. Itsykson V.M., Glukhikh M.I., “A program component behavior specification language”, St. Petersburg State Polytechnical University Journal. Computer Science. Telecommunication and Control Systems, 3 (2010), 63–71, (in Russian).
14. Akhin M.Kh., Belyaev M.A., Itsykson V.M., “Software defect detection by combining bounded model checking and approximations of functions”, Automatic Control and Computer Sciences, 48:7 (2014), 389–397.
15. Itsykson V., etc, “Automatic defects detection in industrial C/C++ software”, Proceeding of 5th Central and Eastern European Software Engineering Conference in Russia (CEE- SECR), IEEE, 2009, 50–55.
16. Itsykson V.M., Zozulya A.V., “Automated Program Transformation for Migration to New Libraries”, Software Engineering, 6 (2012), 8–14, (in Russian).
17. Kirchner F., etc, “Frama-C: A software analysis perspective”, Formal Aspects of Computing, 27:3 (2015), 5733609.
Review
For citations:
Itsykson V.M. The Formalism and Language Tools for Semantics Specification of Software Libraries. Modeling and Analysis of Information Systems. 2016;23(6):754-766. (In Russ.) https://doi.org/10.18255/1818-1015-2016-6-754-766
Views:
977
Email this article 