Formal Specification Language Jpiaspectz: Looking For A Complete JPI Software Development Process

Simple item page
dc.contributor.authorVidal-Silva, Cristian
dc.contributor.authorJiménez, Claudia
dc.contributor.authorMadariaga, Erika
dc.contributor.authorUrzĂșa, Luis
dc.date.accessioned2020-05-26T18:57:35Z
dc.date.available2020-05-26T18:57:35Z
dc.date.issued2019-11
dc.description.abstractAspect-Oriented Software Development AOSD solves modularity issues in the Object-Oriented Software Development OOSD approach. AOSD adds a few more details concerning the dependency between related modules. Join Point Interface JPI represents an AOSD methodology to solve those AOSD issues by the definition of interfaces in the middle of advisable artifacts and aspects. JPI permits developing software modules without crosscutting concerns. Looking for a JPI software development approach, this article proposes and exemplifies the use of JPIAspectZ, an extension of the formal aspect-oriented language AspectZ for the requirement specification of JPI solutions. Mainly, JPIAspectZ looks for a consistent JPI software development process. Defining join point interfaces represents a primary JPI component for explicitly associating aspects and advised modules. Classes are no longer oblivious of possible interaction with aspects, and effectiveness of aspects no more depend on signatures of advisable modules components for the use of JPI instances. JPIAspectZ fully supports these JPI principles. As JPI application examples, this article shows the formal requirements specification, structural model, and JPI code for a typical aspect-oriented application.es_ES
dc.identifier.issn2277-8616
dc.identifier.urihttps://hdl.handle.net/20.500.12536/427
dc.language.isoenes_ES
dc.sourceInternational Journal of Scientific & Technlogy Research
dc.subjectAspectses_ES
dc.subjectConcernses_ES
dc.subjectFormal Modelinges_ES
dc.subjectJoin Point Interfacees_ES
dc.subjectJPIes_ES
dc.subjectJPIAspectZes_ES
dc.subjectModularityes_ES
dc.titleFormal Specification Language Jpiaspectz: Looking For A Complete JPI Software Development Processes_ES
dc.typeArtĂ­culo de revistaes_ES
uvm.escuelaEscuela de IngenierĂ­a y Negocioses_ES
uvm.indexScopuses_ES
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Formal specification language jpiaspectz Looking for a complete JP.pdf
Size:
873.17 KB
Format:
Adobe Portable Document Format
Description:
ArtĂ­culo de revista: Formal Specification Language Jpiaspectz: Looking For A Complete JPI Software Development Process
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download
Collections
ArtĂ­culos cientĂ­ficos