Mapping UML 2.0 Activities to Zero-Safe Nets

Journal of Software Engineering and Applications

ISSN Print: 1945-3116
ISSN Online: 1945-3124
www.scirp.net/journal/jsea
E-mail: [email protected]

Citations

Journals Menu

Guidelines & Policies

"Mapping UML 2.0 Activities to Zero-Safe Nets"
written by Sabine Boufenara, Faiza Belala, Kamel Barkaoui,
published by Journal of Software Engineering and Applications, Vol.3 No.5, 2010

has been cited by the following article(s):

Google Scholar
CrossRef

[1]	Transactional Petri nets: a semantic framework for UML2 activities
	International Journal of Critical Computer-Based Systems, 2014

[2]	1.3. 3 Extending eFFBD formalism to task model
	INCOSE International Symposium.Wiley Online Library, 2014

[3]	ArcFem: New Software Module in ArcGIS for Numerical Modeling.
	International Journal on Information Technology (IREIT), 2014

[4]	Transactional Petri nets: a semantic framework for UML2 activities.
	2014

[5]	Model-based development of fault tolerant systems of systems
	Systems Conference (SysCon), 2013 IEEE International. IEEE, 2013

[6]	A Formal Semantics for SysML Activity Diagrams
	Formal Methods: Foundations and Applications. Springer Berlin Heidelberg, 2013

[7]	Graphical modelling meets formal methods
	Industrial Informatics (INDIN), 2013 11th IEEE International Conference on. IEEE, 2013

[8]	On formalizing UML2 activities using TPNets: case studies
	Proceedings of the Fifth international conference on Verification and Evaluation of Computer and Communication Systems. British Computer Society, 2011

[1]	1.3.3 Extending eFFBD formalism to task model INCOSE International Symposium, 2014 DOI:10.1002/j.2334-5837.2014.tb03135.x

[2]	Graphical modelling meets formal methods 2013 11th IEEE International Conference on Industrial Informatics (INDIN), 2013 DOI:10.1109/INDIN.2013.6622972

[3]	Formal Methods: Foundations and Applications Lecture Notes in Computer Science, 2013 DOI:10.1007/978-3-642-41071-0_13

[4]	Model-based development of fault tolerant systems of systems 2013 IEEE International Systems Conference (SysCon), 2013 DOI:10.1109/SysCon.2013.6549906

	[email protected]
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Journal of Software Engineering and Applications

Journal of Software Engineering and Applications

Journals Menu

Guidelines & Policies

Home

About SCIRP

Service

Policies