Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Bücher
Zeitschriften
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
MTZ-Fachkongress

Antriebe und Energiesysteme von morgen


Austausch von Automobil- und Energiewirtschaft

Am 14./15. Mai geht es in Chemnitz um die Mobilitätswende durch Elektro- und Wasserstofffahrzeuge.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
What We Say We Want and What We Really Need: Experiences on the Barriers to Communicate Information System Needs Kapitel lesen Erstes Kapitel lesen

2017 | OriginalPaper | Buchkapitel

6. Formal Modeling of Enterprise Cloud Bus System: A High Level Petri-Net Based Approach

verfasst von : Gitosree Khan, Sabnam Sengupta, Anirban Sarkar

Erschienen in: Requirements Engineering for Service and Cloud Computing

Verlag: Springer International Publishing

Einloggen

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

search-config
loading …

Abstract

The chapter focuses on an abstraction layer of SaaS architecture for multi-agent-based inter-cloud environment, called Enterprise Cloud Bus System (ECBS) to conceptualize the different behavioral facets of such system in service and cloud computing paradigm. The model is formalized using a set of high level Petri-net-based formal constructs called High Level Enterprise Cloud Bus Petri-net (HECBP) with varieties of relationship types among participation cloud bus components. It is accompanied with a rich set of Petri-net graphical notations and those are used to specify the effective toward modeling interactions among the heterogeneous agent present within the cloud bus of ECBS at conceptual level design of multi cloud system. The approach facilitates to analyze the behavioral features of inter-cloud architecture and modeled its dynamics at the conceptual level. The HECBP is also able to ensure correctness and performance of the system at design time by focusing on meeting the increasing demands for distributed software as a service and making the system functionality more scalable, configurable, and shareable. This chapter includes modeling of several behavioral facets like, fairness, boundedness, liveliness, safeness, etc., in a dead lock-free way. Moreover, this chapter provides a discussion on state-space analysis study, which further validates the theoretical analysis of HECBP model and future research scope in this area.

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!

Jetzt informieren

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!

Jetzt informieren

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!

Jetzt informieren
Vorheriges Kapitel The Requirements Elicitation Approaches for Software-Defined Cloud Environments
Nächstes Kapitel Requirements to Services: A Model to Automate Service Discovery and Dynamic Choreography from Service Version Database
Literatur
1.
Alexandros, K., Aggelos, G., Vassilis, S., Lampros K., Magdalinos P., Antoniou E., Politopoulou Z., 2014, A cloud-based Farm Management System: Architecture and implementation, In Journal Computers and Electronics in Agriculture, Vol no. 100, pp. 168–179.
2.
Ardagna, D., Nitto, E.D., Casale, E., P, P., Mohagheghi, S., Mosser, P., Matthews, A., Gericke, C., Balligny, F. D., Nechifor, C.S, C, Sheridan., 2012. MODACLOUDS, A Model-Driven Approach for the Design and Execution of Applications on Multiple Clouds, International Workshop on Modelling in Software Engineering. pp. 50–56.
3.
Brandtzæg, E., M. Parastoo, Mosser, E., 2012. Towards a Domain-Specific Language to Deploy Applications in the Clouds, 3rd International Conference on Cloud Computing, GRIDs, and Virtualization. IARIA, pp. 213–218.
4.
Cavalcante, E., 2013. Architecture Driven Engineering of Cloud-Based Applications, IFIP/Springer-Verlag, Germany, Vol no. (22). pp. 175–180.
5.
Divyakant, A., Abbadi, A., Das, S., Elmore, A.J., 2011. Database scalability, elasticity, and autonomy in the cloud, In Journal of Database Systems for Advanced Applications, Vol no. (2), pp. 2–15.
6.
Buyya, R., Ranjan, R., Rodrigo, N., 2010. Intercloud: Utility-oriented federation of cloud computing environments for scaling of application services, In Algorithms and architectures for parallel processing, LNCS Springer Vol no. (6081). pp. 13–31.
7.
Elmroth, E., Tordsson, J., Hernández, F., Ali-Eldin, A., Pette R, 2011. Self-management challenges for multi-cloud architectures, Lecture Notes in Computer Science Towards a Service-Based Internet, Vol no. 6994, pp. 38–49.
8.
Ferry, N., Alessandro Rossini, Franck Chauvel, Brice Morin, and Arnor Solberg, 2013. Towards model-driven provisioning, deployment, monitoring, and adaptation of multi-cloud systems, In 2013 IEEE Sixth International Conference on cloud computing, pp. 887–894.
9.
Saggar, R., Saggar, S., Khurana, N., 2014. Cloud Computing: Designing Different System Architecture Depending On Real-World Examples, International Journal of Computer Science and Information Technologies, Vol. 5 (4), pp. 5025–5029.
10.
Sarkar, A., Debnath, N.C., 2012. Measuring Complexity of Multi- Agent System Architecture, 10th IEEE Conference on Industrial Informatics, pp. 998 – 1003.
11.
Sarkar, A., 2013. Modeling Multi- agent system dynamics: Graph semantic based approach, 10th International Conference on Service Systems and Service Management. pp. 664–669.
12.
Djamel, B., 2013. An agent-based approach for hybrid multi-cloud applications, In Journal of Scalable Computing: Practice and Experience 14, Vol no. 2.pp. 95– 109.
13.
Khan, G., Sengupta, S., Sarkar, A., Debnath, N.C., 2014. Modeling of Inter-Cloud Architecture using UML 2.0: Multi- agent Abstraction based Approach, 23rd International Conference on Software Engineering and Data Engineering, pp 149–154.
14.
Khan, G., Sengupta, S., Sarkar, A., 2014. WSRM: A Relational Model for Web Service Discovery in Enterprise Cloud Bus (ECB), 3rd International Conference on Eco-friendly Computing and Communication System, India, pp. 117–122.
15.
Khan, G., Sengupta, S., Sarkar, A., 2015. Modelling of Services and their Collaboration in Enterprise Cloud Bus (ECB) using UML 2.0, 2015. International Conference on Advances in Computer Engineering and Applications, India, pp. 207–213.
16.
Khan, G., Sengupta, S., Sarkar, A., Debnath, N.C., 2015. Web Service Discovery in Enterprise Cloud Bus Framework: T Vector Based Model, 13th IEEE International Conference on Industrial Informatics, pp. 1672–1677.
17.
Sofiane, B., Bendoukha, H., Moldt, H., 2015. ICNETS: Towards Designing Inter-Cloud Workflow Management Systems by Petri-nets, In Enterprise and Organizational Modeling and Simulation, 198. Springer International Publishing. pp. 187– 198.
18.
Chatterjee, A.K., Sarkar, A., Bhattacharya, S., 2011. Modeling and Analysis of Agent Oriented System: Petri-net Based Approach, 11th Intl. Conf. on Software Engineering Research and Practice (SERP 11), Vol. 1, PP 17 – 23.
19.
Khan, G., Sengupta, S., Sarkar, A., 2015. Modeling and Analysis of Enterprise Cloud Bus using a Petri-net Based Approach, 3rd International Doctoral Symposium on Applied Computation and Security Systems (ACSS 2016), Kolkata, India.
20.
Jensen, K., Kristensen, L.M., Wells, L.M., 2007. Coloured Petri-nets and CPN tools for modeling and validation of concurrent systems, International Journal on Software Tools for Technology Transfer, Vol no. 05. pp. 213 – 254.
21.
Bhuvaneswari, A., Uma, S., Sakthitharan, S., Srinivasan, G., 2014. Assessment of Service Composition Plan using Colored Petri-nets, International Journal of Engineering And Computer Science, Vol no. 3(1), pp. 3736 – 3742.
22.
Fitch, D., Xu, H., 2013. A Raid-Based Secure And Fault-Tolerant Model for Cloud Information Storage, International Journal of Software Engineering and Knowledge Engineering 23, Vol no. 05, pp. 627 – 654.
23.
Chatterjee, R., Neha, Sarkar, A., 2015. Behavioral Modelling of Multi-agent System: High Level Petri-net Based Approach, International Journal of Agent Technologies and Systems, Vol no. 7(1), pp. 55 – 78.
24.
Zambonelli, F., Omicini, A., (2004). Challenges and Research Directions in Agent-Oriented Software Engineering, Journal of Autonomous Agents and Multi- agent Systems, Vol. 9, PP 253–283.
25.
Bauer, B., Mulller, J. P., Odell, J., (2001). Agent UML: A Formalism for Specifying Multiagent Software Systems, International Journal of Software Engineering and Knowledge Engineering, Vol 11, No. 3, pp. 1– 24.
26.
Far, B. H., Wanyama,T., (2003).Metrics for agent-based software development, Canadian Conference on Electrical and Computer Engineering (IEEE CCECE 2003), Volume 2, PP 1297–1300.
27.
Wille, C., Brehmer, N., Dumke, R.R., (2004). Software measurement of agent based systems - an evaluation study of the agent academy, Technical Report Preprint No. 3, Faculty of Informatics, University of Magdeburg.
28.
G´omes-Sanz, J. J., Pav´on, J., Garijo, F., (2005). Estimating cost for agent oriented software”, In M¨uller, J. and Zambonelli, F., editors, Agent oriented software engineering V. 5th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 2005, Revised Selected Papers, number 3950 in LNCS, pages 218–230, 2006.
29.
Klügl, F., (2008). Measuring Complexity of Multi- agent Simulations – an Attempt using Metrics”, Booktitle: Languages, Methodologies and Development Tools for Multi- agent Systems, Springer-Verlag Berlin, Heidelberg.
30.
Dhavachelvan, P., Saravanan, S., Satheskumar, K., (2008).Validation of Complexity Metrics of Agent-Based Systems Using Weyuker’s Axioms, International Conference on Information Technology (ICIT ‘08), PP 248– 251, 2008.
31.
Mala, M., Cil, I., (2011). A taxonomy for measuring complexity in agent based systems, IEEE 2nd International Conference on Software Engineering and Service Science (ICSESS’11), pp. 851–854.
32.
Cetnarowicz, K., Cetnarowicz, E., (2000). Multi-agent decentralized system of medical help, Management and control of production and logistics. AGH-University of Mining and Metallurgy, Krakow, Poland.
33.
Tsai, W. T. (2005, October). Service-oriented system engineering: a new paradigm. In IEEE International Workshop on Service-Oriented System Engineering (SOSE’05) (pp. 3–6). IEEE.
34.
Huhns, M. N., & Singh, M. P. (2005). Service-oriented computing: Key concepts and principles. IEEE Internet computing, 9(1), 75–81.
35.
Arsanjani, A. (2004).Service oriented modeling and architecture. IBM developer works, 1–15. Zheng, Z., & Lyu, M. R. (2010, May). Collaborative reliability prediction of service-oriented systems. In Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering-Volume 1 (pp. 35-44). ACM.
36.
Papazoglou, M. P., Van Den Heuvel, W. J. (2003). Service-Oriented Computing: State-of-the-Art and Open Research Issues. IEEE Computer.
37.
P. Gruer, V. Hilaire, A. Koukam and K. Cetnarowicz, “A Formal Framework for Multi- agent Systems Analysis and Design”, Journal of Expert Systems with Applications, Vol. 23, No. 4, pp. 349–355, 2002.
38.
B. Marzougui, K. Hassine, K. Barkaoui, “A New Formalism for Modeling a Multi-agent Systems: Agent Petri-nets”, Journal of Software Engineering and Applications, Vol. 3, No. 12, pp 1118–1124, 2010.
39.
Tadao Murata, “Petri-nets: Properties, Analysis and Applications”, Proceedings of the IEEE, Vol. 77, No. 4, pp 541–580, April 1989.
40.
J. R. Celaya, A. A. Desrochers, R. J. Graves, “Modeling and Analysis of Multi- agent Systems using Petri-nets”, Jnl. of Comp., Academy Press, Vol. 4 (10), PP 981–996, 2009.
41.
W. Chainbi, “Multi- agent Systems: A Petri-net with Objects Based Approach”, IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2004.
42.
S. Pujari, S. Mukhopadhyay, “Petri-net: A Tool for Modeling and Analyze Multi- agent Oriented Systems”, Intl. Jnl. Intelligent Sys. and Appls., Vol. 10, 103–112, 2012.
43.
ISO/IEC. (2002). High-level Petri-nets–Concepts, definitions, and graphical notation. Final Draft International Standard 15909, version 4.7.1.
44.
Zhou, Y., Murata, T., and DeFanti, T. (2000). Modeling and performance analysis using extended fuzzy-timing Petri-nets for networked virtual environments. IEEE Transactions on Systems, Man, and Cybernetics 30(5), 737–756.
45.
Zhou, Y., and Murata, T. (2001). Modeling and analysis of distributed multimedia synchronization by extended fuzzy-timing Petri-nets, Journal of Integrated Design and Process Science 4(4), 23–38.
46.
Q. Bai, M. Zhang, K. T. Win, “A Colored Petri-net Based Approach for Multi- agent Interactions”, 2nd Intl. Conf. on Autonomous Robots and Agents, PP 152–157, 2004.
47.
Z. Jun, H. W. Ngan; L. Junfeng, W. Jie, Y Xiaoming, “Colored Petri-nets Modeling of Multi- agent System for Energy Management in Distributed Renewable Energy Generation System,” Asia-Pacific Power and Energy Engineering Conference (APPEEC), pp. 1,5, 28–31, 2010.
48.
Haas, P. (2002). Stochastic Petri-nets: Modeling, stability, simulation, Springer-Verlag.
49.
He, X. (2001). PZ nets—A formal method integrating Petri-nets with Z. Information and Software Technology. 43, 1–18.
50.
Dong, W. L., Yu, H., & Zhang, Y. B. (2006, October). Testing bpel-based web service composition using high-level Petri-nets. In 2006 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC’06) (pp. 441–444). IEEE.
51.
Chemaa, S., Bouarioua, M., & Chaoui, A. (2015). A high-level Petri-net based model for web services composition and verification. International Journal of Computer Applications in Technology, 51(4), 306–323.
52.
Nagamouttou, D., Egambaram, I., Krishnan, M., & Narasingam, P. (2015). A verification strategy for web services composition using enhanced stacked automata model. Springer Plus, 4(1), 1.
53.
Chen, C. S., Lin, C. H., & Tsai, H. Y. (2002). A rule-based expert system with colored Petri-net models for distribution system service restoration. IEEE Transactions on Power Systems, 17(4), 1073–1080.
54.
Azgomi, M. A., & Entezari-Maleki, R. (2010). Task scheduling modelling and reliability evaluation of grid services using coloured Petri-nets. Future Generation Computer Systems, 26(8), 1141–1150.
55.
Shen, W. (2002). Distributed manufacturing scheduling using intelligent agents. IEEE intelligent systems, 17(1), 88–94.
56.
Yan, H. S., Wang, N. S., Zhang, J. G., & Cui, X. Y. (1998). Modelling, scheduling and simulation of flexible manufacturing systems using extended stochastic high-level evaluation Petri-nets. Robotics and Computer-Integrated Manufacturing, 14(2), 121–140.
57.
Kim, H., Lee, H., Kim, W., & Kim, Y. (2010). A trust evaluation model for QoS guarantee in cloud systems. International Journal of Grid and Distributed Computing, 3(1), 1–10.
58.
Ardagna, D., Di Nitto, E., Casale, G., Petcu, D., Mohagheghi, P., Mosser, S., … & Nechifor, C. S. (2012, June). Modaclouds: A model-driven approach for the design and execution of applications on multiple clouds. In Proceedings of the 4th International Workshop on Modeling in Software Engineering (pp. 50–56). IEEE Press.
59.
Gustafsson, J., Paakki, J., Nenonen, L., & Verkamo, A. I. (2002). Architecture-centric software evolution by software metrics and design patterns. In Software Maintenance and Reengineering, 2002. Proceedings. Sixth European Conference on (pp. 108–115). IEEE.
Metadaten
Titel
Formal Modeling of Enterprise Cloud Bus System: A High Level Petri-Net Based Approach
verfasst von
Gitosree Khan
Sabnam Sengupta
Anirban Sarkar
Copyright-Jahr
2017
Buch
Requirements Engineering for Service and Cloud Computing

Print ISBN: 978-3-319-51309-6

Electronic ISBN: 978-3-319-51310-2

Copyright-Jahr: 2017

DOI
https://doi.org/10.1007/978-3-319-51310-2_6

Premium Partner

    Bildnachweise