Hussain M. J. Almohri
Osman Balci
ABSTRACT
In this paper we discuss a software design framework that is capable of realizing network-centricity and the rising multicore technology. Instead of producing static design documents in the form of UML diagrams, we propose automatic generation of a visual simulation model, which represents the target system design. We discuss a design environment that is responsible for the generation and execution of the simulation model.
- Balci, O. and W. Ormsby (2006), "Quality Assessment of Modeling and Simulation of Network-Centric Military Systems," In Modeling and Simulation Tools for Emerging Telecommunication Networks, Springer-Verlag, Berlin, Germany, 365--382.Google Scholar
- Breton, E. and J. Bzivin (2007), "Towards an Understanding of Model Executability," In Proceedings of the 2001 International Conference on Formal Ontology in Information Systems, ACM, New York, NY, pp. 70--80. Google ScholarDigital Library
- Campbell, L., B. Cheng, W. McUmber and R. Stirewalt (2000), "Automatically Detecting and Visualizing Errors in UML Diagrams," Requirements Engineering Journal 7, 264--287.Google ScholarCross Ref
- Crane, M. and J. Dingel (2008), "Towards a Formal Account of a Foundational Subset for Executable UML Models," In Proceedings of the 11th International Conference on Model Driven Engineering Languages and Systems, Springer-Verlag, Berlin, Germany, pp. 675--689. Google ScholarDigital Library
- Curtis, D. (2006), "SPARK Annotations Within Executable UML," In Proceedings of the 11th Ada-Europe International Conference on Reliable Software Technologies, Springer-Verlag, Berlin, Germany, pp. 83--93. Google ScholarDigital Library
- Dobrzanski, C. and L. Kuzniarz (2006), "An Approach to Refactoring of Executable UML Models," In Proceedings of the 2006 ACM Symposium on Applied Computing, ACM, New York, NY, pp. 1273--1279. Google ScholarDigital Library
- Dromey, R. G. (2003), "From Requirements to Design: Formalizing the Key Steps," In Proceedings of the 1st International Conference on Software Engineering and Formal Methods, IEEE Computer Society Press, Washington, DC, pp. 2--11.Google Scholar
- Ermel, C., K. Holscher, S. Kuske and P. Ziemann (2005), "Animated Simulation of Integrated UML Behavioral Models Based on Graph Transformation," In Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing, IEEE Computer Society Press, Washington, DC, pp. 125--133. Google ScholarDigital Library
- Fernandes, J. M., S. Tjell, J. B. Jorgensen and O. Ribeiro (2007), "Designing Tool Support for Translating Use Cases and UML 2.0 Sequence Diagrams into a Coloured Petri Net," In Proceedings of the 6th International Workshop on Scenarios and State Machines, IEEE Computer Society Press, Washington, DC, pp. 2--11. Google ScholarDigital Library
- Flint, S., H. Gardner and C. Boughton (2004), "Executable/Translatable UML in Computing Education," In Proceedings of the 6th Conference on Australasian Computing Education, ACM, New York, NY, pp. 69--75. Google ScholarDigital Library
- Fuentes L. and P. Sanchez (2007), "Towards Executable Aspect-Oriented UML Models," In Proceedings of the 10th International Workshop on Aspectoriented Modeling, ACM, New York, NY, pp. 28--34. Google ScholarDigital Library
- Fuentes L. and P. Sanchez (2008), "Execution and Simulation of (Profiled) UML Models Using Populo," In Proceedings of the 2008 International Workshop on Models in Software Engineering, ACM, New York, NY, pp. 75--81. Google ScholarDigital Library
- Golfarelli, M. and R. Stefano (2008), "UML-Based Modeling for What-If Analysis," In Proceedings of the 10th International Conference on Data Warehousing and Knowledge Discovery, Springer-Verlag, Berlin, Germany, pp. 1--12. Google ScholarDigital Library
- Gorton, I., J. P. Gray and I. Jelly (1995), "Object-Based Modeling of Parallel Programs," IEEE Parallel and Distributed Technology: Systems & Applications 3, 52--63. Google ScholarDigital Library
- Hansen, H, J. Ketema, B. Luttik, M. Mousavi and J. van de Pol (2010), "Towards Model Checking Executable UML Specifications in mCRL2," Innovations in Systems and Software Engineering 6, 1, 83--90.Google ScholarCross Ref
- Jensen, K., L. M. Kristensen and L. Wells (2007), "Coloured Petri Nets and CPN Tools for Modeling and Validation of Concurrent Systems," International Journal on Software Tools for Technology Transfer 9, 213--254. Google ScholarDigital Library
- Ji, Y., K. H. Chang and P. O. Bobbie (2004), "Interactive Software Architecture Design with Modeling and Simulation," In Proceedings of the 42nd Annual Southeast Regional Conference, ACM, New York, NY, pp. 305--306. Google ScholarDigital Library
- Keller, F. and S. Wendt (2003), "FMC: An Approach towards Architecture-Centric System Development," In Proceedings of the 10th IEEE International Conference and Workshop on Engineering of Computer-Based Systems, IEEE Computer Society Press, Washington, DC, pp. 173--182.Google Scholar
- Kristensen, L. M., S. Christensen and K. Jensen (1998), "The practitioner's Guide to Coloured Petri Nets," In International Journal on Software Tools for Technology Transfer, Springer-Verlag, Berlin, Germany, pp. 98--132.Google Scholar
- Mooney, J. and H. Sarjoughian (2009), "A Framework for Executable UML Models," In Proceedings of the 2009 Spring Simulation Multiconference, Society for Computer Simulation International, San Diego, CA, Article No. 160. Google ScholarDigital Library
- Mellor, S. J. and M. Balcer (2002), "Executable UML: A Foundation for Model-Driven Architectures," Addison-Wesley, Boston, MA. Google ScholarDigital Library
- Object Management Group (2010), "Introduction to OMG's Unified Modeling Language (UML)," http://www.omg.org/gettingstarted/what is uml.htm.Google Scholar
- Reisigs, W. and G. Rozenberg (1998), "Informal Introduction to Petri Nets," Lectures on Petri Nets I: Basic Models, Lecture Notes in Computer Science 1491, 1--11. Google ScholarDigital Library
- Tabeling, P. (2002), "Multi-level Modeling of Concurrent and Distributed Systems," In Proceedings of the 2002 International Conference on Software Engineering Research and Practice, CSREA Press, Las Vegas, NV, pp. 94--100.Google Scholar
- Waheed, T., M. Iqbal and Z. Malik (2008), "Data Flow Analysis of UML Action Semantics for Executable Models," In Proceedings of the 4th European Conference on Model Driven Architecture Foundations and Applications, Springer-Verlag, Berlin, Germany, pp. 79--93. Google ScholarDigital Library
Recommendations
A Framework for Parallel Tree-Based Scientific Simulations
ICPP '97: Proceedings of the international Conference on Parallel ProcessingThis paper describes an implementation of a platform-independent parallel C++ N-body framework that can support various scientific simulations that involve tree structures, such as astrophysics, semiconductor device simulation, molecular dynamics, plasma ...
Efficient event-driven simulation of parallel processor architectures
SCOPES '07: Proceedingsof the 10th international workshop on Software & compilers for embedded systemsIn this paper we present a new approach for generating high-speed optimized event-driven instruction set level simulators for adaptive massively parallel processor architectures. The simulator generator is part of a methodology for the systematic ...
Comments