J. Object Technol.最新文献_第6页

cmUML - A UML based Framework for Formal Specification of Concurrent, Reactive Systems cmUML——一个基于UML的框架，用于并发反应系统的正式规范

J. Object Technol. Pub Date : 2008-11-01 DOI: 10.5381/jot.2008.7.8.a7

Jagadish Suryadevara, L. Chung, R. Shyamasundar

{"title":"cmUML - A UML based Framework for Formal Specification of Concurrent, Reactive Systems","authors":"Jagadish Suryadevara, L. Chung, R. Shyamasundar","doi":"10.5381/jot.2008.7.8.a7","DOIUrl":"https://doi.org/10.5381/jot.2008.7.8.a7","url":null,"abstract":"Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specification method which combines axiomatic and operational approaches. On the other hand Unified Modeling Language (UML), a de facto industry standard visual language, lacks suitable constructs and semantics regarding concurrency aspects. Though UML includes action semantics, its higher level constructs and object semantics are inconsistent. Motivated by Lamport's approach, this paper proposes a UML based specification framework 'cmUML' ('cm' for concurrent modules) for formal specification of concurrent, reactive systems without object level diagrams and OCL. The framework integrates higher level diagrams of UML and addresses various concurrency issues including exception handling. It combines UML-RT and UML/ SPT profile as the latter defines a core package for concurrency and causality. Further the framework includes the characteristic safety and liveness aspects of concurrent systems. The proposed framework is in contrast with existing approaches based on low level primitives (semaphore, monitors). The paper includes several specification examples validating the proposed framework.","PeriodicalId":383341,"journal":{"name":"J. Object Technol.","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115101749","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 7

Requirements analysis for large scale systems 大型系统的需求分析

J. Object Technol. Pub Date : 2008-11-01 DOI: 10.5381/JOT.2008.7.8.A3

Roger G. Johnson, George Roussos, Luca Vetti Tagliati

{"title":"Requirements analysis for large scale systems","authors":"Roger G. Johnson, George Roussos, Luca Vetti Tagliati","doi":"10.5381/JOT.2008.7.8.A3","DOIUrl":"https://doi.org/10.5381/JOT.2008.7.8.A3","url":null,"abstract":"All readers of this paper most likely have knowledge of the software requirements discipline and of the use case notation, however not everyone is aware that with the progress of the development process, requirement models evolve in different ways. In particular, some artefacts (such as the glossary, for example) are simply enhanced, while others (functional requirements, object model, etc), in different stages of the process encapsulate different aspects of the system and satisfy different needs. Therefore, while the former require one to maintain only the most updated version, the latter require the maintenance of different versions (e.g. business functional requirements, domain functional requirements, etc). As expected, this is more evident in the context of large scale systems. Furthermore, a review of IT literature brings to light some inconsistency in the use of use case notation and, more generally, in requirement models and, even more importantly, to the lack of guidelines related to how to successfully address the requirements analysis for large scale systems. The objectives of this paper are to clarify the terminology of software requirement models by suggesting a more consistent usage, to describe the different versions of requirement models, and to illustrate how to effectively address requirements analysis for large scale systems. This paper is supported by a real case study related to a large scale project implemented in a tier 1 financial organisation.","PeriodicalId":383341,"journal":{"name":"J. Object Technol.","volume":"658 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123357474","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 3

Enabling Application Agility - Software as A Service, Cloud Computing and Dynamic Languages 实现应用敏捷性——软件即服务、云计算和动态语言

J. Object Technol. Pub Date : 2008-05-01 DOI: 10.5381/jot.2008.7.4.c3

Dave A. Thomas

引用次数: 33

A change propagating model transformation Language 变更传播模型转换语言

J. Object Technol. Pub Date : 2008-03-01 DOI: 10.5381/jot.2008.7.3.a3

L. Tratt

引用次数: 45

AOP-HiddenMetrics: Separation, Extensibility and Adaptability in SW Measurement aop -隐藏度量:软件度量中的分离、可扩展性和适应性

J. Object Technol. Pub Date : 2008-02-01 DOI: 10.5381/jot.2008.7.2.a3

W. Cazzola, A. Marchetto

{"title":"AOP-HiddenMetrics: Separation, Extensibility and Adaptability in SW Measurement","authors":"W. Cazzola, A. Marchetto","doi":"10.5381/jot.2008.7.2.a3","DOIUrl":"https://doi.org/10.5381/jot.2008.7.2.a3","url":null,"abstract":"Traditional approaches to dynamic system analysis and metrics measurement are based on system code (both source, intermediate and executable code) instrumentation or need ad hoc support by the run-time environment. In these contexts, the measurement process is tricky, invasive and the results could be affected by the process itself making the data not germane. Moreover, the tool based on these approaches are difficult to customize, extend and often use since their properties are rooted at specific system details (e.g., special tools such as bytecode analyzers or virtual machine goodies such as the debugger interface) and require high efforts, skills and knowledges to be adapted. Notwithstanding its importance, software measurement is clearly a nonfunctional concern and should not impact on the software development and efficiency. Aspectoriented programming provides the mechanisms to deal with this kind of concern and to overcome the software measurement limitations. In this paper, we present a different approach to dynamic software measurements based on aspect-oriented programming and the corresponding support framework named AOPÂHiddenMetrics. The proposed approach makes the measurement process highly customizable and easy to use reducing its invasiveness and the dependency from the code knowledge.","PeriodicalId":383341,"journal":{"name":"J. Object Technol.","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115482454","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 14

Exceptions in Concurrent Eiffel 并发Eiffel中的异常

J. Object Technol. Pub Date : 2007-11-01 DOI: 10.5381/JOT.2007.6.10.A4

P. Brooke, R. Paige

引用次数: 11

Programming the World in a Browser Real Men Don't Do JavaScript Do They?! 在浏览器中编程世界真正的男人不会使用JavaScript，不是吗?

J. Object Technol. Pub Date : 2007-11-01 DOI: 10.5381/jot.2007.6.10.c3

Dave A. Thomas

{"title":"Programming the World in a Browser Real Men Don't Do JavaScript Do They?!","authors":"Dave A. Thomas","doi":"10.5381/jot.2007.6.10.c3","DOIUrl":"https://doi.org/10.5381/jot.2007.6.10.c3","url":null,"abstract":"The mainstream professional developer community has never taken JavaScript seriously but soon they will have no choice. JavaScript is ready to move to center stage as the development and delivery technology for Web 2.x applications. In the past, most enterprise and product developers flocked to Java or C# while web developers moved to PHP, Perl, Python and more recently Ruby, with most ignoring the web based scripting language called JavaScript. At best it has been considered something to spiff up one's HTML pages. To make matters worse, incompatible implementations of JS and the DOM have tormented developers and made JS very unpopular with many. Until Ajax and Web 2.0 Douglas Crockford seemed to be the only advocate for JavaScript as a reasonable programming language. He pointed out that JS was really a Scheme like language with a prototype-based object model layered on top of it. I'm sure that popular author David Flanagan never dreamed that he would be best known for his book Definitive JavaScript. While many smaller companies had built quality widgets and applications in JS it is was the entry of Yahoo Widgets, and more importantly the that of Google Mail, Calendar, etc. that laid the commercial foundation for the Ajax revolution with a plethora of frameworks and tools. Rather than bulky and complex web standards, more and more of these toolkits support simpler Restful style services that use JSON rather than SOAP. JavaScript's ubiquitous browser availability makes it the frontrunner in that environment and this will no doubt ripple to servers and appliances. JavaScript is headed into the limelight once promised to Java, then later to Flash. It will be a must know language for everyone within 3 years. If JavaScript does cross over from the browser to other platforms it could inflict collateral damage on these languages down the road.","PeriodicalId":383341,"journal":{"name":"J. Object Technol.","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122212228","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 1

REMM-Studio: an Integrated Model-Driven Environment for Requirements Specification, Validation and Formatting REMM-Studio:用于需求规范、验证和格式化的集成模型驱动环境

J. Object Technol. Pub Date : 2007-10-01 DOI: 10.5381/jot.2007.6.9.a22

Cristina Vicente-Chicote, Begoña Moros, J. Álvarez

引用次数: 41

Direct Semantics of Extended State Machines 扩展状态机的直接语义

J. Object Technol. Pub Date : 2007-10-01 DOI: 10.5381/jot.2007.6.9.a2

K. Lano, D. Clark

引用次数: 12

Modeling Traceability of Concerns for Synchronizing Architectural Views 为同步架构视图建模关注的可追溯性

J. Object Technol. Pub Date : 2007-08-01 DOI: 10.5381/jot.2007.6.7.a1

B. Tekinerdogan, Christian Hofmann, M. Aksit

引用次数: 18