Specification and Verification of Uplink Framework for Application of Software Engineering using RM-ODP

This paper present a survey and discussion of the Reference Model for Open Distributed Processing (RM-ODP) viewpoints; oriented approaches to requirements engineering viewpoint and a presentation of new work in the application wireless mobile phone, this area which has been designed with practical application using the Unified Modelling Language (UML)/VHDL_AMS (VHSIC Hardware Description Language Analog and Mixed-Signal). We mainly focus on rising and fulling time, action, uplink behaviour constraints (sequentiality, non determinism and concurrency constraints).We discuss the practical problems of introducing viewpoint; oriented requirements engineering into industrial software engineering practice and why these have prevented the widespread use of existing approaches. The goal of this article is to check the uplink path using the MIC (Microphone amplifier) with all analog inputs, and check the amplifier gain. This paper provides an example of using the Uplink Framework to build a comprehensive, good solution for Application Wireless Mobile Phone. Finally, we discuss how well this approach addresses some outstanding problems in requirements engineering (RE) and the practical industrial problems of introducing new requirements engineering methods.

[1]  Wolfgang Thomas,et al.  Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics , 1990 .

[2]  Bernhard Rumpe,et al.  Meta-Modeling Semantics of UML , 2014, ArXiv.

[3]  Claude Caci,et al.  Testing object-oriented systems , 2000, SOEN.

[4]  Bernhard Rumpe,et al.  Meta-Modelling Semantics of UML , 2014, Behavioral Specifications of Businesses and Systems.

[5]  Alain Wegmann,et al.  From RM-ODP to the Formal Behavior Representation , 2003, OOPSLA 2003.

[6]  Angelo Artale,et al.  A Descriptive Model , 1997 .

[7]  Ivar Jacobson,et al.  Unified Modeling Language , 2020, Definitions.

[8]  David A. Schmidt,et al.  Denotationaisemantics: a methodology for language development , 1986 .

[9]  Bernhard Rumpe,et al.  A Note on Semantics (with an Emphasis on UML) , 2014, ArXiv.

[10]  Jean-Raymond Abrial A System Development Process with Event-B and the Rodin Platform , 2007, ICFEM.

[11]  Martin Gogolla Unified Modeling Language , 2009, Encyclopedia of Database Systems.

[12]  Bouabid El Ouahidi,et al.  An UML-Based Meta-Language for the QOS-Aware Enterprise Specification of Open Distributed Systems , 2002, PRO-VE.

[13]  Bernhard Rumpe,et al.  Agile Modeling with the UML , 2002, RISSEF.

[14]  Bernhard Rumpe,et al.  Behavioral Specifications of Businesses and Systems , 1999, Behavioral Specifications of Businesses and Systems.

[15]  A. Szent-Görgyi [Value of science]. , 1970, Tanpakushitsu kakusan koso. Protein, nucleic acid, enzyme.

[16]  Robert V. Binder,et al.  Testing Object-Oriented Systems: Models, Patterns, and Tools , 1999 .

[17]  Glenford J. Myers,et al.  Art of Software Testing , 1979 .

[18]  Bernhard Rumpe,et al.  Model-Based Testing of Object-Oriented Systems , 2002, FMCO.

[19]  Alain Wegmann,et al.  Conceptual modeling of complex systems using an RM-ODP based ontology , 2001, Proceedings Fifth IEEE International Enterprise Distributed Object Computing Conference.

[20]  Toby Bloom,et al.  Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications , 1997, OOPSLA 1997.

[21]  Manfred Broy,et al.  23 – Formal treatment of concurrency and time , 1991 .

[22]  Lionel C. Briand,et al.  A UML-Based Approach to System Testing , 2001, Software and Systems Modeling.

[23]  K Lano,et al.  Making Uml Precise , 1998 .

[24]  Jos Warmer,et al.  The object constraint language , 1998 .

[25]  Bernhard Rumpe,et al.  Executable Modeling with UML. A Vision or a Nightmare? , 2014, ArXiv.

[26]  Mohamed Bouhdadi,et al.  Meta-modelling Syntax and Semantics of Structural Concepts for Open Networked Enterprises , 2007, ICCSA.

[27]  David Harel,et al.  Executable object modeling with statecharts , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.

[28]  Anneke Kleppe,et al.  The object constraint language: precise modeling with UML , 1998 .

[29]  JaatunMartin Gilje,et al.  Agile Software Development , 2002, Comput. Sci. Educ..

[30]  Bernhard Rumpe,et al.  The UML as a formal modeling notation , 1998, Comput. Stand. Interfaces.

[31]  Bernhard Rumpe,et al.  Second ECOOP Workshop on Precise Behavioral Semantics (with an Emphasis on OO Business Specifications) , 1998, ECOOP Workshops.

[32]  Stuart Kent,et al.  A Meta-Model Semantics for Structural Constraints In UML , 1999, Behavioral Specifications of Businesses and Systems.