operating systems seminar · 2019-04-08 · syntactic composition is much easier and usually a...

Christine Jakobs

Concepts of Composition

Operating System Seminar - SS19

Operating Systems Seminar

Operating Systems Group, TU Chemnitz

http://osg.informatik.tu-chemnitz.de08.04.2019 • C. Jakobs

Preliminary Warning

▶ You can give your presentation and submit your written paper in German ▶ Nevertheless it is necessary to have good knowledge in English ▶ It is necessary to read …

• … a lot (it is a seminar :) )

• … original literature!

2

Concepts of CompositionOperating Systems Seminar


Composition

▶ Concept from Mathematics transferred to Computer Science ▶ Roughly speaking: How to combine parts into a whole ▶ For example:

• Combine different parts of a model into an integrated view

• Combine different software components into a program ▶ Different definitions and use cases in different areas of computer science ▶ For example:

• Navigating trough models and manipulating structures of model elements (France 2007)

• Integrate web services to create new value-added web services (Hamadi 2003)

• …

3


Goal of this seminar is to find an overall concept of composition


Solution strategy

▶ Understand the concept of composition in each area ▶ Abstract the information:

• How is composition defined?

• How is composition used?

• What are the means?

• How is the usage in comparison to other areas?

• …maybe more ▶ Map findings to an abstract definition

• Syntactic composition

• Semantic composition

• Property preserving

4


Map findings to a formal definition


(Maybe) a Formal Definition

▶ Following the applied form of model theory from Stachowiak, each model is ▶ Is a representation of the reality ▶ An abstraction of unnecessary information ▶ To answer a certain question

▶ Therefore, every area of interest is basically using models and languages to build them ▶ For examining their definition of composition we try to adapt a certain algebraic view: ▶ A modeling language M is a set of well-formed models m (each element is basically a model by itself) ▶ Each model gets a semantics by mapping the artifacts/concepts to a semantic domain D ▶ e.g. in programming languages each concept has a semantic meaning out of the semantic domain

▶ This mapping is a function sm: M -> D ▶ This mapping can be abstracted onto all systems S having this semantics = loose semantics ▶ e.g. Following constraints: 1. There is a class „Person“ 2. All of its instances have an attribute „name“

Then all systems following this two constraints have the same semantics

5


H. Stachowiak, Allgemeine Modelltheorie. Wien: Springer, 1973.

C. Herrmann, H. Krahn, B. Rumpe, M. Schindler, and S. Völkel, “An Algebraic View on the Semantics of Model Composition,” in Model Driven Architecture- Foundations and Applications, vol. 4530, D. H. Akehurst, R. Vogel, and R. F. Paige, Eds. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007, pp. 99–113.


(Maybe) a Formal Definition

▶ If we compose model elements/models we want to have consistent syntactics and semantics ▶ Syntactic composition is much easier and usually a solved problem ▶ Semantic composition is hard and may not in all areas be a solved problem

▶ Model composition takes two models as an input and has a composed model as output ▶ This may be property preserving on semantic level -> Semantic domain is preserved ▶ On one model ▶ On both models

▶ Composition may emerge semantic properties ▶ E.g. security properties may arise out of composition

6


C. Herrmann, H. Krahn, B. Rumpe, M. Schindler, and S. Völkel, “An Algebraic View on the Semantics of Model Composition,” in Model Driven Architecture- Foundations and Applications, vol. 4530, D. H. Akehurst, R. Vogel, and R. F. Paige, Eds. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007, pp. 99–113.


What to do in the seminar?

7

▶ Decide for one area of interest:

• Model composition

• Service composition (SOA, Web services)

• Aspect oriented modeling

• Architectural level

• Model simulation

• OOP

• Databases ▶ Or one of the overall topics

• Base Object Model Specification

• Meta Object Facility (MOF) ▶ Read through the paper(s) provided ▶ Find other papers

• Related work section

• Google Scholar (try to find newer papers)

• Digg deeply and do not give up

• … ▶ Proceed with the solution strategy



Administrative Stuff

▶ Decide for a topic (2 weeks time, Scheduling Policy is FCFS) ▶ Write me an e-mail with your decision

• Topic

• Your details (Name, Matriculation number, course of study)

• Type of seminar (Pro-, Haupt-, Forschungsseminar) ▶ Start with your work

• See hints on the other slides ▶ Supervision must be claimed…

• Arrange meetings

• At least 1 time before your presentation ▶ Presentation (before exam period) ▶ Written paper (till end of semester)

▶ If you do not want to proceed with your seminar, please write me an e-mail!

8



Good luck!

9



Literature▶ Composability in general:

▶ A. W. Brown and K. C. Wallnau, “The current state of CBSE,” IEEE Softw., vol. 15, no. 5, pp. 37–46, Sep. 1998.▶ P. K. McKinley, S. M. Sadjadi, E. P. Kasten, and B. H. C. Cheng, “A Taxonomy of compositional Adaption,” p. 48, 2004.

▶ Aspect oriented modeling:▶ F. Fleurey, B. Baudry, R. France, and S. Ghosh, “A Generic Approach for Automatic Model Composition,” in Models in Software Engineering, vol. 5002, H. Giese, Ed. Berlin, Heidelberg:

Springer Berlin Heidelberg, 2008, pp. 7–15.▶ R. France, F. Fleurey, R. Reddy, B. Baudry, and S. Ghosh, “Providing Support for Model Composition in Metamodels,” in 11th IEEE International Enterprise Distributed Object Computing

Conference (EDOC 2007), 2007, pp. 253–253.▶ R. Reddy, R. France, F. Fleurey, and B. Baudry, “Model Composition - A Signature-Based Approach,” 2005, p. 7.

▶ Architectural level:▶ G. Wang and H. A. Mac Lean, “Architectural Components and Object-Oriented Implementations,” presented at the 1998 International Workshop on Component-Based Software Engineering

(ICSE), 1998.▶ M. Werner, J. Richling, N. Milanovic, and V. Stantchev, “Composability Concept for Dependable Embedded Systems,” in Proceedings of the International Workshop on Dependable Embedded

Systems in conjuction with SRDS 2003, 2003, p. 5.

▶ Composition of software components:▶ F. Barbier, “Composability for software components: an approach based on the Whole-Part theory,” in Eighth IEEE International Conference on Engineering of Complex Computer Systems,

2002. Proceedings., Greenbelt, MD, USA, 2002, pp. 101–106.▶ R. G. Bartholet, D. C. Brogan, P. F. Reynolds, and J. C. Carnahan, “In Search of the Philosopher’s Stone: Simulation Composability Versus Component-Based Software Design,” p. 12, 2004.▶ A. W. Brown and K. C. Wallnau, “The current state of CBSE,” IEEE Softw., vol. 15, no. 5, pp. 37–46, Sep. 1998.▶ D. Isovic and C. Norström, “Components in Real-Time Systems,” p. 12, 2002.▶ G. Wang and H. A. Mac Lean, “Architectural Components and Object-Oriented Implementations,” presented at the 1998 International Workshop on Component-Based Software Engineering

(ICSE), 1998.▶ G. Wang, L. Ungar, and D. Klawitter, “A framework supporting component assembly for distributed systems,” in Proceedings Second International Enterprise Distributed Object Computing

(Cat. No.98EX244), 1998, pp. 136–146.

▶ Model composition :▶ R. Hamadi and B. Benatallah, “A Petri Net-based Model for Web Service Composition,” in Proceedings of the 14th Australasian Database Conference - Volume 17, Darlinghurst, Australia,

Australia, 2003, pp. 191–200.▶ D. S. Kolovos, R. F. Paige, and F. A. C. Polack, “Model Comparison: A Foundation for Model Composition and Model Transformation Testing,” in Proceedings of the 2006 International

Workshop on Global Integrated Model Management, New York, NY, USA, 2006, pp. 13–20.▶ K. Richter, D. Ziegenbein, M. Jersak, and R. Ernst, “Model Composition for Scheduling Analysis in Platform Design,” in Proceedings of the 39th Annual Design Automation Conference, New

York, NY, USA, 2002, pp. 287–292.

10



Literature II▶ Modelling and Simulation:

▶ R. G. Bartholet, D. C. Brogan, P. F. Reynolds, and J. C. Carnahan, “In Search of the Philosopher’s Stone: Simulation Composability Versus Component-Based Software Design,” p. 12, 2004.▶ F. Moradi, P. Nordvaller, and R. Ayani, “Simulation Model Composition using BOMs,” in 2006 Tenth IEEE International Symposium on Distributed Simulation and Real-Time Applications,

Terremolinos, 2006, pp. 242–252.▶ M. D. Petty, E. W. Weisel, V. Modeling, and N. Va, “A Formal Basis for a Theory of Semantic Composability,” p. 8, 2003.▶ M. D. Petty and E. W. Weisel, “A composability lexicon,” in Proceedings of the Spring 2003 Simulation Interoperability Workshop, 2003, pp. 181–187.▶ M. Spiegel, P. F. Reynolds, and D. C. Brogan, “A Case Study of Model Context for Simulation Composability and Reusability,” in Proceedings of the Winter Simulation Conference, 2005.,

Orlando, FL. USA, 2005, pp. 437–444.▶ C. Szabo and Y. M. Teo, “On Syntactic Composability and Model Reuse,” in First Asia International Conference on Modelling Simulation (AMS’07), 2007, pp. 230–237.

▶ OOP:▶ L. M. J. Bergmanns, “Composability: Why, What, and How?,” in Workshop on Composability Issues in Object-Orientation — Tenth European Conference on Object-Oriented Programming,

Linz, Austria, 1996.▶ P. Molin, “Verifying framework-based applications by conformance and composability constraints,” Research Report 18, Research Report 18, 1996.▶ B. Tekinerdogan, “A Meta-Model for composition techniques in object-oriented software development,” in Composability Issues in Object-oriented Software Development Workshop,

ECOOP’96, 1996.▶ Services (mixed SOA and Web Services):

▶ I. Estevez-Ayres, P. Basanta-Val, M. Garcia-Valls, J. A. Fisteus, and L. Almeida, “QoS-Aware Real-Time Composition Algorithms for Service-Based Applications,” IEEE Trans. Ind. Inform., vol. 5, no. 3, pp. 278–288, Aug. 2009.

▶ R. Hamadi and B. Benatallah, “A Petri Net-based Model for Web Service Composition,” in Proceedings of the 14th Australasian Database Conference - Volume 17, Darlinghurst, Australia, Australia, 2003, pp. 191–200.

▶ H. Moussa, T. Gao, I.-L. Yen, F. Bastani, and J.-J. Jeng, “Toward effective service composition for real-time SOA-based systems,” SOCA, vol. 4, no. 1, pp. 17–31, Mar. 2010.▶ J. Rao and X. Su, “A Survey of Automated Web Service Composition Methods,” in Semantic Web Services and Web Process Composition, Berlin, Heidelberg, 2005, pp. 43–54.▶ A. Tolk, “What Comes After the Semantic Web - PADS Implications for the Dynamic Web,” in 20th Workshop on Principles of Advanced and Distributed Simulation (PADS’06), Singapore,

2006, pp. 55–55.

11


operating systems seminar · 2019-04-08 · syntactic composition is much easier and usually a...

Documents