Indian Journal of Science and Technology

Open Access Open Access  Restricted Access Subscription Access

A New Executable Model for Software Architecture Based on Petri Net


Affiliations
1 Computer Engineering Department, Science and Research Branch, Islamic Azad University, Tehran, Iran, Islamic Republic of
2 Computer Engineering Department, Shahid Beheshti University, GC., Tehran, Iran, Islamic Republic of
 

With the growing use of UML diagrams for software architecture description and the importance of non-functional requirements evaluation at software architecture level, filling the knowledge gap between the architect and the requirements analyst is considered to be significant. In this paper, we propose a new algorithm that enables an architect to transform a software architecture described by use case, sequence and component diagrams into an executable model based on different extensions of Petri Nets. Moreover, we show how to use this Petri net model for simulation, and the implications of this transformation are described completely. Finally, to demonstrate the application of our proposed algorithm, we consider a case study.

Keywords

UML Diagrams, Petri Nets, Software Architecture
User

  • Andol F, Aquilani F, Balsamo S and P Inverardi P (2000) Deriving performance models of software architectures from message sequence charts. In: Proc. 2nd Intl. Workshop on Software & Performance, ACM, Canada. pp: 47-57.

  • Balsamo S and Simeoni M (2001) On transforming UML models into performance models: Technical Report Saladin Project. In: Proc.Workshop on Transformations in UML (ETAPS01). pp:1-6.

  • Bass L, Clements P and Kazman R (2003) Software architecture in practice. 2nd Edition, Addison Wesley, Boston.

  • Bastide R and Barboni E (2006) Software components: a formal semantics based on colored Petri nets. Electronic Notes in Theor.Compu. Sci. 160, 57–73.

  • Bernardi S and Merseguer J (2007) Performance evaluation of UML design with stochastic well-formed nets. J. Systems & Software. 80, 1843–1865.

  • Bernardi S, Donatelli S and Merseguer J (2002) From UML sequence diagrams and statecharts to analysable Petri net model. In: Proc. 3rd Intl. Workshop on Software & Performance, ACM. pp: 35-45.

  • Biberstein O and Buchs D (1995) Structured algebric nets with object orientation. In: Workshop on Object Oriented Program. & Models of Concurrency, 16th Intl. Conf. Application & Theory of Petri Nets. pp: 131-145.

  • Clements P, Kazman V and Klein M (2002) Evaluating software architecture methods and case studies. Addison Wesley, Boston.

  • Cortellessa V and Mirandola R (2000) Deriving a queueing network based performance model from UML diagrams. In: Proc. 2nd Intl. Workshop on Software & Performance, ACM, Canada. pp: 58-70.

  • Elkoutbi M and Rodulf K (1998) Modelling interactive systems with hierarchical coloured Petri nets. In: Proc. Adv. Simulation Technol. Conf., Boston, MA, 432-437.

  • Emadi S and Shams F (Aug, 2008) From UML component diagram to an executable model based on Petri nets. In: Proc. 3rd Intl. Symp. Transform. Technol. pp: 2780-2787.

  • Emadi S and Shams F (Fall, 2008) An approach to nonfunctional requirements analysis at software architecture level. Engg. J. Islamic Azad Univ., Mashhad Branch (in Persian), 2 (1), 65-79.

  • Emadi S and Shams F (July 2008) An approach to nonfunctional requirements analysis at software architecture level. In: Proc. 8th IEEE Intl. Conf. Compu. & Inform. Technol. (CIT'2008), Australia. pp: 736-741.

  • Emadi S, Shams F and Vaziri S (2008) General syntax for extensions of Petri nets. In: Proc. 3rd Intl. Conf. Math. Sci. (ICM2008). pp: 1133-1138.

  • Fernandes JM, Tjell S, Jorgensen JB and Ribeiro O (2007) Designing tool support for translating use cases and UML 2.0 sequence diagrams into a coloured Petri net. In: 6th IEEE Intl. Workshop on Scenarios & State Machines (SCESM'07), Minneapolis, Minnesota. pp: 20-26.

  • Fukuzawa K and Saeki M (2002) Evaluating software architectures by coloured Petri nets. In: Proc. 14th Intl. Conf. on Software Engg. & Knowledge Engg., Ischia, Italy, ACM. pp: 263-270.

  • Gomaa A, Adam N and Atluri V (2005) Color time Petri net for interactive adaptive multimedia objects. In: Proc. 11th Intl. Multi-Media Modeling Conf. pp:147-157.

  • Kamandi A, Abdollahi Azgomi M and Movaghar A (2006) Transformation of UML models into analyzable OSAN models. Electronic Notes in Theor. Compu. Sci. 159, 3–22.

  • Kounev S (2006) Performance modeling and evaluation of distributed component-based systems using queuing Petri Nets, IEEE Transactions on Software Engineering, 32 (7), 486-502.

  • Ourdani A, Esteban P, Paludetto M and Pascal J. C, A (2006), Meta Modeling Approach for Sequence Diagram to Petri nets transformation within the requirements validation process. In: 20th Ann. Eur. Simulation & Modelling Conf. LAAS, Toulouse, France.

  • Shams F (1996) Modeling the behavior of processes using collaborating objects. Univ. Manchester, England.

  • Silva EA, Almeida H, Silva LD and Perkusich AA (2007) Formal modelling and verification of a software component model using coloured Petri nets and model checking. In: Proc. 22nd Ann. ACM Symp. Appl. Comput., ACM. pp: 1427-1431.


Abstract Views: 502

PDF Views: 83




  • A New Executable Model for Software Architecture Based on Petri Net

Abstract Views: 502  |  PDF Views: 83

Authors

Sima Emadi
Computer Engineering Department, Science and Research Branch, Islamic Azad University, Tehran, Iran, Islamic Republic of
Fereidoon Shams
Computer Engineering Department, Shahid Beheshti University, GC., Tehran, Iran, Islamic Republic of

Abstract


With the growing use of UML diagrams for software architecture description and the importance of non-functional requirements evaluation at software architecture level, filling the knowledge gap between the architect and the requirements analyst is considered to be significant. In this paper, we propose a new algorithm that enables an architect to transform a software architecture described by use case, sequence and component diagrams into an executable model based on different extensions of Petri Nets. Moreover, we show how to use this Petri net model for simulation, and the implications of this transformation are described completely. Finally, to demonstrate the application of our proposed algorithm, we consider a case study.

Keywords


UML Diagrams, Petri Nets, Software Architecture

References





DOI: https://doi.org/10.17485/ijst%2F2009%2Fv2i9%2F29516