Towards Usable Generation and Enforcement of Trust Evidence from Programmers’ Intent
Programmers develop code with a sense of purpose and with expectations on how units of code should interact with other units of code. But this intent of programmers is typically implicit and undocumented, goes beyond considerations of functional correctness, and may depend on trust assumptions that programmers make. At present, neither programming languages nor development environments offer a means of articulating such intent in a manner that could be used for controlling whether software executions meet such intentions and their associated expectations. We here study how extant research on trust can inform approaches to articulating programmers’ intent so that it may help with creating trust evidence for more trustworthy interaction of software units.
KeywordsComposition Operator Usable Generation Java Modeling Language Trust Mechanic Method Invocation
Unable to display preview. Download preview PDF.
- 1.Agha, G.A.: ACTORS - a model of concurrent computation in distributed systems. MIT Press series in artificial intelligence. MIT Press (1990)Google Scholar
- 3.Giddens, A.: The Consequences of Modernity. Polity, Cambridge (1990)Google Scholar
- 4.Handy, C.: Trust and the virtual organization. Harvard Business Review 73(3), 40–50 (1995)Google Scholar
- 7.Leavens, G.T., Cheon, Y., Clifton, C., Ruby, C., Cok, D.R.: How the design of JML accommodates both runtime assertion checking and formal verification. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol. 2852, pp. 262–284. Springer, Heidelberg (2003)CrossRefGoogle Scholar
- 8.Mayer, R., Davis, J., Schoorman, F.D.: An integrative model of organizational trust. Academy of Management Review 20(3), 709–734 (1995)Google Scholar
- 9.Moses, T.: eXtensible Access Control Markup Language (XACML) Version 2.0. OASIS Standards Committee (February 2005)Google Scholar
- 10.Nielson, F., Nielson, H.R., Hankin, C.: Principles of program analysis (2. corr. print). Springer (2005)Google Scholar
- 12.Schneier, B.: Lairs and Outliers: Enabling the Trust and Society Needs to Thrive. John Wiley & Sons (2012)Google Scholar