Chaker Nakhli · HAL (Le Centre pour la Communication Scientifique Directe) · 2005
Building accurate models of complex real time systems is essential for their functional and timing analysis. We present a modeling methodology for real time systems written in Java. The model is obtained by adequately restricting application software with timing information. We establish a subset of the Java language providing guidelines for concurrency, communication and programming practices at thread, object and control flow levels. The functional model is built using rewriting rules based on language semantics. Untimed models are extended with timing information relative to execution platform, environnent dynamics and real time deadlines. The modeling methodology was implemented in the JediTool tool.
Cited by 0Open access
Boer, FS de, Gouw, S de, Vinju, JJ Jurgen · TU/e Research Portal (Eindhoven University of Technology) · 2010
In this paper we present prototype tool-support for the runtime assertion checking of the Java Modeling Language (JML) extended with communication histories specified by attribute grammars. Our tool suite integrates Rascal, a meta programming language and ANTLR, a popular parser generator. Rascal instantiates a generic model of history updates for a given Java program annotated with history specifications. ANTLR is used for the actual evaluation of history assertions.
Cited by 0
Kevin J. Healy, Richard A. Kilgore · NCSU Libraries Repository (North Carolina State University Libraries) · 1997
We discuss various aspects of the design, implementation, and use of Silk, a general purpose simulation language based on the Java programming language. Silk merges familiar process-oriented modeling structures with powerful object-oriented language features in an intelligent design that will encourage model simplicity and reusability. An important aspect of this design is the use of Java's builtin support for multithreaded execution which is employed as a means to coordinate the concurrent entity flows in process-oriented simulations. We also demonstrate how the use of JavaBeans supports graphical assembly of Silk modeling components in software environments such as Symantec's Visual Caf, IBM's VisualAge, and Microsoft's J++. It is argued that a language such as Silk is essential to keeping simulation modeling on track with other revolutionary changes taking place in Internet-based computing.
Cited by 17Open access
Alysson Filgueira Milanez, Tiago Massoni, Rohit Gheyi · 2014
In this work we present a test-based approach for detecting and categorizing nonconformances in contract-based programs, in specific for the Java Modeling Language (JML).
Cited by 0
M.D. Oostdijk, M.E. Warnie, Martijn Oostdijk et al. · 2007
This paper explores the possibilities for using the Java Modeling Language (JML) to specify Java Card applets that use Remote Method Invocation (JCRMI). The JCRMI framework makes it possible to call methods directly on a Java Card smart card without the (explicit) use of low level byte sequences, called APDUs. We introduce a new way of designing JCRMI applets, using the Java Modeling Language (JML) to formally specify (part of) its code. It turns out that some advanced JML speci cation features, such as model variables, are necessary to specify JCRMI applets. Two JML tools, the JML runtime assertion checker and the LOOP tool, are subsequently used to verify that the implementation satis es the JML speci cations. We conclude that the JML speci cations are simpler and easier to write, understand and verify when using JCRMI. Ideally this should lead to more trustworthy and error free code.
Cited by 0
Jo Wood · 2010
The Java programming language has been one of the most exciting internet-friendly technologies to emerge in the last decade. Java Programming for Spatial Sciences introduces the subject to those who wish to use computers to handle information with a geographical element.The book introduces object-oriented modeling including key concepts suc
Cited by 0
Caroline Boyue, Alicia M. Grubb, Munima Jahan et al. · 2019
The following topics are dealt with: formal specification; Unified Modeling Language; Java; object-oriented programming; graph theory; software engineering; formal verification; systems analysis; software architecture; cloud computing.
Cited by 0Open access
Jo Wood · 2010
The Java programming language has been one of the most exciting internet-friendly technologies to emerge in the last decade. Java Programming for Spatial Sciences introduces the subject to those who wish to use computers to handle information with a geographical element.The book introduces object-oriented modeling including key concepts suc
Cited by 0
Jo Wood · 2010
The Java programming language has been one of the most exciting internet-friendly technologies to emerge in the last decade. Java Programming for Spatial Sciences introduces the subject to those who wish to use computers to handle information with a geographical element.The book introduces object-oriented modeling including key concepts suc
Cited by 0
Jo Wood · 2010
The Java programming language has been one of the most exciting internet-friendly technologies to emerge in the last decade. Java Programming for Spatial Sciences introduces the subject to those who wish to use computers to handle information with a geographical element.The book introduces object-oriented modeling including key concepts suc
Cited by 0
Antti-pekka Tuovinen · 1999
. Visual languages are important in software engineering. However, the specification and implementation of visual languages in software tools is still an immature area. In this paper, we present Vilpert which is an object-oriented framework for implementing visual languages in Java. Implementing a visual language with Vilpert means deriving a language analyzer based on a formal syntactic specification and deriving a graphical editor for manipulating the programs. Vilpert provides two independent subframeworks for the aforementioned tasks. The system is targeted for the implementation of UML-like modeling languages. 1 Introduction Visual languages are widely promoted to be used for designing, documenting, and even programming software. For instance, the Unified Modeling Language (UML) [1] provides a rich collection of graphical notations for modeling the architecture and behavior of software systems. Visual programming tools like Java Studio tm employ iconic representations ...
Cited by 0
Amritam Sarcar, Yoonsik Cheon, Class Invariants et al. · 2010
Abstract—The Java Modeling Language (JML) is a formal interface specification language to document the behavior of Java program modules and has been used in many research and industrial projects. However, its inability to support Java 5 features such as generics is reducing its user base significantly. Besides, the JML compiler is on average 8.5 times slower than the javac Java compiler. In this paper, we present a new JML compiler built on the Eclipse Java compiler to support Java 5 features. We used a technique called AST merging to implement coarse-grained incremental compilation. In our experiments we observed a significant improvement in compilation speed; the new compiler is 3 to 4.5 times faster than the current one. Keywords-incremental compilation; pre and postconditions; runtime assertion checking; AST merging; Eclipse; JML I.
Cited by 0
Martin Schader, Axel Korthaus · 1998
Modern programming languages such as Java facilitate the use of concurrent threads of control within computer applications. Considering concurrency is an important prerequisite for the adequate realization of object-oriented ideas, since real world objects usually operate in parallel. This brings up the requirement to be able to express concurrency issues already in design models, which precede implementation activities. The paper examines the possibilities of modeling Java threads using the Unified Modeling Language (UML). UML is the official industry standard for object-oriented modeling as defined by the Object Management Group (OMG).
Cited by 13
Morelli, R., Walde, R. · BiblioBoard Library Catalog (Open Research Library) · 2012
We have designed this third edition of Java, Java, Java to be suitable for a typical Introduction to Computer Science (CS1) course or for a slightly more advanced Java as a Second Language course. This edition retains the “objects first” approach to programming and problem solving that was characteristic of the first two editions. Throughout the text we emphasize careful coverage of Java language features, introductory programming concepts and object-oriented design principles. The third edition retains many of the features of the first two editions, including: •Early Introduction of Objects *Emphasis on Object Oriented Design (O.O.D.) *Unified Modeling Language (U.M.L.) *Diagrams *Self-study Exercises with Answers *Programming, Debugging and Design Tips from the Java Library Sections *Object-Oriented Design Sections *End-of-Chapter Exercises *Companion Web Site, with Power Points and other Resources The In the Laboratory sections from the first two editions have been moved onto the book’s Companion Web Site. Table One shows the Table of Contents for the third edition.
Cited by 0
Nils Hagge, Bernardo Wagner · 2005
As an alternative to Statecharts and IEC 61499, which usually support implementations in C or IEC 61131, respectively, we have defined CNet to allow Petri net based graphical design and generation of Java code. CNet is a component-based conception for designing modular, concurrent and distributed control systems. The components can be reused and their event-discrete behavior is described by a special class of colored Petri nets with arc timing, called PNet. In this paper we show how the elements of our new modeling concept map to language constructs of the Java programming language, allowing automatic generation of Java interface definitions
Cited by 6
Xin Zeng, Qasim Mehdi, N.E. Gough · Wolverhampton Intellectual Repository and E-Theses (University of Wolverhampton) · 2004
VRML (Virtual Reality Modeling Language) is a high level graphic language for describing 3D virtual objects and worlds on Internet. The paper considers the implementation of VRML and Java for story visualization tasks. It focuses on creating and manipulating the properties of 3D virtual objects by using natural language input. We first explore the potential of the binding between VRML and Java technologies for generating the interactive virtual worlds. We then investigate the possibilities and limitations of these methods. Finally, we present an inside look into our Story Visualiser graphic engine, discussing its internal architecture and some of the insights of Java, XML and VRML technology we have gained during its development.
Cited by 3Open access
Philip Fong, Philip W. L. Fong · 2006
Abstract. Motivated by the need of application-level access control in dynamically extensible systems, this work proposes a static annotation system for modeling capabilies in a Java-like programming language. Unlike previous language-based capability systems, the proposed annotation system can provably enforce capability confinement. This confinement guarantee is leveraged to model a strong form of separation of duty known as hereditary mutual suspicion. The annotation system has been fully implemented in a standard Java Virtual Machine. 1
Cited by 0
Jacquie Barker · Apress eBooks · 2023
What you’ll learn conceptually about objects in Part 1 of this book, and about object modeling in Part 2, is language neutral and thus could apply equally well to Java, Python, Ruby, or an as-yet-to-be-invented object-oriented (OO) language. Before diving into the basics of objects in Chapter 3 , however, I’d like to spend some time getting you comfortable with the basics of Java, as this is the programming language that I’ll use to illustrate object concepts as they are introduced throughout the rest of this book.
Cited by 0
Sam Chung, Yun-sik Lee · 1984
The purpose of this paper is to propose visual models for a web application using Java and XML related technologies. We consider a web application that uses 3tier architecture and each tier is distributed onto web, application, and data base servers. In the web applications, various Java and XML related technologies are employed in the form of different languages: clientside script language, server-side script language, objectoriented programming language, markup language, style sheet language, data language, schema definition language, etc. When diverse technologies are applied to a web application, software engineers need to understand how the components using the technologies are interrelated in terms of software architecture. By applying the RUP with UML to the web application, we show how visual models can be constructed for the web application. Even, we show that we can model components in the web application using non objectoriented languages such as script, markup, style sheet, schema definition, and data languages. In order to compare the modeling complexity of components, we propose a degree of modeling complexity based upon two criteria- the degree of language dependency and the degree of location dependency. Through the comparison criteria, we try to quantify how relatively difficult it is for us to model which components. Based upon the degree of modeling complexity, it is relatively difficult to model XHTML among components using non object-oriented languages. Among Java related technologies, since JSP has a higher degree of language dependency and a higher degree of location dependency, it is more difficult for us to model the JSP components. 1.
Cited by 0
Mark Blackburn, Robert Busser, Aaron Nauman · 2002
This paper extends prior work in model-based verification and describes interface-driven analysis that combines textual requirement modeling to support automated test generation of Java test scripts for executing against a database. It describes concepts of models and test driver mappings using examples for testing security functionality of an Oracle database using Java and standard Structured Query Language test drivers. Although the modeling and testing is focused on database security capabilities, the described concepts are general for testing most applications.
Cited by 0