Read the abstract, see who wrote it and who cites it, and get the citation in APA, MLA, Chicago or Harvard.
About 1,342 papers for “Java Modeling Language”
Mualundama Mualundama Benjamin, Ngeleka Mpashi Jeannot, Basa Kutupu Faustin · International Journal of Research Publication and Reviews · 2023
This work is summarized as consisting of developing a mobile application under the ANDROID operating system, the coding was done using the Java programming language, the modeling using UML. The creation and management of the database using PHP and SQL.
Cited by 0Open access
Wolfgang Schreiner · 2010
We describe a generic Java framework that implements the software design pattern “visitor” and that is formally specified in the Java Modeling Language (JML). In addition to the information provided by a typical UML specification of the pattern, the JML specification describes the the sequence of visited objects in the order in which they are visited. A visitor may then specify its concrete behavior with respect to this sequence.
Cited by 0
Viviane Torres da Silva, Ricardo Choren, Carlos J. P. de Lucena · 2004
In this paper we present an agent-oriented modeling language, called MAS-ML, and an approach for mapping its diagrams into Java implementations. MAS-ML extends the UML meta-model describing new meta-classes and stereotypes, extending the class and sequence diagrams and proposing two new diagrams: organization and role diagram. The paper also relates MAS-ML to other modeling languages that also extend the UML for modeling multi-agent systems.
Cited by 0
Brice Morin, Nicolas Ferry · 2019
A recurring issue in generative approaches, in particular if they generate code for multiple target languages, is logging. How to ensure that logging is performed consistently for all the supported languages? How to ensure that the specific semantics of the source language, e.g. a modeling language or a domain-specific language, is reflected in the logs? How to expose logging concepts directly in the source language, so as to let developers specify what to log? This paper reports on our experience developing a concrete logging approach for ThingML, a textual modeling language built around asynchronous components, statecharts and a first-class action language, as well as a set of "compilers" targeting C, Go, Java and JavaScript.
Cited by 4
Don Brutzman
This article focuses on the advent of spatial three dimensional graphics technology on the web and the important role played by programming languages Java and Virtual Reality Modeling Language (VRML) in it. VRML is a dynamic 3D scene description language that can include embedded behaviours and camera animation. The combination of VRML with Java, according to the author is highly successful, as Java adds complete programming capabilities plus network access, making VRML fully functional and portable. In a scenario where VRML supporting browsers are fast becoming available on almost any desktop, this is a powerful new combination, especially as ongoing research shows that VRML plus Java provide extensive support for building large-scale virtual environments. Further the author holds that VRML scenes in combination with Java, can serve as the building blocks of cyberspace and it will take the field of virtual reality past speculative fiction and isolated island of research and will create the next-generation web.
Cited by 0
Karl J. Lieberherr · 2007
The objective of the Demeter method and tools is to improve the productivity of software developers by an order of magnitude. We hope to achieve this through a methodology and tools supported by a theory of adaptive and aspect-oriented programming. To make our results practically useful, we want to leverage existing commercial technology such as Java, the Unified Modeling Language (UML [GRB97]) and design patterns. Our recent work has focused on rethinking our Demeter/C++ tools and the corresponding theory and to implement the new results in Demeter/Java. Demeter/Java is an implementation of Adaptive Programming (AP) for Java. Demeter/Java programs consist of Java code together with programs in a small language to express traversals, visitor methods, and class diagrams. Demeter/Java also includes the coordination aspect Cool and the remote invocation aspect Ridl. Demeter/Java programs are typically written in a preventive maintenance style using traversal strategies for expressing object navigation. The resulting programs are very robust under changes to the class diagrams and visitors. This preventive maintenance style also leads to simpler programs, making both software development and maintenance easier.
Cited by 0
SHILAP Revista de lepidopterología · 2021
Poverty is a fundamental problem that several districts and cities have, especially in West Java province. One important aspect to support the Poverty Reduction Strategy is the availability of poverty data that is accurate and on target with good visualization so that it can facilitate the data analysis process. A website-based Geographic Information System is the right solution for mapping the distribution of poverty data. Making this website using software development methods and the Rational Unified Process (RUP) with the Unified Modeling Language (UML) modeling language tool. For the maps, making process using Quantum GIS software and database storage using PostgreSQL. This website is expected to make it easier for the public to find the latest information and analyze poverty data, especially in districts and cities in West Java.
Cited by 0Open access
Dwi Khasanah, Agnia, Targa Sapanji, R.A.E. Virgana · UiTM Institutional Repositories (Universiti Teknologi MARA) · 2021
Poverty is a fundamental problem that several districts and cities have, especially in West Java province. One important aspect to support the Poverty Reduction Strategy is the availability of poverty data that is accurate and on target with good visualization so that it can facilitate the data analysis process. A website-based Geographic Information System is the right solution for mapping the distribution of poverty data. Making this website using software development methods and the Rational Unified Process (RUP) with the Unified Modeling Language (UML) modeling language tool. For the maps, making process using Quantum GIS software and database storage using PostgreSQL. This website is expected to make it easier for the public to find the latest information and analyze poverty data, especially in districts and cities in West Java.
Cited by 0
Aleksy Schubert, Krzysztof Jakubczyk, Jędrzej Fulara · 2008
The proof-carrying code (PCC) techniques allow the executable code to be augmented with a proof that the code obeys certain policies (e.g. the program does not store passwords in clear in a le). BML (Bytecode Modelling Language) can be regarded as a part of the PCC architecture which allows to express detailed properties of Java bytecode programs. As most of the programming is done at the source code level, it is desirable to have a way to translate properties expressed at the source code level (in our case written in Java Modeling Language, JML) to the bytecode level. In this paper we present a JML2BML compiler, a tool that for a given Java source le annotated with speci cations generates class les with BML.
Cited by 0
Jianwen Guo · 2005
In view of the shortcomings of the present research of equipment collaborative fault diagnosis in the generality of tool supporting and the interactivity of diagnosis information, the analysis and modeling of the collaborative diagnosis system was standardized is by the aid of Unified Modeling Language. The application of multicast, Java media framework, virtual reality modeling language and real-time transport protocol enhanced the expression and multimedia-interactivity of the collaborative diagnosis system. The multimedia remote collaborative fault diagnosis system based on virtual reality technology has been successfully applied in Baling Company of China Petroleum and Chemical Corporation.
Cited by 1
Aleksy Schubert, Jacek Chrząszcz, Tomasz Batkiewicz et al. · 2015
Bytecode Modeling Language (BML) is a recent specification language designed to support specification and verification of Java byte code files. We present an editor called Umbra for byte code files which supports the editing of BML specifications. This editor is accompanied by a library BMLlib which not only parses textual representations of BML specifications and prints the specifications in a textual form, but also writes specifications into Java class files and reads them from that format. The whole tool set allows to insert BML specification into class files or inspect class files with BML specifications and edit them, e.g., for debugging purposes.
Cited by 0
Hähnle, Reiner, Laneve, Cosimo, Veschetti, Adele · arXiv (Cornell University) · 2025
Stipula is a domain-specific programming language designed to model legal contracts with enforceable properties, especially those involving asset transfers and obligations. This paper presents a methodology to formally verify the correctness of Stipula contracts through translation into Java code annotated with Java Modeling Language specifications. As a verification backend, the deductive verification tool KeY is used. Both, the translation and the verification of partial and total correctness for a large subset of Stipula contracts, those with disjoint cycles, is fully automatic. Our work demonstrates that a general-purpose deductive verification tool can be used successfully in a translation approach.
Cited by 0Open access
Tommy Kuhn, Wolfgang Rosenstiel · 1998
Hardware/Software systems find an ever increasing market. The modeling, partitioning, (co-)simulation and synthesis of such systems requires a uniform language of description for hardware and software on all levels of design. This article presents such a language in form of Java. The article concentrates on the qualification for modeling and simulation of this language with respect to hardware. It is shown that the object orientation of this language enables it to be used on all levels of abstraction of hardware design. The main point is the construction of a class library for modeling with conservation of the simulation semantics at different levels of abstraction. This will be illustrated in particular on register transfer level (RTL). A parallel, thread based RTL simulation system has therefore been fully integrated into the class library used for modeling.
Cited by 0
Hähnle, Reiner, Laneve, Cosimo, Veschetti, Adele · ArXiv.org · 2025
Stipula is a domain-specific programming language designed to model legal contracts with enforceable properties, especially those involving asset transfers and obligations. This paper presents a methodology to formally verify the correctness of Stipula contracts through translation into Java code annotated with Java Modeling Language specifications. As a verification backend, the deductive verification tool KeY is used. Both, the translation and the verification of partial and total correctness for a large subset of Stipula contracts, those with disjoint cycles, is fully automatic. Our work demonstrates that a general-purpose deductive verification tool can be used successfully in a translation approach.
Cited by 0Open access
Kristof Mertens, Nele Smeets, Marko van Dooren et al. · 2002
JML, which stands for ”Java Modeling Language”, is a behavioral interface specification language designed to specify Java classes and interfaces. JML uses syntactic sugar to make specifications easier to read and write. In this paper, we reveal that the current JML desugaring of signals clauses has a somewhat counterintuitive meaning. A new semantics is proposed that is more intuitive. Special attention is given to the desugaring of signals clauses that are spread over different behavior blocks connected by the keywords also or and. The described desugaring ensures behavioral subtyping. The consequences of the new semantics are worked out.
Cited by 2
Huijun Ren, Dakun Zhang · Zenodo (CERN European Organization for Nuclear Research) · 2007
VRML( The virtual reality modeling language) is a standard language used to build up 3D virtualized models. The quick development of internet technology and computer manipulation has promoted the commercialization of reality virtualization. VRML, thereof, is expected to be the most effective framework of building up virtual reality. This article has studied plans to build virtualized scenes based on the technology of virtual reality and Java programe, and introduced how to execute real-time data transactions of VRML file and Java programe by applying Script Node, in doing so we have the VRML interactivity being strengthened.
Cited by 2Open access
Michael Weber, Torsten Illmann · Berichte des German Chapter of the ACM · 1998
In this paper we introduce a workflow management system, called WebFlow, which is based on the world wide web and Java as its basic technologies. Java is used as the build time (modeling) language to define workflows as well as the implementation language for the run time workflow enactment. Due to the object-orientation of Java modular and extendible workflow types are possible. Modification of workflows is supported even at run time. Using WWW and Java eases the implementation effort of the workflow engine, since HTTP and the Java API already include functionality which needs not to be implemented anew. This is uploading and downloading of workflow applets and documents, authentication of clients, digital signing and especially the execution of workflows at the client site by the Java virtual machine. Thus, a very simple control server is sufficient, since the applets constituting the workflow coordinate themselves to a large extent. Webflow aims at application scenarios requiring flexible and modifiable workflows. It supports workflows which cross organizational boundaries, since it only relies on standard WWW mechanisms.
Cited by 0
In The World, Michael Weber, Torsten Illmann et al. · 2008
In this paper we introduce a workflow management system, called WebFlow, which is based on the world wide web and Java as its basic technologies. Java is used as the build time (modeling) language to define workflows as well as the implementation language for the run time workflow enactment. Due to the object-orientation of Java modular and extendible workflow types are possible. Modification of workflows is supported even at run time. Using WWW and Java eases the implementation effort of the workflow engine, since HTTP and the Java API already include functionality which needs not to be implemented anew. This is uploading and downloading of workflow applets and documents, authentication of clients, digital signing and especially the execution of workflows at the client site by the Java virtual machine. Thus, a very simple control server is sufficient, since the applets constituting the workflow coordinate themselves to a large extent. Webflow aims at application scenarios requiring flexible and modifiable workflows. It supports workflows which cross organizational boundaries, since it only relies on standard WWW mechanisms.
Cited by 0
Michael Weber, Torsten Illmann, Albrecht Schmidt · 2008
In this paper we introduce a workflow management system, called WebFlow, which is based on the world wide web and Java as its basic technologies. Java is used as the build time (modeling) language to define workflows as well as the implementation language for the run time workflow enactment. Due to the object-orientation of Java modular and extendible workflow types are possible. Modification of workflows is supported even at run time. Using WWW and Java eases the implementation effort of the workflow engine, since HTTP and the Java API already include functionality which needs not to be implemented anew. This is uploading and downloading of workflow applets and documents, authentication of clients, digital signing and especially the execution of workflows at the client site by the Java virtual machine. Thus, a very simple control server is sufficient, since the applets constituting the workflow coordinate themselves to a large extent. Webflow aims at application scenarios requiring flexible and modifiable workflows. It supports workflows which cross organizational boundaries, since it only relies on standard WWW mechanisms.
Cited by 0
2008
Abstract. The Modelica language is currently gaining increased interest, both in industry and in academia. Modelica is an object-oriented, general purpose modeling language, targeted at modeling of complex physical systems. While the main usage of models developed in Modelica is simulation, several other usages emerge. Examples of such usages are dynamic optimization, model reduction, calibration, verification and code generation for embedded systems. This paper reports the current status of the JModelica project, in which an extensible, Java-based Modelica compiler is being developed. In addition, an extension of the Modelica language directed towards dynamic optimization, Optimica, is discussed. 1
Cited by 0