A formal model for the requirements diagrams of SysML

IEEE Latin America Transactions

Volumn 8, Issue 3, 2010, Pages 259-268

  Valles Barajas, Fernando ^a  

^a Universidad Regiomontana   (Mexico)

Author keywords

Alloy; Formal methods; requirement diagrams; SysML; system modeling

Indexed keywords

FORMAL MODEL; GRAPHICAL NOTATION; MODEL SYSTEM; MODELING LANGUAGES; OBJECT MANAGEMENT GROUPS; REQUIREMENT DIAGRAM; SYSML; SYSTEM MODELING; SYSTEM REQUIREMENTS; UML DIAGRAMS;

ALLOYS; CERIUM ALLOYS; GRAPHIC METHODS;

FORMAL METHODS;

EID: 79953802694     PISSN: 15480992     EISSN: None     Source Type: Journal    
DOI: 10.1109/TLA.2010.5538400     Document Type: Article

References (22)

1. L. Balmelli, "An overview of the systems modeling language for products and systems development", Journal of Object Technology (JOT), vol. 6, no. 6, pp. 149-177, July-August 2007.
2. M. dos Santos Soares and J. Vrancken, "Model-driven user requirements specification using SysML", Journal of software, vol. 3, no. 6 pp. 57-68, June 2008.
3. J. M. Fuentes, V. Quintana, J. Llorens, G. Gnova, and R. Prieto-Daz, "Errors in the UML metamodel", ACMSIGSOFT Software Engineering Notes, vol. 28, no. 6, pp 3-3, November 2003.
4. A. Goknil, I. Kurtev, and K. van den Berg. A metamodeling approach for reasoning about requirements. In ECMDAFA 2008, pages 310-325, Berlin, Germany, June 9-13 2008. Lecture Notes in Computer Science, Springer.
5. M. H. Hamilton and W. R. Hackler. A formal universal systems semantics for SysML. In International council on systems engineering-2007 (INCOSE-2007), San Diego, California, USA, June 24-28 2007.
6. E. Herzog and A. Pandikow. SysML: an assessment. In 15th INCOSE International Symposium, Rochester, New York USA, July 2005. INCOSE.
7. D. Jackson. Software Abstractions: Logic, Language and Analysis. MIT Press, 2006.
8. D. Jackson and J.Wing, "Lightweight formal methods", IEEE Computer, vol. 29, no. 4, pp. 22-23, April 1996.
9. S. Jansamak and A. Surarerks. Formalization of UML statechart models using concurrent regular expressions. In Proceedings of the 27th Australasian conference on Computer science, pages 83-88, Dunedin, New Zealand, 2004.
10. Y. Jarraya, M. Debbabi, and J. Bentahar. On the meaning of SysML activity diagrams. In 2009 16th Annual IEEE international Conference and Workshop on the Engineering of Computer Based Systems, San Francisco, CA USA, April 14-16 2009. IEEE.
11. S.-K. Kim and D. Carrington. A formal mapping between UML models and Object-Z specifications. In ZB 2000, pages 2-21. Springer, 2000.
12. P. Kruchten. The Rational Unified Process. Addison-Wesley Professional, 3rd edition, December 2003.
13. M. V. Linhares, R. S. de Oliveira, J.-M. Farines, and F. Vernadat. Introducing the modeling and verification process in SysML. In ETFA'2007 -12th IEEE Int. Conf. on Emerging Technologies and Factory Automation, pp. 344-351, Patras, Greece, 25-28 Sept 2007. IEEE.
14. B.Meyer. Object-Oriented Software Construction. Prentice-Hall, 2nd edition, 2000.
15. B. Mora, F. García, F. Ruiz, M. Piattini, A. Boronat, A. Gómez, J. Á. Carsí y I. Ramos., "Software generic measurement framework based on MDA", IEEE Latin America Transactions, vol. 6, no. 4, pp. 363-370, Aug 2008.
16. OMG. Systems modeling language (SysML) specification. Technical report, November 2008.
17. I. Ozkaya. Representing requirements relationships. In First International Workshop on Requirements Engineering Visualization (REV'06), Minneapolis/st Paul, Minnesota, September 2006. IEEE.
18. L. Reynoso, M. Genero, M. Piattini y E. Manso, "Un Análisis Experimental sobre el Efecto del Acoplamiento en la Comprensibilidad y Facilidad de Modificación de Expresiones OCL", IEEE Latin America Transactions, vol. 4, no. 2, pp. 130-135, April 2006.
19. A. Rodríguez, E. Fernández-Medina, M. Piattini y J. Trujillo, "Secure Business Processes defined through a UML 2.0 extension", IEEE Latin America Transactions, vol. 6, no. 4, pp. 339-346, Aug. 2008.
20. F. Valles-Barajas. A formal model for a requirement engineering tool. In First Alloy workshop co-located with the 14th ACM/SIGSOFT Symposium on Foundations of Software Engineering (FSE'06), Portland, Oregon, USA, November 2006. ACM.
21. F. Valles-Barajas. A formal model for a state machine modeling tool: A lightweight approach. In 3rd IEEE Systems and Software Week (SASW 2007), Baltimore, Maryland, March 2007. IEEE.
22. M. Vaziri and D. Jackson. Some shortcomings of OCL, the object constraint language of UML. In Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00), pages 555-562, Santa Barbara, California, USA, 2000. IEEE Computer Society.