Maria Spichkova
ABSTRACT
In many cases we need to represent on the same abstraction level not only system components but also processes within the system, and if for both representation different frameworks are used, the system model becomes hard to read and to understand. We suggest a solution how to cover this gap and to reconcile component and process views on system representation: a formal framework that gives the advantage of solving design problems for large-scale component systems.
- IEC 61499-1, "Function blocks - Part 1: Architecture," International Electrotechnical Commission, 2005.Google Scholar
- V. Vyatkin, "IEC 61499 as Enabler of Distributed and Intelligent Automation: State-of-the-Art Review," IEEE Trans. Industrial Informatics, vol. 7, no. 4, pp. 768--781, 2011.Google ScholarCross Ref
- W. Reisig, Petri nets: an introduction. Springer, 1985. Google ScholarDigital Library
- K. Salimifard and M. Wright, "Petri net-based modelling of workflow systems: An overview," European Journal of Operational Research, vol. 134, no. 3, pp. 664--676, 2001.Google ScholarCross Ref
- A. Cechich, M. Piattini, and A. Vallecillo, Eds., Component-Based Software Quality: Methods and Techniques, ser. LNCS. Springer, 2003, vol. 2693. Google ScholarDigital Library
- M. Broy, "Multifunctional software systems: Structured modeling and specification of functional requirements," Sci. Comput. Program., vol. 75, no. 12, pp. 1193--1214, 2010. Google ScholarDigital Library
- M. Broy, J. Fox, F. Hölzl, D. Koss, M. Kuhrmann, M. Meisinger, B. Penzenstadler, S. Rittmann, B. Schätz, M. Spichkova, and D. Wild, "Service-Oriented Modeling of CoCoME with Focus and AutoFocus," pp. 177--206, 2008. Google ScholarDigital Library
- L. Kapova, B. Buhnova, A. Martens, J. Happe, and R. Reussner, "State dependence in performance evaluation of component-based software systems," in Performance engineering. ACM, 2010, pp. 37--48. Google ScholarDigital Library
- A. Bertolino and R. Mirandola, "Cb-spe tool: Putting component-based performance engineering into practice," in Component-Based Software Engineering, ser. LNCS, I. Crnkovic, J. Stafford, H. Schmidt, and K. Wallnau, Eds., vol. 3054. Springer, 2004, pp. 233--248.Google Scholar
- E. Bondarev, P. de With, and M. Chaudron, "Predicting real-time properties of component-based applications," in In Proc. of the 30the EUROMICRO conference, 2004, pp. 40--47. Google ScholarDigital Library
- S. Becker, L. Grunske, R. Mirandola, and S. Overhage, "Performance prediction of component-based systems: A survey from an engineering perspective," in Architecting Systems with Trustworthy Components, ser. LNCS, vol. 3938. Springer, 2006, pp. 169--192. Google ScholarDigital Library
- I. J. G. Booch, J. Rumbaugh, Unified Modeling Language User Guide. Addison-Wesley Professional, 2005. Google ScholarDigital Library
- H. Störrle, "Semantics and verification of data flow in uml 2.0 activities," in ENTCS. Elsevier, 2004, pp. 35--52. Google ScholarDigital Library
- N. Kokash, C. Krause, and E. de Vink, "Reo + mCRL2: A framework for model-checking dataflow in service compositions," Formal Aspects Of Computing, vol. 24, no. 2, pp. 187--216, 2012. Google ScholarCross Ref
- W. van der Aalst and A. H. M. T. Hofstede, "YAWL: Yet Another Workflow Language," Information Systems, vol. 30, pp. 245--275, 2003. Google ScholarDigital Library
- H. Schmidt, I. Poernomo, and R. Reussner, "Trust-by-contract: Modelling, analysing and predicting behaviour of software architectures," J. Integr. Des. Process Sci., vol. 5, no. 3, pp. 25--51, Aug. 2001. Google ScholarDigital Library
- J. A. Bergstra, Handbook of Process Algebra, A. Ponse and S. A. Smolka, Eds. Elsevier Science Inc., 2001. Google ScholarDigital Library
- J. A. Bergstra and J. W. Klop, "Algebra of communicating processes with abstraction," Theor. Comput. Sci., vol. 37, pp. 77--121, 1985.Google ScholarCross Ref
- C. A. R. Hoare, "Communicating sequential processes," Commun. ACM, vol. 21, no. 8, pp. 666--677, Aug. 1978. Google ScholarDigital Library
- R. Milner, A Calculus of Communicating Systems, ser. LNCS. Springer, 1980, vol. 92. Google ScholarDigital Library
- G. H. Hilderink, "Graphical modelling language for specifying concurrency based on CSP," IEEE Software, vol. 150, pp. 108--120, 2003.Google ScholarCross Ref
- C. Leuxner, W. Sitou, and B. Spanfelner, "A formal model for work flows," in 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM), 2010, pp. 135--144. Google ScholarDigital Library
- M. Spichkova, "Design of formal languages and interfaces: "Formal" does not mean "unreadable"," in Emerging Research and Trends in Interactivity and the Human-Computer Interface, K. Blashki and P. Isaias, Eds. IGI Global, 2013, pp. 301--314.Google Scholar
- M. Spichkova, J. Blech, P. Herrmann, and H. Schmidt, "Modeling Spatial Aspects of Safety-Critical Systems with FocusST," 11th Workshop on Model Driven Engineering, Verification and Validation, 2014.Google Scholar
- M. Broy and K. Stølen, Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer, 2001. Google ScholarDigital Library
- F. Maraninchi and Y. Rémond, "Mode-automata: a new domain-specific construct for the development of safe critical systems," Sci. Comput. Program., vol. 46, no. 3, pp. 219--254, 2003. Google ScholarDigital Library
- M. Spichkova, "Focus on processes," TU München, Tech. Report TUM-I1115, 2011.Google Scholar
- M. Broy, "Compositional refinement of interactive systems," J. ACM, vol. 44, no. 6, pp. 850--891, 1997. Google ScholarDigital Library
- R. Gómez and H. Bowman, "Efficient detection of zeno runs in timed automata," in Proceedings of the 5th international conference on Formal modeling and analysis of timed systems. Springer, 2007, pp. 195--210. Google ScholarDigital Library
- M. Spichkova, "Human Factors of Formal Methods," in IADIS Interfaces and Human Computer Interaction (IHCI 2012), 2012.Google Scholar
- M. Spichkova, X. Zhu, and D. Mou, "Do we really need to write documentation for a system?" in International Conference on Model-Driven Engineering and Software Development, 2013.Google Scholar
- L. Lednicki, J. Carlson, and K. Sandström, "Model level worst-case execution time analysis for iec 61499," in 16th International Symposium on Component-based software engineering. ACM, 2013, pp. 169--178. Google ScholarDigital Library
- J. Fredriksson, T. Nolte, M. Nolin, and H. Schmidt, "Contract-based reusable worst-case execution time estimate," in Proceedings of the 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2007, pp. 39--46. Google ScholarDigital Library
Index Terms
- Reconciling a component and process view
Recommendations
Reconciling a Component and Process View
MISE '15: Proceedings of the 2015 IEEE/ACM 7th International Workshop on Modeling in Software EngineeringIn many cases we need to represent on the same abstraction level not only system components but also processes within the system, and if for both representation different frameworks are used, the system model becomes hard to read and to understand. We ...
Evolution Process Component Composition Based on Process Architecture
IITAW '08: Proceedings of the 2008 International Symposium on Intelligent Information Technology Application WorkshopsSoftware process reuse emphasizes to compose software processes from existing software process components. However, existing research does not provide a practical solution. According to the similarities between software products and software processes, ...
Evolution Process Component Description Language
MMIT '08: Proceedings of the 2008 International Conference on MultiMedia and Information TechnologySoftware evolution process reuse based on evolution process components is an intuitive vision. A process component not only supports software process reuse, but also effectively improves quality and efficiency of a software process. However, existing ...
Comments