14,068 Hits in 5.4 sec


Jeffrey Fischer, Rupak Majumdar, Todd Millstein
2007 Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '07  
We illustrate the benefits of our language through a formalization in an extension to Featherweight Java, and through a case study based on an open-source web server.  ...  Tasks are a variant of cooperative multi-threading and allow each logical control flow to be modularized in the traditional manner, including usage of standard control mechanisms like procedures and exceptions  ...  A hybrid cooperative/preemptive approach to task management is also possible in TaskJava by using a thread-pooled scheduler.  ... 
doi:10.1145/1244381.1244403 dblp:conf/pepm/FischerMM07 fatcat:smvhictokzenvj34wpnhaahmqa

A Framework for Open Distributed System Design

Alexei Iliasov, Alexander Romanovsky, Budi Arief
2007 Computer Software and Applications Conference (COMPSAC) Proceedings of the IEEE International  
We demonstrate our approach using a case study, in which we show the whole process of developing an ambient campus application -an example of open distributed systems -including its formal specification  ...  The approach we are putting forward relies on using a combination of formal methods applied for rigorous development of the critical parts of the system and a set of design abstractions proposed specifically  ...  In order to simplify the transition from a formal specification into Java code, the implementation was done in two stages.  ... 
doi:10.1109/compsac.2007.23 dblp:conf/compsac/IliasovRA07 fatcat:ki5rdtqpafearkdgmythh2zg6m

Formal support for the engineering of CORBA-based distributed object systems

R. Bastide, O. Sy, P. Palanque
1999 Proceedings of the International Symposium on Distributed Objects and Applications  
We present a CASE tool based on an object-oriented Petri nets dialect called Cooperative Objects, dedicated to the design of CORBA systems.  ...  Abstract We present a CASE tool based on an object-oriented Petri nets dialect called Cooperative Objects, dedicated to the design of CORBA systems.  ...  In the second part we present the formalism, the Cooperative Objects.  ... 
doi:10.1109/doa.1999.794042 dblp:conf/doa/BastideSP99 fatcat:pq2xal4yxzc7zb3fvglq27c4ye

Carmen: Software Component Model Checker [chapter]

Aleš Plšek, Jiří Adámek
2008 Lecture Notes in Computer Science  
We employ behavior protocols [18] and a system coordinating two model checkers: Java PathFinder [4] and BPChecker [15].  ...  This approach allows us to enclose the model representing the behavior of a given component and consequently to exhaustively verify the model. Our solution was implemented as the Carmen tool [1].  ...  Acknowledgments Special thanks go to the Distributed Systems Research Group, in particular to Jan Kofroň and Pavel Parizek, for helping with BPChecker integration and for assistance during performance  ... 
doi:10.1007/978-3-540-87879-7_5 fatcat:riow6sxjxnezvherv5eazfwwzy

Compiler-Cooperative Memory Management in Java [chapter]

Vitaly V. Mikheev, Stanislav A. Fedoseev
2001 Lecture Notes in Computer Science  
This paper presents a simple and fast algorithm for inference of object lifetimes. Given the analysis results, a Java compiler is able to generate faster code, reducing the performance overhead.  ...  Besides, the obtained information may be then used by garbage collector to perform more effective resource clean-up. Thus, we consider this technique as "compile-time garbage collection" in Java.  ...  We implemented the system in JET, Java to native code compiler and run-time environment based on the Excelsior's compiler construction framework [5] .  ... 
doi:10.1007/3-540-45575-2_49 fatcat:fnqzcnduebeb3jpktmosskkeji

Exception Handling in Object Oriented Systems [chapter]

Alexander Romanovsky, Christophe Dony, Jørgen Lindskov Knudsen, Anand Tripathi
2000 Lecture Notes in Computer Science  
The integration of exception handling mechanisms in a design needs to be based on wellfounded principles and formal models to deal with the complexities of such systems and to ensure robust and reliable  ...  Exception handling continues to be a challenging problem in object oriented system design. One reason for this is that today's software systems are getting increasingly more complex.  ...  Acknowledgements: The authors want to thank the participants for making this workshop a success with their unique contributions.  ... 
doi:10.1007/3-540-44555-2_2 fatcat:fp34f75ck5ba5c7qqyommqrvue

Formal Specification and Prototyping of CORBA Systems [chapter]

Rémi Bastide, Ousmane Sy, Philippe Palanque
1999 Lecture Notes in Computer Science  
As the behavioral specification is fully executable, this approach also enables to early prototyping and testing of a distributed object system as soon as the behaviors of individual objects have been  ...  We propose to extend the CORBA interface definition of distributed objects by a behavioral specification based on high level Petri nets.  ...  The final goal of the project is to provide a fully integrated CASE tool supporting our approach of behavioral specification of distributed object systems using high-level Petri nets.  ... 
doi:10.1007/3-540-48743-3_22 fatcat:d4h7ndsjsber5g2ejjyt3xguom

Cooperative aspect-oriented programming

Kevin Hoffman, Patrick Eugster
2009 Science of Computer Programming  
These new techniques allow aspect modularity and program safety to increase, and bring us towards a cooperative AOP paradigm.  ...  In essence, the more intricate the weaving between the cross-cutting concern and the base code (lexically and/or semantically), the harder it becomes to: (a) robustly specify how to weave the aspects in  ...  Acknowledgements The authors express thanks to Jan Vitek and the anonymous reviewers for insightful comments.  ... 
doi:10.1016/j.scico.2009.01.003 fatcat:vlgetzvwovdito4g7bk6o4iaia

ToolBus: The Next Generation [chapter]

Hayco de Jong, Paul Klint
2003 Lecture Notes in Computer Science  
It has been used since 1994 in a variety of projects, most notably in the complete renovation of the ASF+SDF Meta-Environment.  ...  Topics to be discussed include the structuring of message exchanges, crash recovery in distributed applications, and call-by-value versus call-by-reference.  ...  Acknowledgments We thank Pieter Olivier for his contribution and input to the many interesting and fruitful discussions we have had about TOOLBUS related issues, and his efforts to get  ... 
doi:10.1007/978-3-540-39656-7_9 fatcat:xqgoayzkxzba3ezkmadhu4elmi

A requirements-based programming approach to developing a NASA autonomous ground control system

James L. Rash, Michael G. Hinchey, Christopher A. Rouff, Denis Gračanin, John Erickson
2006 Artificial Intelligence Review  
A new requirements-based programming approach to the engineering of computer-based systems offers not only an underlying formalism, but also full formal development from requirements capture through to  ...  The method, Requirements-to-Design-to-Code (R2D2C), is directly applicable to the development of autonomous systems and systems having autonomic properties.  ...  His current research interests are in the areas of formal methods, system correctness, and agent based technologies. Dr Hinchey  ... 
doi:10.1007/s10462-007-9029-2 fatcat:2vqcd5ekdbhhjizzodxxjnu4su

To a Formal Modeling Approach of Error Recovery in Production Systems Based on Holonic Multi-agent Systems Specification [chapter]

Belhassen Mazigh, Ahmed Hammed, Vincent Hilaire
2012 Lecture Notes in Computer Science  
Multi-agent systems seem to be adapted for representing this kind of problem in an attempt to arrive at a reconfigurable, adaptive, and "intelligent" manufacturing systems.  ...  The objective of this work consists in proposing a specification, modeling and structural analysis approach of error recovery production systems using holonic multi-agent systems and Object Petri Nets  ...  As such, a specification approach based on holonic multi-agent systems seems to be a promising approach to deal with the unpredictable nature of error due to their decentralization, autonomy, cooperation  ... 
doi:10.1007/978-3-642-30947-2_41 fatcat:zghp3a3sq5cl5g3hbmsy7z7nem

A Survey of Active Object Languages

Frank De Boer, Kiko Fernandez-Reyes, Albert Mingkun Yang, Vlad Serbanescu, Reiner Hähnle, Ludovic Henrio, Justine Rochas, Crystal Chang Din, Einar Broch Johnsen, Marjan Sirjani, Ehsan Khamespanah
2017 ACM Computing Surveys  
Cooperative scheduling used to be a major implementation challenge before Java 8, because a straightforward implementation would match a Java thread to each method call and a thread pool to each object  ...  In the Java 8 backend, software errors are handled by Java's exception handling mechanism. All exceptions defined in ABS translate directly into extensions of the Exception class in Java.  ... 
doi:10.1145/3122848 fatcat:ovdeu5o3mbanlectgc6r7kv5he

On Rigorous Design and Implementation of Fault Tolerant Ambient Systems

Alexei Iliasov, Alexander Romanovsky, Budi Arief, Linas Laibinis, Elena Troubitsyna
2007 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07)  
We then outline our experience in developing an ambient lecture system using the combination of formal approach and our middleware.  ...  It is therefore necessary to construct the critical parts of fault tolerant ambient systems in a rigorous manner.  ...  A. Iliasov is partially supported by the ORS award (UK).  ... 
doi:10.1109/isorc.2007.46 dblp:conf/isorc/IliasovRALT07 fatcat:fwb6gvfoxjc5jfllktz6cosnvm

Wolf – An Eclipse Plug-In for WADE

G. Caire, M. Porta, E. Quarantotto, G. Sacchi
2008 2008 IEEE 17th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises  
WOLF is an Eclipse Plug-in and, as a consequence, allows WADE developers to exploit the full power of the Eclipse IDE.  ...  define system logics.  ...  As a consequence it is a key element in the challenge to bring the workflow approach from the business process level to the system logics.  ... 
doi:10.1109/wetice.2008.57 dblp:conf/wetice/CairePQS08 fatcat:525dqxpqxfcfzlurvao2nt5pma

Bridging Java and AspectJ through explicit join points

Kevin Hoffman, Patrick Eugster
2007 Proceedings of the 5th international symposium on Principles and practice of programming in Java - PPPJ '07  
Through AspectJ, aspect-oriented programming (AOP) is becoming of increasing interest and availability to Java programmers as it matures as a methodology for improved software modularity via the separation  ...  AOP proponents often advocate a development strategy where Java programmers write the main application, ignoring cross-cutting concerns, and then AspectJ programmers, domain experts in their specific concerns  ...  Through EJPs we advocate a cooperative AOP approach where base code and aspects actively cooperate.  ... 
doi:10.1145/1294325.1294335 dblp:conf/pppj/HoffmanE07 fatcat:cql7t62nfjamxelmgij4t5r4jm
« Previous Showing results 1 — 15 out of 14,068 results