Skip to main content

2016 | OriginalPaper | Buchkapitel

Can Situations Help with Reusability of Software?

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Software reusability is an important concept, as well as a powerful tool, to achieve modular solutions in the design and implementation of modern software systems. There is a wide array of research studies conducted in this area ranging from conceptual level to software construction level. Despite all these good pieces of work, software engineers still need to face the complications that strictly separate design time activities from those carried out at software construction time, to shift their mental gear between high level specification properties and low level implementation details. To bridge this gap, we propose a unified approach to facilitate software reuse. We seek to carry out this enterprise surrounding an abstraction, namely Situation. More specifically, we have created a computing environment and, under its runtime support, a functional programming language called \(Situ^f\) in which domain experts can capture the features of a software system in terms of functional expressions. For each \(Situ^f\) program, declarations and functional expressions provide essential definitions of Situations. Some language constructs of \(Situ^f\), such as the import and include directives, are designed to make it easier to compose new software features by reusing existing ones.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
1
Figure 4 is such an environment.
 
3
<prog_url> denotes a program url which takes the form of server_IP_address:serverside_absolute_directory. For programs on your local machine, simply use 255.255.255.255; .
 
4
the data type declared in Program 1 (Fig. 2.) .
 
5
For more background information on namespace mechanism of XML schema, please consult [22].
 
Literatur
1.
Zurück zum Zitat Backus, J.: Can programming be liberated from the von neumann style? a functional style and its algebra of programs. Commun. ACM 21(8), 613–641 (1978)MathSciNetCrossRefMATH Backus, J.: Can programming be liberated from the von neumann style? a functional style and its algebra of programs. Commun. ACM 21(8), 613–641 (1978)MathSciNetCrossRefMATH
2.
Zurück zum Zitat Barwise, J.: The Situation in Logic. Center for the Study of Langauge and Information. Stanford University, Stanford (1989)MATH Barwise, J.: The Situation in Logic. Center for the Study of Langauge and Information. Stanford University, Stanford (1989)MATH
3.
Zurück zum Zitat Barwise, J., Perry, J.: Situations and Attitudes. MIT Press, New York (1983)MATH Barwise, J., Perry, J.: Situations and Attitudes. MIT Press, New York (1983)MATH
4.
Zurück zum Zitat Barwise, J., Seligman, J.: Information Flow: The Logic of Distributed Systems. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge (1997)CrossRefMATH Barwise, J., Seligman, J.: Information Flow: The Logic of Distributed Systems. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge (1997)CrossRefMATH
5.
Zurück zum Zitat Chang, C.K., Jiang, H., Ming, H., Oyama, K.: Situ: a situation-theoretic approach to context-aware service evolution. IEEE Trans. Serv. Comput. 2(3), 261–275 (2009)CrossRef Chang, C.K., Jiang, H., Ming, H., Oyama, K.: Situ: a situation-theoretic approach to context-aware service evolution. IEEE Trans. Serv. Comput. 2(3), 261–275 (2009)CrossRef
6.
Zurück zum Zitat Dean, J., Ghemawat, S.: Mapreduce: simplified data processing on large clusters. In: OSDI, p. 1 (2004) Dean, J., Ghemawat, S.: Mapreduce: simplified data processing on large clusters. In: OSDI, p. 1 (2004)
7.
Zurück zum Zitat Dijkstra, E.W.: On the role of scientific thought. Selected Writings on Computing: A Personal Perspective. Texts and Monographs in Computer Science, pp. 60–66. Springer, New York (1982)CrossRef Dijkstra, E.W.: On the role of scientific thought. Selected Writings on Computing: A Personal Perspective. Texts and Monographs in Computer Science, pp. 60–66. Springer, New York (1982)CrossRef
8.
Zurück zum Zitat Endsley, M.R.: Toward a theory of situation awareness in dynamic systems. Hum. Factors 37(1), 32–64 (1995)CrossRef Endsley, M.R.: Toward a theory of situation awareness in dynamic systems. Hum. Factors 37(1), 32–64 (1995)CrossRef
9.
Zurück zum Zitat Frakes, W.B., Kang, K.: Software reuse research: status and future. IEEE Trans. Softw. Eng. 7, 529–536 (2005)CrossRef Frakes, W.B., Kang, K.: Software reuse research: status and future. IEEE Trans. Softw. Eng. 7, 529–536 (2005)CrossRef
11.
Zurück zum Zitat Liskov, B., Guttag, J.: Abstraction and Specification in Program Development. MIT press, Cambridge (1986)MATH Liskov, B., Guttag, J.: Abstraction and Specification in Program Development. MIT press, Cambridge (1986)MATH
12.
Zurück zum Zitat Liskov, B., Guttag, J.: Program Development in JAVA: Abstraction, Specification, and Object-oriented Design. Pearson Education, New York (2000)MATH Liskov, B., Guttag, J.: Program Development in JAVA: Abstraction, Specification, and Object-oriented Design. Pearson Education, New York (2000)MATH
13.
Zurück zum Zitat Liskov, B., Snyder, A., Atkinson, R., Schaffert, C.: Abstraction mechanisms in clu. Commun. ACM 20(8), 564–576 (1977)CrossRefMATH Liskov, B., Snyder, A., Atkinson, R., Schaffert, C.: Abstraction mechanisms in clu. Commun. ACM 20(8), 564–576 (1977)CrossRefMATH
14.
Zurück zum Zitat Liskov, B.H., Zilles, S.: Specification techniques for data abstractions. IEEE Trans. Softw. Eng. 1, 7–19 (1975)CrossRef Liskov, B.H., Zilles, S.: Specification techniques for data abstractions. IEEE Trans. Softw. Eng. 1, 7–19 (1975)CrossRef
15.
Zurück zum Zitat Ming, H.: Situf: a domain specific language and a first step towards the realization of situ framework. PhD Dissertation. Iowa State University. ProQuest Dissertations & Theses Global. UMI 3539397 (2012) Ming, H.: Situf: a domain specific language and a first step towards the realization of situ framework. PhD Dissertation. Iowa State University. ProQuest Dissertations & Theses Global. UMI 3539397 (2012)
16.
Zurück zum Zitat Ming, H., Chang, C.K., Yang, J.: Dimensional situation analytics: from data towisdom. In: 2015 IEEE 39th Annual Computer Software and Applications Conference (COMPSAC), vol. 1, pp. 50–59. IEEE (2015) Ming, H., Chang, C.K., Yang, J.: Dimensional situation analytics: from data towisdom. In: 2015 IEEE 39th Annual Computer Software and Applications Conference (COMPSAC), vol. 1, pp. 50–59. IEEE (2015)
17.
Zurück zum Zitat Ming, H., Chang, C., Oyama, K., i Yang, H.: Reasoning about human intention change for individualized runtime software service evolution. In: 2010 IEEE 34th Annual Computer Software and Applications Conference (COMPSAC), pp. 289–296, July 2010 Ming, H., Chang, C., Oyama, K., i Yang, H.: Reasoning about human intention change for individualized runtime software service evolution. In: 2010 IEEE 34th Annual Computer Software and Applications Conference (COMPSAC), pp. 289–296, July 2010
18.
Zurück zum Zitat Ming, H., Oyama, K., Chang, C.: Human-intention driven self adaptive software evolvability in distributed service environments. In: 12th IEEE International Workshop on Future Trends of Distributed Computing Systems 2008, FTDCS 2008, pp. 51–57, October 2008 Ming, H., Oyama, K., Chang, C.: Human-intention driven self adaptive software evolvability in distributed service environments. In: 12th IEEE International Workshop on Future Trends of Distributed Computing Systems 2008, FTDCS 2008, pp. 51–57, October 2008
19.
Zurück zum Zitat Morisio, M., Ezran, M., Tully, C.: Success and failure factors in software reuse. IEEE Trans. Softw. Eng. 28(4), 340–357 (2002)CrossRefMATH Morisio, M., Ezran, M., Tully, C.: Success and failure factors in software reuse. IEEE Trans. Softw. Eng. 28(4), 340–357 (2002)CrossRefMATH
20.
Zurück zum Zitat Parnas, D.L.: On the criteria to be used in decomposing systems into modules. Commun. ACM 15(12), 1053–1058 (1972)CrossRef Parnas, D.L.: On the criteria to be used in decomposing systems into modules. Commun. ACM 15(12), 1053–1058 (1972)CrossRef
21.
Zurück zum Zitat Reiter, R.: The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression. Artif. Intell. Math. Theor. Comput.: Papers in Honor of John McCarthy 27, 359–380 (1991)MathSciNetCrossRefMATH Reiter, R.: The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression. Artif. Intell. Math. Theor. Comput.: Papers in Honor of John McCarthy 27, 359–380 (1991)MathSciNetCrossRefMATH
Metadaten
Titel
Can Situations Help with Reusability of Software?
verfasst von
Hua Ming
Carl K. Chang
Copyright-Jahr
2016
DOI
https://doi.org/10.1007/978-3-319-39510-4_55