How to write parallel programs: a first course
How to write parallel programs: a first course
APPL/A: a language for software process programming
ACM Transactions on Software Engineering and Methodology (TOSEM)
The design of a next-generation process language
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
An adaptable generation approach to agenda management
Proceedings of the 20th international conference on Software engineering
Little-JIL 1.0 Language Report TITLE2:
Little-JIL 1.0 Language Report TITLE2:
Verifying Properties of Process Definitions TITLE2:
Verifying Properties of Process Definitions TITLE2:
Logically Central, Physically Distributed Control in a Process Runtime Environment
Logically Central, Physically Distributed Control in a Process Runtime Environment
Deriving executable process descriptions from UML
Proceedings of the 24th International Conference on Software Engineering
A case study in software adaptation
WOSS '02 Proceedings of the first workshop on Self-healing systems
A Comparative Review of Process-Centered Software Engineering Environments
Annals of Software Engineering
Using process technology to control and coordinate software adaptation
Proceedings of the 25th International Conference on Software Engineering
Technology choice as a first step in design: the interplay of procedural and sensemaking processes
DIS '02 Proceedings of the 4th conference on Designing interactive systems: processes, practices, methods, and techniques
Design Guidance through the Controlled Application of Constraints
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Understanding process and the quest for deeper questions in software engineering research
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Process inheritance and instance modification
GROUP '03 Proceedings of the 2003 international ACM SIGGROUP conference on Supporting group work
Software Process Representation and Analysis for Framework Instantiation
IEEE Transactions on Software Engineering
Data & Knowledge Engineering - Special issue: Advances in business process management
Early lessons from the application of process technology to online grievance mediation
dg.o '05 Proceedings of the 2005 national conference on Digital government research
Process support to help novices design software faster and better
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Trust resource management in digital government through process modeling
dg.o '03 Proceedings of the 2003 annual national conference on Digital government research
dg.o '06 Proceedings of the 2006 international conference on Digital government research
A process-driven tool to support online dispute resolution
dg.o '06 Proceedings of the 2006 international conference on Digital government research
Complex medical processes as context for embedded systems
ACM SIGBED Review - Special issues on workshop on innovative techniques for certification of embedded systems
Tool support for iterative software process modeling
Information and Software Technology
Using process definitions to drive user interactions with digital government systems
dg.o '07 Proceedings of the 8th annual international conference on Digital government research: bridging disciplines & domains
Proceedings of the 30th international conference on Software engineering
Using software engineering technology to improve the quality of medical processes
Companion of the 30th international conference on Software engineering
Rigorously Defining and Analyzing Medical Processes: An Experience Report
Models in Software Engineering
Experience in using a process language to define scientific workflow and generate dataset provenance
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs
Process Aspect: Handling Crosscutting Concerns during Software Process Improvement
ICSP '09 Proceedings of the International Conference on Software Process: Trustworthy Software Development Processes
On the Relative Merits of Software Reuse
ICSP '09 Proceedings of the International Conference on Software Process: Trustworthy Software Development Processes
Incremental Process Modeling through Stakeholder-Based Hybrid Process Simulation
ICSP '09 Proceedings of the International Conference on Software Process: Trustworthy Software Development Processes
A Two-Step Approach for Modelling Flexibility in Software Processes
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Accurate estimates without calibration?
ICSP'08 Proceedings of the Software process, 2008 international conference on Making globally distributed software development a success story
A benchmark for evaluating software engineering techniques for improving medical processes
Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care
Supporting negotiation and dispute resolution with computing and communication technologies
Proceedings of the FSE/SDP workshop on Future of software engineering research
Experience modeling and analyzing medical processes: UMass/baystate medical safety project overview
Proceedings of the 1st ACM International Health Informatics Symposium
Dynamic scheduling of emergency department resources
Proceedings of the 1st ACM International Health Informatics Symposium
Process-based derivation of requirements for medical devices
Proceedings of the 1st ACM International Health Informatics Symposium
A framework for the flexible instantiation of large scale software process tailoring
ICSP'10 Proceedings of the 2010 international conference on New modeling concepts for today's software processes: software process
Disruption-driven resource rescheduling in software development processes
ICSP'10 Proceedings of the 2010 international conference on New modeling concepts for today's software processes: software process
Modeling and analyzing faults to improve election process robustness
EVT/WOTE'10 Proceedings of the 2010 international conference on Electronic voting technology/workshop on trustworthy elections
Impact of process simulation on software practice: an initial report
Proceedings of the 33rd International Conference on Software Engineering
GoPoMoSA: a goal-oriented process modeling and simulation advisor
Proceedings of the 2011 International Conference on Software and Systems Process
Formally founded, plan-based enactment of software development processes
Proceedings of the 2011 International Conference on Software and Systems Process
Proceedings of the 3rd Workshop on Software Engineering in Health Care
On effective testing of health care simulation software
Proceedings of the 3rd Workshop on Software Engineering in Health Care
Formal analysis of an electronic voting system: An experience report
Journal of Systems and Software
Developing discrete event simulations from rigorous process definitions
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
Process elements: components of software process architectures
SPW'05 Proceedings of the 2005 international conference on Unifying the Software Process Spectrum
Process definition language support for rapid simulation prototyping
SPW'05 Proceedings of the 2005 international conference on Unifying the Software Process Spectrum
Experiences in discovering, modeling, and reenacting open source software development processes
SPW'05 Proceedings of the 2005 international conference on Unifying the Software Process Spectrum
Automatically analyzing software processes: experience report
SPW'05 Proceedings of the 2005 international conference on Unifying the Software Process Spectrum
Definition and analysis of election processes
SPW/ProSim'06 Proceedings of the 2006 international conference on Software Process Simulation and Modeling
A process-agent construction method for software process modeling in SoftPM
SPW/ProSim'06 Proceedings of the 2006 international conference on Software Process Simulation and Modeling
Goals and Requirements for Supporting Controlled Flexibility in Software Processes
Information Resources Management Journal
The Process Enactment Tool Framework-Transformation of software process models to prepare enactment
Science of Computer Programming
Hi-index | 0.00 |
Little-JIL, a language for programming coordination in processes is an executable, high-level language with a formal (yet graphical) syntax and rigorously defined operational semantics. The central abstraction in Little-JIL is the “step,” which is the focal point for coordination, providing a scoping mechanism for control, data, and exception flow and for agent and resource assignment. Steps are organized into a static hierarchy, but can have a highly dynamic execution structure including the possibility of recursion and concurrency.Little-JIL is based on two main hypotheses. The first is that coordination structure is separable from other process language issues. Little-JIL provides rich control structures while relying on separate systems for resource, artifact, and agenda management. The second hypothesis is that processes are executed by agents that know how to perform their tasks but benefit from coordination support. Accordingly, each Little-JIL step has an execution agent (human or automated) that is responsible for performing the work of the step.This approach has proven effective in supporting the clear and concise expression of agent coordination for a wide variety of software, workflow, and other processes.